Answer set enumeration via assumption literals (Q5215367)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Answer set enumeration via assumption literals |
scientific article; zbMATH DE number 7165496
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Answer set enumeration via assumption literals |
scientific article; zbMATH DE number 7165496 |
Statements
Answer Set Enumeration via Assumption Literals (English)
0 references
10 February 2020
0 references
answer set programming
0 references
enumeration
0 references
assumption literals
0 references
0.9551459550857544
0 references
0.8507851362228394
0 references
0.7807923555374146
0 references
0.7794679999351501
0 references