An Answer Set Solver for non-Herbrand Programs: Progress Report (Q5398042)
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: An Answer Set Solver for non-Herbrand Programs: Progress Report |
scientific article; zbMATH DE number 6261527
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Answer Set Solver for non-Herbrand Programs: Progress Report |
scientific article; zbMATH DE number 6261527 |
Statements
25 February 2014
0 references
answer set programming
0 references
non-Herbrand functions
0 references
answer set solving
0 references
knowledge representation and reasoning
0 references
An Answer Set Solver for non-Herbrand Programs: Progress Report (English)
0 references
