Tableau Calculi for Answer Set Programming (Q5449589)
From MaRDI portal
scientific article; zbMATH DE number 5248022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tableau Calculi for Answer Set Programming |
scientific article; zbMATH DE number 5248022 |
Statements
Tableau Calculi for Answer Set Programming (English)
0 references
11 March 2008
0 references
