Lpopt: a rule optimization tool for answer set programming (Q2409731)
From MaRDI portal
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
