Logic programming with ordered disjunction

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2002, Pages 100-105

  Brewka, Gerhard ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; PROBLEM SOLVING; SEMANTICS; SET THEORY;

SET PROGRAMMING;

LOGIC PROGRAMMING;

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

References (21)

1. Benferhat, S.; Dubois, D.; Fargier, H.; and Prade, H. 2000. Decision, nonmonotonic reasoning and possibilistic logic. In Minker, J., ed., Logic-Based Artificial Intelligence. Kluwer Academic Publishers.
2. Boutilier, C.; Brafman, R.; Hoos, H.; and Poole, D. 1999. Reasoning with conditional ceteris paribus preference statements. In Proc. Uncertainty in Artificial Intelligence, UAI-99.
3. Boutilier, C. 1994. Towards a logic for qualitative decision theory. In Proc. Principles of Knowledge Representation and Reasoning, KR-94, 75-86. Morgan Kaufmann.
4. Brewka, G., and Eiter, T. 1999. Preferred answer sets for extended logic programs. Artificial Intelligence 109:297-356.
5. Brewka, G.; Benferhat, S.; and Le Berre, D. 2002. Qualitative choice logic. In Proc. Principles of Knowledge Representation and Reasoning, KR-02. Morgan Kaufmann.
6. Brewka, G. 1996. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4:19-36.
7. Delgrande, J.; Schaub, T.; and Tompits, H. 2000. Logic programs with compiled preferences. In Proc. European Conference on Artificial Intelligence, ECAI-00, 464-468. IOS Press.
8. Doyle, J., and Thomason, R. 1999. Background to qualitative decision theory. AI Magazine 20(2):55-68.
9. Dubois, D.; Berre, D. L.; Prade, H.; and Sabbadin, R. 1999. Using possibilistic logic for modelingqualitative decision: Atms-based algorithms. Fundamenta Informaticae 34:1-30.
10. Eiter, T.; Leone, N.; Mateis, C.; Pfeifer, G.; and Scarcello, F. 1998. The kr system dlv: Progress report, comparisons and benchmarks. In Proc. Principles of Knowledge Representation and Reasoning, KR-98. Morgan Kaufmann.
11. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365-385.
12. Grosof, B. 1999. Diplomat: Compiling prioritized rules into ordinary logic programs for e-commerce applications (intelligent systems demonstration abstract). In Proc. AAAI-99.
13. 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, 318-322. Wiley and Sons.
14. Lifschitz, V. 2001. Answer set programming and plan generation. available under www.cs.utexas.edu/users/vl/papers.html.
15. Niemelä, I., and 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.
16. Niemelä, I., and Simons, P. 2000. Extending the smodels system with cardinality and weight constraints. In Minker, J., ed., Logic-Based Artificial Intelligence. Kluwer Academic Publishers.
17. Poole, D. 1997. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence Journal 94(1-2):7-56.
18. Sakama, C., and Inoue, K. 1994. An alternative approach to the semantics of disjunctive logic programs and deductive databases. Journal of Automated Reasoning 13:145-172.
19. Schaub, T., and Wang, K. 2001. A comparative study of logic programs with preference. In Proc. Intl. Joint Conference on Artificial Intelligence, IJCAI-01.
20. Soininen, T. 2000. An Approach to Knowledge Representation and Reasoning for Product Configuration Tasks. Ph.D. Dissertation, Helsinki University of Technology, Finland.
21. van der Torre, L., and Weydert, E. 2001. Parameters for utilitarian desires in a qualitative decision theory. Applied Intelligence 14:285-301.