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 sta...
textKnowledge about actions is an important part of commonsense knowledge studied in Artificial Inte...
The book offers a detailed guide to temporal ordering, exploring open problems in the field and prov...
We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasonin...
In this paper I discuss how the controlled natural language PENG Light can be modified so that it ca...
This paper shows how a controlled natural language can be used to construct precise formal represent...
This paper demonstrates how a model for temporal context reasoning can be implemented. The approach ...
© Springer-Verlag Berlin Heidelberg 1994. In earlier work, we have shown that the formalism of abduc...
textTemporal references in natural language include tenses and other time relations, references to s...
Natural language understanding (NLU) of text is a fundamental challenge in AI, and it has received s...
The representation and manipulation of natural human understanding of temporal phenomena is a fundam...
Automated commonsense reasoning is essential for building human-like AI systems featuring, for examp...
In this paper we provide a description of TimeML, a rich specification language for event and tempor...
Abduction can be defined as reasoning from observations to causes. In the context of dynamic systems...
In this paper I present an extension of the controlled natural language PENG Light that is motivated...
Answering questions that ask about temporal information in-volves several forms of inference. First,...
textKnowledge about actions is an important part of commonsense knowledge studied in Artificial Inte...
The book offers a detailed guide to temporal ordering, exploring open problems in the field and prov...
We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasonin...
In this paper I discuss how the controlled natural language PENG Light can be modified so that it ca...
This paper shows how a controlled natural language can be used to construct precise formal represent...
This paper demonstrates how a model for temporal context reasoning can be implemented. The approach ...
© Springer-Verlag Berlin Heidelberg 1994. In earlier work, we have shown that the formalism of abduc...
textTemporal references in natural language include tenses and other time relations, references to s...
Natural language understanding (NLU) of text is a fundamental challenge in AI, and it has received s...
The representation and manipulation of natural human understanding of temporal phenomena is a fundam...
Automated commonsense reasoning is essential for building human-like AI systems featuring, for examp...
In this paper we provide a description of TimeML, a rich specification language for event and tempor...
Abduction can be defined as reasoning from observations to causes. In the context of dynamic systems...
In this paper I present an extension of the controlled natural language PENG Light that is motivated...
Answering questions that ask about temporal information in-volves several forms of inference. First,...
textKnowledge about actions is an important part of commonsense knowledge studied in Artificial Inte...
The book offers a detailed guide to temporal ordering, exploring open problems in the field and prov...
We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasonin...