Answer sets and qualitative decision making

Synthese

Volumn 146, Issue 1-2, 2005, Pages 171-187

  Brewka, Gerhard ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22344444479     PISSN: 00397857     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11229-005-9084-7     Document Type: Article

References (24)

1. Baral, C. and M. Gelfond: 1994, 'Logic Programming and Knowledge Representation', Journal of Logic Programming 19/20, 73-148.
2. Benferhat, S., D. Dubois, H. Fargier, and H. Prade: 2000, 'Decision, Nonmonotonic Reasoning and Possibilistic Logic', in J. Minker (ed.), Logic-Based Artificial Intelligence, Kluwer Academic Publishers, Dordrecht.
3. Boutilier, C.: 1994, Towards a Logic for Qualitative Decision Theory', Proc. Principles of Knowledge Representation and Reasoning, KR-94, pp. 75-86.
4. Boutilier, C., R. I. Brafman, H. H. Hoos, and D. Poole: 1999, 'Reasoning with Conditional Ceteris Paribus Preference Statements', in Proc. UAI-99.
5. Brewka, G.: 1996, Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences', Journal of Artificial Intelligence Research 4, 19-36.
6. Brewka, G.: 2002, 'Logic Programming with Ordered Disjunction', in Proc. AAAI-02.
7. Brewka, G. and T. Eiter: 1999, 'Preferred Answer Sets for Extended Logic Programs', Artificial Intelligence 109, 297-356
8. Brewka, G., S. Benferhat, and D. Le Berre: 2002a, 'Qualitative Choice Logic', in Proc. Principles of Knowledge Representation and Reasoning, KR-02, available as IfI-Report under www.informatik.uni-leipzig.de/brewka.
9. Brewka, G., I. Niemelä, and T. Syrjänen: 2002b, 'Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs', in Proc. 8th European Conference on Logics in Artificial Intelligence (JELIA 2002).
10. Delgrande, J., T. Schaub, and H. Tompits: 2000, 'Logic Programs with Compiled Preferences', Proc. European Conference on Artificial Intelligence, Berlin, pp. 464-468.
11. Doyle, J. and R. Thomason: 1999, 'Background to Qualitative Decision Theory', AI Magazine 20(2), 55-68.
12. Dubois, D., D. L. Berre, H. Prade, and R. Sabbadin: 1999, 'Using Possibilities Logic for Modeling Qualitative Decision: ATMS-Based Algorithms', Fundamenta Informaticae 34, 1-30.
13. Eiter, T., N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello: 1998, 'The KR System dlv: Progress Report, Comparisons and Benchmarks', in Proc. Principles of Knowledge Representation and Reasoning, KR-98.
14. Gelfond, M. and V. Lifschitz: 1991, 'Classical Negation in Logic Programs and Disjunctive Databases', New Generation Computing 9, 365-385.
15. Grosof, B.: 1999, 'DIPLOMAT: Compiling Prioritized Rules into Ordinary Logic Programs for E-Commerce Applications (Intelligent Systems Demonstration Abstract)', in Proc. AAAI-99.
16. Lang, J.: 1996, 'Conditional Desires and Utilities - An Alternative Logical Approach to Qualitative Decision Theory', in Proc. 12th European Conference on Artificial Intelligence, ECAI-96, pp. 318-322.
17. Lifschitz, V.: 2001, Answer Set Programming and Plan Generation', Artificial Intelligence Journal 138(1-2), 39-54.
18. Niemelä, I. and P. Simons, P.: 1997, 'Efficient Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs', in Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning, Springer Verlag, Dagstuhl, Germany.
19. Poole, D.: 1997, 'The Independent Choice Logic for Modelling Multiple Agents under Uncertainty', Artificial Intelligence 94(1-2), 7-56.
20. Sakama, C. and K. Inoue: 1994, 'An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases', Journal of Automated Reasoning 13, 145172.
21. Savage, L.: 1954, The Foundations of Statistics, Dover, New York.
22. Schaub, T. and K. Wang: 2001, 'A Comparative Study of Logic Programs with Preference, Proc. Intl. Joint Conference on Artificial Intelligence, IJCAI-01, pp. 597-602.
23. Soininen, T.: 2000, 'An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks', Ph.D. dissertation, Helsinki University of Technology, Finland.
24. van der Torre, L. and E. Weydert: 2001, 'Parameters for Utilitarian Desires in a Qualitative Decision Theory', Applied Intelligence 14, 285-301.