Proceedings:
Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
Volume
Issue:
Papers from the 2001 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog, algorithms for computing answer sets of programs of A-Prolog, and programming systems implementing these algorithms can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle.
Spring
Papers from the 2001 AAAI Spring Symposium