Logic programming and knowledge representation---The A-Prolog perspective (Q1603731): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 05:03, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic programming and knowledge representation---The A-Prolog perspective |
scientific article |
Statements
Logic programming and knowledge representation---The A-Prolog perspective (English)
0 references
15 July 2002
0 references
In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a `feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logic programming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications.
0 references
logic programming
0 references
nonmonotonic reasoning
0 references
default reasoning
0 references
answer set programming
0 references
