Add to ORKGIn this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating explanations and assuming an Open World Assumption. We argue that a framework for reasoning about action should be able to deal with concurrent and durative actions and show how they can be represented in our system
Several approaches have been proposed to deal with time in diagnosis. The goal of this paper is to p...
This paper presents a discrete formalism for temporal reasoning about actions and change, which enjo...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...
This paper presents a new formalism for reasoning about change over time. The formalism derives a cl...
In this paper we extend our previous work in the area of temporal diagnostic reasoning. Based on a l...
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosi...
an overview from an abductive perspective In this paper we present an extension of the spectrum of l...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
Reasoning about actions and change based on common sense knowledge is one of the most important and ...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
We extend the ontology of the situation calculus to provide for the representation of time and even...
To model the dynamics of cognitive processes, often the dynamical systems theory (DST) is advocated....
To model the dynamics of cognitive processes, often the Dynamical Systems Theory (DST) is advocated....
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about cont...
The world in which we live changes in uncertain ways. Building intelligent machines able to interac...
Several approaches have been proposed to deal with time in diagnosis. The goal of this paper is to p...
This paper presents a discrete formalism for temporal reasoning about actions and change, which enjo...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...
This paper presents a new formalism for reasoning about change over time. The formalism derives a cl...
In this paper we extend our previous work in the area of temporal diagnostic reasoning. Based on a l...
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosi...
an overview from an abductive perspective In this paper we present an extension of the spectrum of l...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
Reasoning about actions and change based on common sense knowledge is one of the most important and ...
When we reason about change over time, causation provides an implicit preference: we prefer sequence...
We extend the ontology of the situation calculus to provide for the representation of time and even...
To model the dynamics of cognitive processes, often the dynamical systems theory (DST) is advocated....
To model the dynamics of cognitive processes, often the Dynamical Systems Theory (DST) is advocated....
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about cont...
The world in which we live changes in uncertain ways. Building intelligent machines able to interac...
Several approaches have been proposed to deal with time in diagnosis. The goal of this paper is to p...
This paper presents a discrete formalism for temporal reasoning about actions and change, which enjo...
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The appro...