Probabilistic logics for objects located in space and time

DOI10.1093/LOGCOM/EXS054zbMATH Open1267.03041OpenAlexW1988675940MaRDI QIDQ5300579FDOQ5300579

Zoran Ognjanović, John Grant, Dragan Doder

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

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

Cited In (6)

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

Uses Software

• ProbView

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300579)