Lpopt: a rule optimization tool for answer set programming (Q2409731)
From MaRDI portal
(Redirected from Item:Q4988926)
 | 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: Lpopt: a rule optimization tool for answer set programming |
scientific article; zbMATH DE number 7350034
- lpopt: A Rule Optimization Tool for Answer Set Programming
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lpopt: a rule optimization tool for answer set programming |
scientific article; zbMATH DE number 7350034 |
|
Statements
Lpopt: a rule optimization tool for answer set programming (English)
0 references
lpopt: A Rule Optimization Tool for Answer Set Programming (English)
0 references
13 October 2017
0 references
20 May 2021
0 references
logic programming
0 references
answer set programming
0 references
rule decomposition
0 references
tree decomposition
0 references
preprocessing
0 references
