Enhancing DLV instantiator by backjumping techniques (Q2426106): Difference between revisions
From MaRDI portal
Normalize DOI. |
Changed label, description and/or aliases in en, and other parts |
||
| description / en | description / en | ||
scientific article | scientific article; zbMATH DE number 5265508 | ||
Latest revision as of 16:09, 19 November 2025
scientific article; zbMATH DE number 5265508
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Enhancing DLV instantiator by backjumping techniques |
scientific article; zbMATH DE number 5265508 |
Statements
Enhancing DLV instantiator by backjumping techniques (English)
0 references
21 April 2008
0 references
Artificial intelligence
0 references
Logic programming
0 references
Nonmonotonic reasoning
0 references
Disjunctive logic programming
0 references
Answer set programming
0 references
Deductive databases
0 references
Stable model semantics
0 references
