Implementing ordered disjunction using answer set solvers for normal programs

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

Volumn 2424, Issue , 2002, Pages 444-456

  Brewka, Gerhard ^a   Niemelä, Ilkka ^b   Syrjänen, Tommi ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE; SEMANTICS;

ANSWER SET; LOGIC PROGRAMS WITH ORDERED DISJUNCTIONS; PREFERENCE RELATION; PROBLEM SOLUTIONS; REASONING TASKS;

LOGIC PROGRAMMING;

EID: 77952060555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (8)

1. G. Brewka, S. Benferhat, and D. Le Berre. Qualitative choice logic. In Proc. Principles of Knowledge Representation and Reasoning, KR-02, pages 158-169. Morgan Kaufmann, 2002.
2. G. Brewka. Logic programming with ordered disjunction. In Proc. 18th National Conference on Artificial Intelligence, AAAI-2002. Morgan Kaufmann, 2002.
3. T. Eiter and G. Gottlob. Propositional circumscription and extended closed-world reasoning are ΠP 2-complete. Theoretical Computer Science, 114:231-245, 1993.
4. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
5. Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411-419. Morgan Kaufmann Publishers, April 2000.
6. Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 491-521. Kluwer Academic Publishers, 2000.
7. C. Sakama and K. Inoue. An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning, 13:145-172, 1994.
8. T. Soininen. An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks. PhD thesis, Helsinki University of Technology, Finland, 2000.