Deductive Algorithmic Knowledge
From MaRDI portal
Publication:5477459
DOI10.1093/logcom/exi078zbMath1102.03010arXivcs/0405038OpenAlexW1985022920MaRDI QIDQ5477459
Publication date: 3 July 2006
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0405038
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (6)
To know or not to know: Epistemic approaches to security protocol verification ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ Dealing with logical omniscience: expressiveness and pragmatics ⋮ Belief ascription under bounded resources ⋮ Autoepistemic answer set programming ⋮ Verifying time, memory and communication bounds in systems of reasoning agents
This page was built for publication: Deductive Algorithmic Knowledge
