Reasoning about visibility, perception, and knowledge

DOI10.1007/10719619_1MaRDI QIDQ4511250zbMATH OpenFDO

Authors M. J. Wooldridge, Alessio Lomuscio

Publication date 30 October 2000

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

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

zbMATH Keywords

intelligent agents

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A computationally grounded logic of visibility, perception, and knowledge
• Multi-agent \(\mathcal {VSK}\) logic
• Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
• Seeing, Knowledge and Common Knowledge
• scientific article; zbMATH DE number 795590

Cited in

(13)

• Interpreted systems and Kripke models for multiagent systems from a categorical perspective
• Intensional protocols for dynamic epistemic logic
• Knowledge and communication: A first-order theory
• A computationally grounded logic of visibility, perception, and knowledge
• Seeing, Knowledge and Common Knowledge
• scientific article; zbMATH DE number 4176498 (Why is no real title available?)
• scientific article; zbMATH DE number 3890766 (Why is no real title available?)
• Towards Approximate BGI Systems
• Designing perception modules to shape information for agents
• Multi-agent \(\mathcal {VSK}\) logic
• Agents that look at one another
• scientific article; zbMATH DE number 1422719 (Why is no real title available?)
• Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules

This page was built for publication: Reasoning about visibility, perception, and knowledge

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