A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Intention Reconsideration Reconsidered
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Helpful answers to modal and hypothetical questions
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
The Knower Paradox in the light of provability interpretations of modal logic
Journal of Logic, Language and Information
On the meta-logic of arguments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logical framework for identifying quality knowledge from different data sources
Decision Support Systems
Axiom schemata as metalevel axioms: model theory
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Indirect and conditional sensing in the event calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the meta-logic of arguments
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Fundamenta Informaticae
| Hi-index | 0.00 |