Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Dynamic Epistemic Logic
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
An Ontology-Based Approach to Metaphor Cognitive Computation
Minds and Machines
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
A Lewisian Logic of Causal Counterfactuals
Minds and Machines
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Minds and Machines
Variable-Centered Consistency in Model RB
Minds and Machines
Hi-index | 0.00 |