EFFICIENT DEFEASIBLE REASONING SYSTEMS
- 1 December 2001
- journal article
- research article
- Published by World Scientific Pub Co Pte Ltd in International Journal on Artificial Intelligence Tools
- Vol. 10 (04) , 483-501
- https://doi.org/10.1142/s0218213001000623
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Propositional defeasible logic has linear complexityTheory and Practice of Logic Programming, 2001
- Defeasible logic versus Logic Programming without Negation as FailureThe Journal of Logic Programming, 2000
- Inheritance comes of age: applying nonmonotonic techniques to problems in industryArtificial Intelligence, 1998
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Argument-based extended logic programming with defeasible prioritiesJournal of Applied Non-Classical Logics, 1997
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- A survey of complexity results for non-monotonic logicsThe Journal of Logic Programming, 1993
- Defeasible Logic is StableJournal of Logic and Computation, 1993
- Resolving ambiguity in nonmonotonic inheritance hierarchiesArtificial Intelligence, 1992
- A modular translation from defeasible nets to defeasible logicsJournal of Experimental & Theoretical Artificial Intelligence, 1990