Well-founded semantics for extended logic programs with dynamic preferences

Journal of Artificial Intelligence Research

Volumn 4, Issue , 1996, Pages 19-36

  Brewka, Gerhard ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL LANGUAGE; NAMING TECHNIQUE; WELL FOUNDED SEMANTICS;

ARTIFICIAL INTELLIGENCE; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; POLYNOMIALS;

LOGIC PROGRAMMING;

EID: 0029678885     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.284     Document Type: Article

References (25)

1. Baral, C., & Gelfond, M. (1994). Logic programming and knowledge representation. Journal of Logic Programming, 19,20, 73-148.
2. Baral, C., & Subrahmanian, V. (1991). Duality between alternative semantics of logic programs and nonmonotonic formalisms. In Proc. Intl. Workshop on Logic Programming and Nonmonotonic Reasoning. Springer.
3. Brewka, G. (1994a). Adding priorities and specificity to default logic. In Proc. JELIA-94, York. Springer.
4. Brewka, G. (1994b). Reasoning about priorities in default logic. In Proc. AAAI-94, Seattle.
5. Buccafurri, F., Leone, N., & Rullo, P. (1996). Stable models and their computation for logic programming with inheritance and true negation, to appear in Journal of Logic Programming.
6. Dowling, W., & Gallier, J. (1984). Linear time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming, 3, 267-284.
7. Dung, P. (1993). The acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming. In Proc. 13th Intl. Joint Conference on Artificial Intelligence.
8. Gelfond, M., & Lifschitz, V. (1990). Logic programs with classical negation. In Proc. 7th Intl. Conference on Logic Programming.
9. Gordon, T. F. (1993). The Pleadings Game: An Artificial Intelligence Model of Procedural Justice. Ph.D. thesis, TU Darmstadt.
10. Konolige, K. (1988). Hierarchic autoepistemic theories for nonmonotonic reasoning. In Proc. AAAI.
11. Kowalski, R., &, Sadri, F. (1991). Logic programs with exceptions. New Generation Computing, 9, 387-400.
12. Lifschitz, V. (1985). Computing circumscription. In Proc. 9th Int. Joint Conference on Artificial Intelligence.
13. Lifschitz, V. (1996). Foundations of declarative logic programming. In Brewka, G. (Ed.), Principles of Knowledge Representation. CSLI publishers, Studies in Logic, Language and Information.
14. Pereira, L., & Alferes, J. (1992). Well founded semantics for logic programs with explicit negation. In Proc. 10th European Conference on Artificial Intelligence, Vienna.
15. Poole, D. (1985). On the comparison of theories: Preferring the most specific explanation. In Proc. IJCAI-85, Los Angeles.
16. Prakken, H. (1993). Logical Tools for Modelling Legal Argument. Ph.D. thesis, VU Amsterdam.
17. Prakken, H., & Sartor, G. (1995). On the relation between legal language and legal argument: Assumptions, applicability and dynamic priorities. In Proc. International Conference in AI and Law, Washington.
18. Przymusinski, T. (1990). The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae, 13(4), 445-464.
19. Przymusinski, T. (1991). Stable semantics for disjunctive programs. New Generation Computing, 9, 401-424.
20. Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81-132.
21. Tarski, A. (1955). A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 285-309.
22. Touretzky, D. S. (1986). The Mathematics of Inheritance. Pitman Research Notes in Artificial Intelligence, London.
23. Touretzky, D. S., Thomason, R. H., & Horty, J. F. (1991). A skeptic's menagerie: Conflictors, preemptors, reinstaters, and zombies in nonmonotonic inheritance. In Proc. 12th IJCAI, Sydney.
24. van Gelder, A., ROSS, K., & Schlipf, J. (1991). The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 620-650.
25. Witteveen, C. (1991). Partial semantics for truth maintenance. In van Eijck, J. (Ed.), Logics in AI, pp. 544-561. Springer LNAI 478, Heidelberg.