A logic-based calculus of events
New Generation Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Commonsense Reasoning
Attempto Controlled English for Knowledge Representation
Reasoning Web
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Artificial intelligence today
Controlled natural languages for knowledge representation
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Hi-index | 0.00 |
If not all temporal information is available in a text, humans usually use additional background knowledge to answer questions about the text. In this paper, we first investigate how humans answer this kind of questions and then suggest two general strategies that we can use to answer these questions automatically in a controlled natural language context. We show how background knowledge about events and their effects can be made explicit in a controlled natural language and how this additional information can be translated together with the textual information into a formal notation for automated reasoning. For this purpose, we introduce an Answer Set Programming based version of the Event Calculus and use this reasoning framework as a starting point for answering questions over the formalised textual information.