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