Add to ORKGIn the reasoning about actions community, causal relationships have been proposed as a possible approach for solving the ramification problem, i. e., the problem of how to deal with indirect effects of actions. In this paper, we show that causal relationships can be added to action formalisms based on Description Logics without destroying the decidability of the consistency and the projection problem
For many commonsense reasoning tasks associated with action domains, only a relatively simple kind o...
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planni...
Abstract. In formal approaches to commonsense reasoning about actions, the Ramification Problem deno...
In the reasoning about actions community, causal relationships have been proposed as a possible appr...
In the reasoning about actions community, causal relationships have been proposed as a possible appr...
AbstractIn formal systems for reasoning about actions, the ramification problem denotes the problem ...
Recent research on reasoning about action has shown that the traditional logic form of domain constr...
Abstract. In formal systems for reasoning about actions, the ramification problem denotes the proble...
AbstractIn formal systems for reasoning about actions, the ramification problem denotes the problem ...
In this paper, we further develop a framework for reasoning about action. We show how the proposed f...
The goal of this paper is the formulation of a well-founded solution to the ramification problem: th...
This paper is concerned with the problem of determining the indirect effects or ramifications of act...
In this paper we describe a system that can be used to generate action effect specifications. Unlik...
Most `causal' approaches to reasoning about action have not addressed the basic question of cau...
This paper is concerned with the problem of representing the effects of actions. We argue that the t...
For many commonsense reasoning tasks associated with action domains, only a relatively simple kind o...
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planni...
Abstract. In formal approaches to commonsense reasoning about actions, the Ramification Problem deno...
In the reasoning about actions community, causal relationships have been proposed as a possible appr...
In the reasoning about actions community, causal relationships have been proposed as a possible appr...
AbstractIn formal systems for reasoning about actions, the ramification problem denotes the problem ...
Recent research on reasoning about action has shown that the traditional logic form of domain constr...
Abstract. In formal systems for reasoning about actions, the ramification problem denotes the proble...
AbstractIn formal systems for reasoning about actions, the ramification problem denotes the problem ...
In this paper, we further develop a framework for reasoning about action. We show how the proposed f...
The goal of this paper is the formulation of a well-founded solution to the ramification problem: th...
This paper is concerned with the problem of determining the indirect effects or ramifications of act...
In this paper we describe a system that can be used to generate action effect specifications. Unlik...
Most `causal' approaches to reasoning about action have not addressed the basic question of cau...
This paper is concerned with the problem of representing the effects of actions. We argue that the t...
For many commonsense reasoning tasks associated with action domains, only a relatively simple kind o...
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planni...
Abstract. In formal approaches to commonsense reasoning about actions, the Ramification Problem deno...