Symbolic and Quantitative Approaches to Reasoning with Uncertainty

DOI10.1007/B138862zbMATH Open1122.68622OpenAlexW3187471853MaRDI QIDQ5473726

Laurence Cholvy

Publication date: 23 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b138862

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (3)

• A Modal Framework for Relating Belief and Signed Information
• Proof Theory for Distributed Knowledge
• Policy-based inconsistency management in relational databases

This page was built for publication: Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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