A Flexible Framework for Defeasible Logics

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 405-410

  Antoniou, G ^a   Billington, D ^a   Governatori, G ^a   Maher, M J ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

DEFEASIBLE LOGIC; FLEXIBLE FRAMEWORK; IT SUPPORTS; KNOWLEDGE-REPRESENTATION; OVERSPECIALIZATION; REPRESENTATION FORMALISMS; STRONG NEGATIONS; UNIFORM FRAMEWORK;

KNOWLEDGE REPRESENTATION;

EID: 85029884593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. G. Antoniou, D. Billington, M.J. Maher, A. Rock. 2000. Efficient Defeasible Reasoning Systems, Proc. Australian Workshop on Computational Logic.
2. G. Antoniou, M.J. Maher, and D. Billington. 2000. Defeasible Logic versus Logic Programming without Negation as Failure. Journal of Logic Programming (2000).
3. D. Billington, K. de Coster and D. Nute. 1990. A Modular Translation from Defeasible Nets to Defeasible Logic. Journal of Experimental and Theoretical Artificial Intelligence 2: 151-177.
4. D. Billington. 1993. Defeasible Logic is Stable. Journal of Logic and Computation 3: 370-400.
5. Y. Dimopoulos and A. Kakas. 1995. Logic Programming without Negation as Failure. In Proc. ICLP-95, MIT Press.
6. J.F. Horty, R.H. Thomason and D. Touretzky. 1987. A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. In Proc. AAAI-87, 358-363.
7. K. Kunen. 1987. Negation in Logic Programming. Journal of Logic Programming 4: 289-308.
8. M.J. Maher. 1993. A Transformation System for Deductive Database Modules with Perfect Model Semantics. Theoretical Computer Science 110, 377-403.
9. M. Maher, G. Antoniou and D. Billington. 1998. A Study of Provability in Defeasible Logic. In Proc. Australian Joint Conference on Artificial Intelligence, 215-226, LNAI 1502, Springer.
10. M. Maher and G. Governatori. 1999. A Semantic Decomposition of Defeasible Logics. Proc. American National Conference on Artificial Intelligence (AAAI-99), 299-306.
11. L. Morgenstern. 1998. Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. Artificial Intelligence, 103, 1-34.
12. D. Nute. 1987. Defeasible Reasoning. In Proc. 20th Hawaii International Conference on Systems Science, IEEE Press, 470-477.
13. 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.
14. H. Prakken. 1997. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers.
15. L.A. Stein. 1992. Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artificial Intelligence 55: 259-310.
16. D.D. Touretzky, J.F. Horty and R.H. Thomason. 1987. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. In Proc. IJCAI-87, 476-482, Morgan Kaufmann, 1987.
17. G. Wagner. 1991. Ex Contradictione Nihil Sequitur. In Proc. IJCAI-91, 538-546, Morgan Kaufmann.