Reasoning about knowledge
A circumscriptive calculus of events
Artificial Intelligence
Exploring logical dynamics
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Indefeasible semantics and defeasible pragmatics
Indefeasible semantics and defeasible pragmatics
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
Dynamic Epistemic Logic
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Artificial Intelligence
| Hi-index | 0.00 |
We take a fresh look at some major strands in John McCarthy's work from a logician's perspective. First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information. Next, we re-analyze the regression method in the Situation Calculus in terms of update axioms for dynamic-epistemic temporal logics. Finally, we draw some general methodological comparisons between 'Logical AI' and practices in modal logic, pointing at some creative tensions.