82 search results - page 1 / 17 » An A-Prolog Decision Support System for the Space Shuttle |
PADL
2001
Springer
13 years 9 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
IJCAI
1989
13 years 6 months ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...
CSCW
1999
ACM
13 years 4 months ago
1999
ACM
Voice loops, an auditory groupware technology, are essential coordination support tools for experienced practitioners in domains such as air traffic management, aircraft carrier o...
AMAI
2006
Springer
13 years 5 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
SEMWEB
2004
Springer
13 years 10 months ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...