Abstract | ||
---|---|---|
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 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. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-45241-9_12 | PADL |
Keywords | Field | DocType |
planning.,answer set,medium size knowledge-intensive application,logic programming,programming methodology,space shuttle,the space shuttle. keywords: answer set programming,a-prolog decision support system,declarative language,successful design | Programming language,Computer science,Decision support system,Space Shuttle,Prolog,Software development process,Declarative programming,Logic programming,Answer set programming | Conference |
ISBN | Citations | PageRank |
3-540-41768-0 | 123 | 3.79 |
References | Authors | |
20 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Monica Nogueira | 1 | 123 | 3.79 |
Marcello Balduccini | 2 | 423 | 32.86 |
Michael Gelfond | 3 | 6055 | 492.05 |
Richard Watson | 4 | 175 | 9.91 |
Matthew Barry | 5 | 123 | 4.12 |