A comparative study of logic programs with preference

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 597-602

  Schaub, Torsten ^a,b   Wang, Kewen ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; COMPARATIVE STUDIES; EXTENDED LOGIC PROGRAMMING; IMPLEMENTATION TECHNIQUES; LOGIC PROGRAMS; ORDER PRESERVATION; PREFERENCE INFORMATION; STANDARD LOGIC;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

LOGIC PROGRAMMING;

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

References (12)

1. F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. In Proc. IJCAI'93, p 669-674, 1993.
2. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109(1-2):297-356, 1999.
3. G. Brewka and T. Eiter. Prioritizing default logic. In St. Hölldobler, ed, Intellectics and Computational Logic. Kluwer, 2000. To appear.
4. G. Brewka. Adding priorities and specificity to default logic. In L. Pereira and D. Pearce, eds, Proc. JELIA'94, p 247-260. Springer, 1994.
5. J. Delgrande, T. Schaub, and H. Tompits. Logic programs with compiled preferences. In Proc. ECAI 2000, p 392-398. IOS Press, 2000.
6. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 9:365-385, 1991.
7. M. Gelfond and T. Son. Reasoning with prioritized defaults. In J. Dix, L. Pereira, and T. Przymusinski, eds, Workshop on Logic Programming and Knowledge Representation, p 164-223. Springer, 1997.
8. J. Rintanen. On specificity in default logic. In Proc. IJCAI'95, p 1474-1479. Morgan Kaufmann, 1995.
9. C. Sakama and K. Inoue. Representing priorities in logic programs. In M. Maher, ed, Proc. JCSLP'96, p 82-96. MIT Press, 1996.
10. A. van Gelder. The alternating fixpoint of logic programs with negation. J. Computer and System Science, 47:185-120, 1993.
11. K. Wang, L. Zhou, and F. Lin. Alternating fixpoint theory for logic programs with priority. In Proc. Int'l Conf. Computational Logic, p 164-178. Springer, 2000.
12. Y. Zhang and N. Foo. Answer sets for prioritized logic programs. In J. Maluszynski, ed, Proc. ISLP'97, p 69-84. MIT Press, 1997.