Probabilistic logics for objects located in space and time

DOI10.1093/LOGCOM/EXS054MaRDI QIDQ5300579zbMATH OpenOpenAlexFDO

Authors Dragan Doder, John Grant, Zoran Ognjanović

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)

Recommendations

• scientific article; zbMATH DE number 1832320
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• Knowledge representation in probabilistic spatio-temporal knowledge bases
• scientific article; zbMATH DE number 2085265
• Probabilistic temporal databases, I

Cited in

(8)

• Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
• Logics with Probability Operators
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• On repairing and querying inconsistent probabilistic spatio-temporal databases
• Logics with lower and upper probability operators
• Knowledge representation in probabilistic spatio-temporal knowledge bases
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• Probabilistic Temporal Logics

Describes a project that uses

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)