AbstractThe notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms
In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. ...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
AbstractIn recent years, considerable effort has gone into understanding default reasoning. Most of ...
Abstract. Investigations of default logic have been so far mostly concerned with the notion of an ex...
AbstractWe introduce logical formalisms of production and causal inference relations based on input/...
Default domain theory is a framework for representing and reasoning about commonsense knowledge. Alt...
Nonmonotonic formal systems have been proposed as an exten-sion to classical first-order logic that ...
The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quant...
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense kn...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
Supernormal default theories induce a preference relation on the models of their axioms. We view thi...
We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a ...
This dissertation conducts an investigation into nonmonotonic reasoning---forms of reasoning which a...
AbstractThis paper introduces a generalization of Reiter's notion of “extension” for default logic. ...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. ...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
AbstractIn recent years, considerable effort has gone into understanding default reasoning. Most of ...
Abstract. Investigations of default logic have been so far mostly concerned with the notion of an ex...
AbstractWe introduce logical formalisms of production and causal inference relations based on input/...
Default domain theory is a framework for representing and reasoning about commonsense knowledge. Alt...
Nonmonotonic formal systems have been proposed as an exten-sion to classical first-order logic that ...
The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quant...
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense kn...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
Supernormal default theories induce a preference relation on the models of their axioms. We view thi...
We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a ...
This dissertation conducts an investigation into nonmonotonic reasoning---forms of reasoning which a...
AbstractThis paper introduces a generalization of Reiter's notion of “extension” for default logic. ...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. ...
AbstractWe introduce an alternative conceptual basis for default reasoning in Reiter's default logic...
AbstractIn recent years, considerable effort has gone into understanding default reasoning. Most of ...
DOI
Add to ORKG