USA-smart: Improving the quality of plans in answer set planning

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

Volumn 3057, Issue , 2004, Pages 135-147

  Balduccini, Marcello ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Answer set programming; Planning; Preferences

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; PLANNING;

A-PROLOG; ANSWER SET; ANSWER SET PROGRAMMING; PLANNING DOMAINS; PREFERENCES;

LOGIC PROGRAMMING;

EID: 84974659827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_10     Document Type: Conference Paper

References (19)

1. Marcello Balduccini and Michael Gelfond. Logic programs with consistency-restoring rules. In Patrick Doherty, John McCarthy, and Mary-AnneWilliams, editors, International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, Mar 2003.
2. Marcello Balduccini, Michael Gelfond, Monica Nogueira, and Richard Watson. The USAAdvisor: A Case Study in Answer Set Planning. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 439-442, Sep 2001.
3. Marcello Balduccini and Veena S. Mellarkod. CR-Prolog2: CR-Prolog with Ordered Disjunction. In ASP03 Answer Set Programming: Advances in Theory and Implementation, volume 78 of CEUR Workshop proceedings, Sep 2003.
4. Gerhard Brewka. Logic programming with ordered disjunction. In Proceedings of AAAI-02, 2002.
5. Gerhard Brewka, Ilkka Niemela, and Tommi Syrjanen. Implementing ordered disjunction using answer set solvers for normal programs. In Sergio Flesca and Giovanbattista Ianni, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002), Sep 2002.
6. Francesco Calimeri, Tina Dell’Armi, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Giovanbattista Ianni, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerard Pfeifer, and Axel Polleres. The dlv system. In Sergio Flesca and Giovanbattista Ianni, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002), Sep 2002.
7. Yannis Dimopoulos, J. Koehler, and B. Nebel. Encoding planning problems in nonmonotonic logic programs. In Proceedings of the 4th European Conference on Planning, volume 1348 of Lecture Notes in Artificial Intelligence (LNCS), pages 169-181, 1997.
8. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerard Pfeifer, and Axel Polleres. Answer set planning under action costs. Journal of Artificial Intelligence Research, 19:25-71, 2003.
9. Selim Erdogan and Vladimir Lifschitz. Definitions in answer set programming. In Proceedings of LPNMR-7, Jan 2004.
10. Michael Gelfond. Representing knowledge in A-Prolog. In Antonis C. Kakas and Fariba Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part 2, volume 2408, pages 413-451. Springer Verlag, Berlin, 2002.
11. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365-385, 1991.
12. K. Heljanko. Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Fundamenta Informaticae, 37(3):247-268, 1999.
13. Vladimir Lifschitz. Action Languages, Answer Sets, and Planning, pages 357-373. The Logic Programming Paradigm: a 25-Year Perspective. Springer Verlag, Berlin, 1999.
14. Fangzhen Lin and Yuting Zhao. Assat: Computing answer sets of a logic program by sat solvers. In Proceedings of AAAI-02, 2002.
15. Ilkka Niemela, Patrik Simons, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, Jun 2002.
16. Monica Nogueira. Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso, May 2003.
17. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry. An A-Prolog decision support system for the Space Shuttle. In PADL 2001, pages 169-183, 2001.
18. Enrico Pontelli, Marcello Balduccini, and F. Bermudez. Non-monotonic reasoning on beowulf platforms. In Veronica Dahl and PhilipWadler, editors, PADL 2003, volume 2562 of Lecture Notes in Artificial Intelligence (LNCS), pages 37-57, Jan 2003.
19. Timo Soininen and Ilkka Niemela. Developing a declarative rule language for applications in product configuration. In Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, May 1999.