Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508)
From MaRDI portal
scientific article; zbMATH DE number 7196151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inconsistency Proofs for ASP: The ASP - DRUPE Format |
scientific article; zbMATH DE number 7196151 |
Statements
Inconsistency Proofs for ASP: The ASP - DRUPE Format (English)
0 references
4 May 2020
0 references
answer set programming
0 references
reverse unit propagation proofs
0 references
inconsistency proofs
0 references
0 references
