Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499)
From MaRDI portal
scientific article; zbMATH DE number 7196142
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract Solvers for Computing Cautious Consequences of ASP programs |
scientific article; zbMATH DE number 7196142 |
Statements
Abstract Solvers for Computing Cautious Consequences of ASP programs (English)
0 references
4 May 2020
0 references
answer set programming
0 references
abstract solvers
0 references
cautious reasoning
0 references
