Ambiguity propagating defeasible logic and the well-founded semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4160 LNAI, Issue , 2006, Pages 306-318

  Maier, Frederick ^a   Nute, Donald ^a  

^a University of Georgia ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ATOMIC PHYSICS; COMPUTER SCIENCE; PROGRAM TRANSLATORS; SEMANTICS;

AMBIGUITY PROPAGATION; DEFEASIBLE LOGIC; NORMAL LOGIC PROGRAMS;

FORMAL LOGIC;

EID: 33750077593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853886_26     Document Type: Conference Paper

References (14)

1. Antoniou, G., and Maher, M. J. 2002. Embedding defeasible logic into logic programs. In Proceedings of ICLP, 393-404.
2. Antoniou, G.; Billington, D.; Governatori, G.; Maher, M. J.; and Rock, A. 2000. A family of defeasible reasoning logics and its implementation. In ECAI, 459-463.
3. Brewka, G. 2001. On the relationship between defeasible logic and well-founded semantics. In LPNMR, 121-132.
4. Emden, M. H. V., and Kowalski, R. 1976. The semantics of predicate logic as a programming language. Journal of the ACM 23:733-742.
5. Gelder, A. V.; ROSS, K. A.; and Schlipf, J. 1988. Unfounded sets and well-founded semantics for general logic programs. In Proceedings 7th ACM Symposium on Principles of Database Systems, 221-230.
6. Gelder, A. V.; ROSS, K. A.; and Schlipf, J. 1991. The well-founded semantics for general logic programs. Journal of the ACM 221-23.
7. Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4:289-308.
8. Maier, F., and Nute, D. 2006. Relating defeasible logic to the well-founded semantics for normal logic programs. In Delgrande, J. P., and Schaub, T., eds., NMR.
9. Makinson, D., and Schechta, K. 1991. Floating conclusions and zombic paths: two deep difficulties in the 'directly skeptical' approach to inheritance nets. Artificial Intelligence 48:199-209.
10. Nute, D. 1992. Basic defeasible logic. In del Cerro, L. F., and Penttonen, M., eds., Intensional Logics for Programming. Oxford University Press. 125-154.
11. Nute, D. 1994. Defeasible logic. In Gabbay, D., and Hogger, C., eds., Handbook of Logic for Artificial Intelligence and Logic Programming, Vol. III. Oxford University Press. 353-395.
12. Nute, D. 1997. Apparent obligation. In Nute, D., ed., Defeasible Deontic Logic, Synthese Library. Dordrecht, Netherlands: Kluwer Academic Publishers. 287-315.
13. Nute, D. 2001. Defeasible logic: Theory, implementation, and applications. In Proceedings of INAP 2001, 14th International Conference on Applications of Prolog, 87-114. Tokyo: IF Computer Japan.
14. Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13:81-132.