Defeasible logic

Defeasible logic is a non-monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in… (More)
  • table 1
  • table 2
Is this relevant?
2007
2007
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper… (More)
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Defeasible logic is a rule-based nonmonotonic logic, with b oth strict and defeasible rules, and a priority relation on rules. We… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented… (More)
  • figure 1
Is this relevant?
2000
2000
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We define, and give some of the intuition behind the definition of, a nonmonotonic logic called defeasible logic. Results are… (More)
Is this relevant?