Add to ORKGSystematic approaches to reasoning about dynamical systems and causality provide a new view on how to proceed toward a general and uniform semantical framework which is independent from specific solutions to the frame problem, say. This direction of research enables to rigorously comparing known methodologies designed for reasoning about actions and change with respect to such a semantics
This paper explores mathematical relationships between the "causal theories" formalism rec...
In this paper, we introduce an alternative approach to reasoning about action. The approach provides...
The study of belief revision and reasoning about actions have been two of the most active areas of r...
For many commonsense reasoning tasks associated with action domains, only a relatively simple kind o...
Abstract. A unifying semantic framework for different reasoning approaches provides an ideal tool to...
Conciseness and intuitive representation are two primary objectives motivating the work on seman-tic...
In this paper we propose a new approach to address the ramification problem in common-sense reasonin...
In this paper we describe a framework for reasoning about temporal explanation problems, which is b...
Abstract. Reasoning about change is a central issue in research on human and robot planning. We stud...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
In this paper, we further develop a framework for reasoning about action. We show how the proposed f...
AbstractIn a formal description of actions and changes, there is a famous problem known as the “fram...
Since it was first pointed out by McCarthy and Hayes [1] that the frame problem was an obstacle to t...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
This paper explores mathematical relationships between the "causal theories" formalism rec...
In this paper, we introduce an alternative approach to reasoning about action. The approach provides...
The study of belief revision and reasoning about actions have been two of the most active areas of r...
For many commonsense reasoning tasks associated with action domains, only a relatively simple kind o...
Abstract. A unifying semantic framework for different reasoning approaches provides an ideal tool to...
Conciseness and intuitive representation are two primary objectives motivating the work on seman-tic...
In this paper we propose a new approach to address the ramification problem in common-sense reasonin...
In this paper we describe a framework for reasoning about temporal explanation problems, which is b...
Abstract. Reasoning about change is a central issue in research on human and robot planning. We stud...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
In this paper, we further develop a framework for reasoning about action. We show how the proposed f...
AbstractIn a formal description of actions and changes, there is a famous problem known as the “fram...
Since it was first pointed out by McCarthy and Hayes [1] that the frame problem was an obstacle to t...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
We present a uniform non-monotonic solution to the problems of reasoning about action on the basis o...
This paper explores mathematical relationships between the "causal theories" formalism rec...
In this paper, we introduce an alternative approach to reasoning about action. The approach provides...
The study of belief revision and reasoning about actions have been two of the most active areas of r...