D. Nute. Defeasible Logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming (Vol. 3), pages 353-- Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Embedding Defeasible Logic into Logic Programs - Antoniou, Maher (Correct)
....P (D) instead. 1 Introduction Defeasible reasoning is a nonmonotonic reasoning [18] approach in which the gaps due to incomplete information are closed through the use of defeasible rules that are usually appropriate. Defeasible logics were introduced and developed by Nute over several years [20]. These logics perform defeasible reasoning, where a conclusion supported by a rule might be overturned by the effect of another rule. Roughly, a proposition p can be defeasibly proved ( p) only when a rule supports it, and it has been demonstrated that no applicable rule supports :p; this ....
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353--395.
Argumentation Semantics for Defeasible Logics - Governatori Maher Antoniou (2000) (Correct)
....conclude that the bird cannot fly. The superiority relation is required to be acyclic. It is not possible in this short paper to give a complete formal description of the logic. However, we hope to give enough information about the logic to make the discussion intelligible. We refer the reader to [19,6,17,2] for more thorough treatments. A rule # consists of its antecedent (or body) #### which is a finite set of literals, an arrow, and its consequent (or head) #### which is a literal. Given a set # of rules, we denote the set of all strict rules in # by # # , the set of strict and defeasible rules ....
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353--395.
A Model-Theoretic Semantics for Defeasible Logic - Maher (Correct)
....for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics. 1 Introduction Defeasible logic is a logic designed for efficient defeasible reasoning. The logic was designed by Nute [23, 24] with the intention that it be efficiently implementable. This intention has been realised in systems that can process hundreds of thousands of defeasible rules quickly [21] Over the years, Nute and others have proposed many variants of defeasible logic [24, 2] In this paper we will address a ....
....The logic was designed by Nute [23, 24] with the intention that it be efficiently implementable. This intention has been realised in systems that can process hundreds of thousands of defeasible rules quickly [21] Over the years, Nute and others have proposed many variants of defeasible logic [24, 2]. In this paper we will address a particular defeasible logic, which we denote by DL [5, 1] However, this work is easily modified to address other defeasible logics. Defeasible logics are, in general, paraconsistent. The nature of defeasible reasoning, where one chain of reasoning may defeat ....
[Article contains additional citation context not shown here]
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353--395.
Actions, Institutions, Powers. Preliminary Notes - Governatori, Gelati, Rotolo.. (2002) (Correct)
....we want to adopt. For example, we can view # either as a monotonic or a nonmonotonic link. Let us focus in particular on the second alternative. In this perspective, a number of diverse choices are available. One could be that of adopting a logical machinery for dealing with defeasible logic [21, 1, 22]. In a di#erent perspective and along the same line followed by JS, it is possible to define a conditional operator # within a framework of conditional logic. It seems thus reasonable to view it as the conditional counterpart of the nonmonotonic preferential system (see [2, 19, 10] In other ....
D. Nute. Defeasible Logic. In Handbook of Logic in Artificial Intelligence and Logic Programming. OUP, Oxford, 1994.
A Family of Defeasible Reasoning Logics and its.. - Antoniou, Billington, .. (2000) (2 citations) (Correct)
....and interrelationships. We also describe a query answering system that supports these formalisms and is available on the World Wide Web. 1 Introduction Defeasible reasoning is a direction in nonmonotonic reasoning [13] Defeasible logics were introduced and developed by Nute over several years [17]. These logics perform defeasible reasoning, where a conclusion supported by a rule might be overturned by the effect of another rule. Roughly, a proposition p can be defeasibly proved only when a rule supports it, and it has been demonstrated that no rule supports p. These logics also have a ....
....For example, it has been implemented in a functional programming language in a way that mirrors the inference conditions of the formalisms it supports. Therefore it can easily be extended to support further variants. 2 Defeasible Logic We begin by outlining the constructs in defeasible logics [17]. We then define the inference rules of a particular defeasible logic DL that has received the most attention. 2.1 A Language of Defeasible Reasoning A defeasible theory D is a triple (F, R, where F is a set of literals (called facts) R a finite set of rules, and a superiority relation on ....
[Article contains additional citation context not shown here]
D. Nute. 1994. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press, 353--395.
A Comparison of Sceptical NAF-Free Logic - Antoniou, Maher, Billington.. (1999) (Correct)
....rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic. 1 Introduction Recently there has been increased interest in modelling default reasoning by means of rules without negation as failure, and a priority relation. Defeasible Logic [12,13] is an early approach to sceptical nonmonotonic reasoning [1] which was based on rules without negation as failure, plus a priority relation. In fact it has an implementation as a straightforward extension of Prolog [5] LPwNF (Logic Programming without Negation as Failure) is a recent approach, ....
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353-395.
Defeasible Logic - Nute (2001) (56 citations) Self-citation (Nute) (Correct)
No context found.
D. Nute. Defeasible logic. In D. Gabbay and C. Hogger, editors, Handbook of Logic for Arti cial Intelligence and Logic Programming, volume III. Oxford University Press, Oxford, 1994.
Nonmonotonic Ontological and Rule-Based Reasoning.. - Heymans, Van.. (2005) (Correct)
No context found.
D. Nute. Defeasible Logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming (Vol. 3), pages 353--
Frieder Stolzenburg, Alejandro J. Garc a, - Carlos Ches Nevar (2000) (Correct)
No context found.
D. Nute. Defeasible logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3, Nonmonotonic Reasoning and Uncertain Reasoning, pages 355--395. Oxford University Press, 1994.
Process Modelling: The Deontic Way - Vineet Padmanabhan Guido (Correct)
No context found.
Nute, D. (1987), Defeasible logic, in `Handbook of Logic in Artificial Intelligence and Logic Programming', Vol. 3, Oxford University Press, pp. 353--395.
Defeasible Logic Programming - An Argumentative Approach - Garcia, Simari (2003) (2 citations) (Correct)
No context found.
Nute, Donald. (1994). Defeasible logic. Pages 355--395 of: Gabbay, D.M., Hogger, C.J., & J.A.Robinson (eds), Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press.
Preferential Defeasibility: Utility in Defeasible Logic.. - Tohme, Simari (2004) (Correct)
No context found.
Nute, D. 1994. Defeasible logic. In Gabbay, D.; Hogger, C.; and J.A.Robinson., eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3. Oxford University Press. 355--395.
Belief Dynamics and Defeasible Argumentation in Rational.. - Falappa, García.. (2004) (Correct)
No context found.
Nute, D. 1994. Defeasible logic. In Gabbay, D.; Hogger, C.; and J.A.Robinson., eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3. Oxford University Press. 355--395.
Computing Generalized Specificity - Stolzenburg, Garcia, Chesnevar.. (2002) (Correct)
No context found.
NUTE D., "Defeasible Logic", Gabbay et al. [GAB 94], p. 355-395.
Towards a Classification of Preference Handling.. - Delgrande, Schaub.. (2003) (Correct)
No context found.
Nute, D. 1994. Defeasible logic. In Handbook of Logics in Artificial Intelligence and Logic Programming, Vol. 3. Oxford University Press. 353-- 395. 23
A Classification and Survey of Preference Handling.. - Delgrande, Schaub, al. (Correct)
No context found.
D. Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, pages 353--395. Oxford University Press, 1994.
A Defeasible Logic of Policy-based Intention - Governatori, Padmanabhan, Sattar (2002) (Correct)
No context found.
Donald Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353--395. Oxford University Press, 1987.
On the Effect of Default Negation on the Expressiveness of.. - Janhunen (2001) (5 citations) (Correct)
No context found.
D. Nute. Defeasible logic. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Arti cial Intelligence and Logic Programming, chapter 7, pages 353395. Oxford Science Publications, 1994.
Translatability And Intranslatability Results For Certain.. - Janhunen (2003) (Correct)
No context found.
D. Nute. Defeasible logic. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, chapter 7, pages 353--395. Oxford Science Publications, 1994.
A Nonmonotonic Rule System Using Ontologies - Antoniou (2002) (5 citations) (Correct)
No context found.
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353--395.
A Defeasible Logic of Policy-based Intention - Governatori, Padmanabhan (2002) (Correct)
No context found.
D. Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353--395. Oxford University Press, 1987.
A Defeasible Logic of Institutional Agency - Governatori, Rotolo (2003) (Correct)
No context found.
Donald Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353--395. Oxford University Press, 1987.
Induction of Defeasible Logic Theories in the Legal Domain - Johnston, Governatori (Correct)
No context found.
Donald Nute. Defeasible logic. In Dov Gabbay, Christopher Hogger, and John Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3. Oxford University Press, 1993.
Argumentation Semantics for Defeasible Logic - Governatori, Maher, al. (2004) (Correct)
No context found.
D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353--395.
A Logic-Based Theory of Deductive Arguments - Besnard, Hunter (2001) (4 citations) (Correct)
No context found.
D. Nute. Defeasible logics. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertainty Reasoning, pages 355--395. Oxford University Press, 1994.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC