A model building framework for answer set programming with external computations (Q4593036)
From MaRDI portal
scientific article; zbMATH DE number 6804591
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model building framework for answer set programming with external computations |
scientific article; zbMATH DE number 6804591 |
Statements
A model building framework for answer set programming with external computations (English)
0 references
9 November 2017
0 references
answer set programming
0 references
model building
0 references
external computation
0 references
hex programs
0 references
0 references
