ASP with non-herbrand partial functions: a language and system for practical use (Q5398294)
From MaRDI portal
scientific article; zbMATH DE number 6262125
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ASP with non-herbrand partial functions: a language and system for practical use |
scientific article; zbMATH DE number 6262125 |
Statements
ASP with non-herbrand partial functions: a language and system for practical use (English)
0 references
27 February 2014
0 references
answer set programming
0 references
non-Herbrand functions
0 references
constraint answer set programming
0 references
practical applications
0 references
