An A-Prolog Decision Support System for the Space Shuttle-Reference-Cited by-同舟云学术

An A-Prolog Decision Support System for the Space Shuttle

Published:2001 Issue: Volume: Page:169-183
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Nogueira Monica,Balduccini Marcello,Gelfond Michael,Watson Richard,Barry Matthew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45241-9_12

Reference27 articles.

1. F. Bacchus and F. Kabanza. Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence, 22:1–2, 5-27, 1998.

2. M. Balduccini, M. Gelfond and M. Nogueira. A-Prolog as a tool for declarative programming. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE’2000), 63–72, 2000.

3. M. Balduccini, M. Gelfond and M. Nogueira. Digital Circuits in A-Prolog. Technical Report, University of Texas at El Paso, 2000.

4. M. Barry and R. Watson. Reasoning about actions for spacecraft redundancy management. In Proceedings of the 1999 IEEE Aerospace Conference, 5:101–112, 1999.

5. P. Cholewinski, W. Marek and M. Truszczyński. Default Reasoning System DeReS. In International Conference on Principles of Knowledge Representation and Reasoning, 518–528. Morgan Kauffman, 1996.

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

1. The Stable Model Semantics of Datalog with Metric Temporal Operators;Theory and Practice of Logic Programming;2023-08-02

2. Symbolic Artificial Intelligence Methods for Prescriptive Analytics;Digital Transformation;2023

3. From Felicitous Models to Answer Set Programming;Outstanding Contributions to Logic;2023

4. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04

5. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01