What can machines know?
From MaRDI portal
Publication:4302814
DOI10.1145/128749.150945zbMath0799.68179OpenAlexW2088135026MaRDI QIDQ4302814
Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin
Publication date: 21 August 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/128749.150945
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (31)
Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ A hierarchy of modal logics with relative accessibility relations ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ О трудностях определения имплицитного знания группы ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Reasoning about common knowledge with infinitely many agents ⋮ Group Belief ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ Modal logics with relative accessibility relations ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Knowledge and communication: A first-order theory ⋮ Group Knowledge in Interrogative Epistemology ⋮ Distributed knowability and Fitch's paradox ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Reprint of: Reasoning about knowledge of unawareness revisited ⋮ Distributed knowledge justification logics ⋮ Proof Theory for Distributed Knowledge ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic ⋮ An Epistemic Logic with Hypotheses ⋮ Public Announcement Logic with Distributed Knowledge ⋮ Bounded model checking for knowledge and real time ⋮ Reasoning about knowledge of unawareness ⋮ A model of reasoning about knowledge ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
This page was built for publication: What can machines know?
