FLP answer set semantics without circular justifications for general logic programs (Q2453743)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FLP answer set semantics without circular justifications for general logic programs |
scientific article |
Statements
FLP answer set semantics without circular justifications for general logic programs (English)
0 references
10 June 2014
0 references
answer set programming
0 references
knowledge representation
0 references
nonmonotonic reasoning
0 references
logic programs with first-order formulas
0 references
level mappings
0 references
circular justifications
0 references
0 references
0 references
0 references
0 references
