Probabilistic logics for objects located in space and time

DOI10.1093/logcom/exs054zbMath1267.03041OpenAlexW1988675940MaRDI QIDQ5300579

Dragan Doder, Zoran Ognjanović, J. R. Grant

Publication date: 27 June 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exs054

zbMATH Keywords

strong completenessprobabilistic logicspatio-temporal reasoning

Mathematics Subject Classification ID

Database theory (68P15) Probability and inductive logic (03B48) Logic in computer science (03B70)

Related Items (6)

On repairing and querying inconsistent probabilistic spatio-temporal databases ⋮ Logics with lower and upper probability operators ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking ⋮ Logics with Probability Operators ⋮ Probabilistic Temporal Logics

Uses Software

• ProbView

This page was built for publication: Probabilistic logics for objects located in space and time