ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676)
From MaRDI portal
scientific article; zbMATH DE number 7702961
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ASP and subset minimality: enumeration, cautious reasoning and MUSes |
scientific article; zbMATH DE number 7702961 |
Statements
ASP and subset minimality: enumeration, cautious reasoning and MUSes (English)
0 references
27 June 2023
0 references
answer set programming
0 references
enumeration
0 references
minimal models
0 references
cautious reasoning
0 references
MUS
0 references
0 references
0 references
