A compilation of brewka and eiter's approach to prioritization

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1919, Issue , 2000, Pages 376-390

  Delgrande, James P ^a   Schaub, Torsten ^b   Tompits, Hans ^c  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITY OF POTSDAM   (Germany)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

DEFAULT LOGIC; PREFERENCE INFORMATION; PRIORITIZATION;

LOGIC PROGRAMMING;

EID: 84943171399     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-40006-0_26     Document Type: Conference Paper

References (16)

1. F.Baader and B.Hollunder.How to prefer more specific defaults in terminological default logic.In Proceedings of the International Joint Conference on Artificial Intelligence, pages 669-674, 1993.
2. G.Brewka.Reasoning about priorities in default logic.In Proceedings of the AAAI National Conference on Artificial Intelligence, volume 2, pages 940-945.AAAI Press/The MIT Press, 1994.
3. G.Brewka and T.Eiter.Preferred answer sets for extended logic programs.Artificial Intelligence, 109(1-2):297-356, 1999.
4. G.Brewka and T.Eiter.Prioritizing default logic.In St.Hölldobler, editor, Intellectics and Computational Logic - Papers in Honour of Wolfgang Bibel.Kluwer Academic Publishers, 2000.
5. P.Cho?ewinski, V.W.Marek, and M.Truszczýnski.Default reasoning system DeReS.In Proceedings KR'96, pages 518-528, 1996.
6. J.Delgrande and T.Schaub.Compiling reasoning with and about preferences into default logic.InM.Pollack, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 168-174.Morgan Kaufmann Publishers, 1997.
7. J.Delgrande and T.Schaub.The role of default logic in knowledge representation.In J.Minker, editor, Logic-Based Artificial Intelligence.Kluwer Academic Publishers, 2000.
8. J.Delgrande, T.Schaub, and H.Tompits.Logic programs with compiled preferences.In C.Baral and M.Truszczýnski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, 2000.
9. J.Delgrande, T.Schaub, and H.Tompits.A compiler for ordered logic programs.In C.Baral and M.Truszczýnski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, 2000.
10. T.Eiter,N.Leone, C.Mateis, G.Pfeifer, and F.Scarcello.A deductive system for nonmonotonic reasoning.In J.Dix, U.Furbach, and A.Nerode, editors, Proceedings LPNMR'97, pages 363-374.Springer Verlag, 1997.
11. M.Gelfond and V.Lifschitz.Classical negation in logic programs and deductive databases.New Generation Computing, 9:365-385, 1991.
12. T.Janhunen.Classifying semi-normal default logic on the basis of its expressive power.In M.Gelfond, N.Leone, and G.Pfeifer, editors, Proceedings LPNMR'99, pages 19-33.Springer Verlag, 1999.
13. J.McCarthy.Applications of circumscription to formalizing common-sense knowledge.Artificial Intelligence, 28:89-116, 1986.
14. I.Niemelä and P.Simons.Smodels: An implementation of the stable model and wellfounded semantics for normal logic programs.In J.Dix, U.Furbach, and A.Nerode, editors, Proceedings LPNMR'97, pages 420-429.Springer Verlag, 1997.
15. D.Poole.A logical framework for default reasoning.Artificial Intelligence, 36:27-47, 1988.
16. R.Reiter.A logic for default reasoning.Artificial Intelligence, 13(1-2):81-132, 1980.