Answer set optimization

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 867-872

  Brewka, Gerhard ^a   Niemela, Ilkka ^b   Truszczynski, Miroslaw ^c  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b AALTO UNIVERSITY   (Finland)

^c UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; COMPLEXITY RESULTS; CP-NETWORKS; IMPLEMENTATION TECHNIQUES; PREFERENCE RELATION; QUALITATIVE OPTIMIZATION; TWO PARTS;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

OPTIMIZATION;

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

References (13)

1. C. Baral. Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, 2003. ISBN 0521818028.
2. C. Boutilier, R.I. Brafman, H.H. Hoos, and D. Poole. Reasoning with conditional ceteris paribus preference statements. In Proc. UAI-99, 1999.
3. G. Brewka, I. Niemela, and T. Syrjanen. Implementing ordered disjunction using answer set solvers for normal programs. In Proc. JELIA 2002. Springer Verlag, 2002.
4. G. Brewka. Logic programming with ordered disjunction. In Proc. AAA1-02. Morgan Kaufmann, 2002.
5. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In Proc. Principles of Knowledge Representation and Reasoning, KR-98. Morgan Kaufmann, 1998.
6. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
7. T. Janhunen, I. Niemela, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. In Proc. Principles of Knowledge Representation and Reasoning, KR-00, pages 411-419. Morgan Kaufmann, 2000.
8. V. Lifschitz. Answer set programming and plan generation. Artificial Intelligence Journal, 138(1-2):39-54, 2002.
9. I. Niemela and P. Simons. Efficient implementation of the stable model and well-founded semantics for normal logic programs. In Proc. 4th Intl. Conference on Ijogic Programming and Nonmonotonic Reasoning. Springer Verlag, 1997.
10. C. Sakama and K. Inoue. Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123 (1 -2): 185-222, 2000.
11. T. Schaub and K. Wang. A comparative study of logic programs with preference. In Proc. IJCAI-01, 2001.
12. P. Simons, I. Niemela, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1 -2): 181-234,2002.
13. T. Soininen. An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks. PhD thesis, Helsinki University of Technology, Finland, 2000.