Symbolic and Quantitative Approaches to Reasoning with Uncertainty
From MaRDI portal
Publication:5473726
DOI10.1007/b138862zbMath1122.68622OpenAlexW3187471853MaRDI QIDQ5473726
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Proof Theory for Distributed Knowledge, A Modal Framework for Relating Belief and Signed Information, Policy-based inconsistency management in relational databases