Representing Knowledge in A-Prolog
| Author(s) : | Michael Gelfond, |
| Publisher : | N/A |
| Publication Date : | 2002 |
| ISSN : | N/A |
| Abstract : | In this paper, we review some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs. These languages, gathered together under the name of A-Prolog, can be used to represent various types of knowledge about the world. By way of example we demonstrate how the corresponding representations together with inference mechanisms associated with A-Prolog can be used to solve various programming tasks. 1, |