Abstraction for non-ground answer set programs (Q5919127)
From MaRDI portal
scientific article; zbMATH DE number 7418702
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstraction for non-ground answer set programs |
scientific article; zbMATH DE number 7418702 |
Statements
Abstraction for non-ground answer set programs (English)
0 references
2 November 2021
0 references
abstraction
0 references
answer set programming
0 references
declarative problem solving
0 references
knowledge representation and reasoning
0 references
nonmonotonic formalisms
0 references
explaining unsatisfiability
0 references
counterexample-guided abstraction and refinement
0 references
0 references
0 references
0 references
0 references
0 references
