USA-Smart: Improving the Quality of Plans in Answer Set Planning-Reference-Cited by-同舟云学术

USA-Smart: Improving the Quality of Plans in Answer Set Planning

Published:2004 Issue: Volume: Page:135-147
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Balduccini Marcello

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24836-1_10.pdf

Reference19 articles.

1. Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, March 2003. AAAI 2003 Spring Symposium Series (2003)

2. Balduccini, M., Gelfond, M., Nogueira, M., Watson, R.: The USAAdvisor: A Case Study in Answer Set Planning. In: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, September 2001, pp. 439–442 (2001)

3. Balduccini, M., Mellarkod, V.S.: CR-Prolog2: CR-Prolog with Ordered Disjunction. In: ASP 2003 Answer Set Programming: Advances in Theory and Implementation, September 2003. CEUR Workshop Proceedings, vol. 78 (2003)

4. Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of AAAI 2002 (2002)

5. Lecture Notes in Artificial Intelligence;G. Brewka,2002

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Splitting a CR-Prolog Program;Logic Programming and Nonmonotonic Reasoning;2009

2. Integrating answer set programming and constraint logic programming;Annals of Mathematics and Artificial Intelligence;2008-08

3. Answer set based design of knowledge systems;Annals of Mathematics and Artificial Intelligence;2006-09-13

4. Architecture and Design Modeling and Simulation Testbeds for NASA: A Progress Report;Infotech@Aerospace;2005-06-15

5. Application of Model-Based Technology Systems for Autonomous Systems;Infotech@Aerospace;2005-06-15