Equilibrium logic (Q854969)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Equilibrium logic |
scientific article; zbMATH DE number 5080838
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equilibrium logic |
scientific article; zbMATH DE number 5080838 |
Statements
Equilibrium logic (English)
0 references
20 December 2006
0 references
The aim of the paper is to present an overview of equilibrium logic and summarize its main features, properties and areas of application. Equilibrium logic generalizes reasoning with stable models and answer sets, it relates closely to other applied logics such as default logic, autoepistemic logic or modal nonmonotonic systems. The author focuses mainly on those aspects that relate to logic programming and deductive databases, rather than more general knowledge formalisms.
0 references
answer set programming
0 references
equilibrium logic
0 references
intermediate logics
0 references
strong negation
0 references
logic programming
0 references
0 references
0 references
