Add to ORKGThe thesis presents a survey of formalisms for non-monotonic reasoning, providing a sketch of the "state of the art" in the field. Reiter's logic for default reasoning is discussed in detail. Following this, a procedure which can determine the extensions of general finite default theories is demonstrated. The potential impact of this procedure on some of the other research in the field is explored, and some promising areas for future research are indicated. Grounds for cautious optimism about the tractability of default theories capable of representing a wide variety of common situations are presented.Science, Faculty ofComputer Science, Department ofGraduat
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
In this paper constructions leading to the formation of belief sets by agents are studied. The focus...
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
The thesis presents a survey of formalisms for non-monotonic reasoning, providing a sketch of the "s...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
AbstractIn previous papers some important properties of extensions of general default theories were ...
In this paper we propose a semantics for default theories, based on van Gelder's alternating fi...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
Using a proof-theoretic approach to non-monotone reasoning we introduce an algorithm to compute all ...
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense kn...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
We present a development of the theory of default information structures, combining ideas from domai...
We present a general proof theoretical methodology for default systems. Given a default theory D#...
Most of the work in default logic is about default theories that are completely specified. In this c...
AbstractWe present an abstract framework for default reasoning, which includes Theorist, default log...
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
In this paper constructions leading to the formation of belief sets by agents are studied. The focus...
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
The thesis presents a survey of formalisms for non-monotonic reasoning, providing a sketch of the "s...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
AbstractIn previous papers some important properties of extensions of general default theories were ...
In this paper we propose a semantics for default theories, based on van Gelder's alternating fi...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
Using a proof-theoretic approach to non-monotone reasoning we introduce an algorithm to compute all ...
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense kn...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
We present a development of the theory of default information structures, combining ideas from domai...
We present a general proof theoretical methodology for default systems. Given a default theory D#...
Most of the work in default logic is about default theories that are completely specified. In this c...
AbstractWe present an abstract framework for default reasoning, which includes Theorist, default log...
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
In this paper constructions leading to the formation of belief sets by agents are studied. The focus...
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning age...
