An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
DOI10.1016/J.ARTINT.2009.10.002zbMATH Open1185.68673OpenAlexW2164328302MaRDI QIDQ2269133FDOQ2269133
Authors: Francesco Parisi, Austin Parker, V. S. Subrahmanian, John Grant 
Publication date: 16 March 2010
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2009.10.002
Recommendations
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Foundations of multidimensional and metric data structures.
- Title not available (Why is that?)
- A logic for reasoning about time and reliability
- Title not available (Why is that?)
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
- Qualitative spatial representation and reasoning: An overview
- Knowledge-level analysis of belief base operations
- Title not available (Why is that?)
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Cited In (11)
- Title not available (Why is that?)
- Probabilistic temporal logic with countably additive semantics
- Probabilistic logics for objects located in space and time
- Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
- Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
- Count queries in probabilistic spatio-temporal knowledge bases with capacity constraints
- On repairing and querying inconsistent probabilistic spatio-temporal databases
- Knowledge representation in probabilistic spatio-temporal knowledge bases
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
- Dimensional inconsistency measures and postulates in spatio-temporal databases
Uses Software
This page was built for publication: An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2269133)
