The USA-advisor: A case study in answer set planning

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

Volumn 2173 LNAI, Issue , 2001, Pages 439-442

  Balduccini, Marcello ^a   Gelfond, Michael ^a   Watson, R ^a   Nogueira, M ^b  

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

^b University of Texas at El Paso   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; FLIGHT CONTROLLERS; MEDIUM SIZE; REAL-WORLD PLANNING;

ARTIFICIAL INTELLIGENCE; DECISION SUPPORT SYSTEMS; LOGIC PROGRAMMING; NASA; SPACE SHUTTLES;

QUALITY CONTROL;

EID: 84867749546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45402-0_39     Document Type: Conference Paper

References (4)

1. Balduccini, M., Gelfond, M., and Nogueira, M.: A-Prolog as a tool for declarative programming. In Procs of SEKE'00, (2000), 63-72
2. Balduccini, M., Barry, M., Gelfond, M., Nogueira, M., and Watson, R.: An A-Prolog decision support system for the Space Shuttle. LNCS Procs of PADL'01, (2001), 1990:169-183
3. Dimopoulos, Y., Nebel, B., and Koehler, J.: Encoding planning problems in nonmonotonic logic programs. LNAI Proceedings of ECP'97, (1997), 1348:169-18
4. Lifschitz, V.: Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective, Spring-Verlag, (1999), 357-373