A characterization of answer sets for logic programs (Q2644415)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A characterization of answer sets for logic programs |
scientific article |
Statements
A characterization of answer sets for logic programs (English)
0 references
31 August 2007
0 references
nested logic programming
0 references
characterization of answer sets
0 references
completion semantics
0 references
tightness
0 references
loop formulas
0 references
