Proving quantified literals in defeasible logic
References (16)
- et al.
Unification Revisited
Defeasible reasoning and decision support systems
Decision Support Systems
(1988)- et al.
Controlling expert system recommendations with Defeasible Logic
Decision Support Systems
(1990) Nonmonotonic Reasoning
(1997)- et al.
A modular translation from defeasible nets to defeasible logics
Journal of Experimental and Theoretical Artificial Intelligence
(1990) Defeasible Logic is Stable
Journal of Logic and Computation
(1993)Adding Disjunction to Defeasible Logic
Nonmonotonic Reasoning: Logical Foundations of Commonsense
(1991)
There are more references available in the full text version of this article.
Cited by (0)
- 1
Fax: +61 7 3875 5051
Copyright © 1999 Published by Elsevier Inc.