Utilizing treewidth for quantitative reasoning on epistemic logic programs (Q5019599)
From MaRDI portal
 | 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: Utilizing treewidth for quantitative reasoning on epistemic logic programs |
scientific article; zbMATH DE number 7454770
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Utilizing treewidth for quantitative reasoning on epistemic logic programs |
scientific article; zbMATH DE number 7454770 |
Statements
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (English)
0 references
10 January 2022
0 references
epistemic logic programming
0 references
treewidth
0 references
tree decompositions
0 references
abstractions
0 references
hybrid solving
0 references
nested dynamic programming
0 references
0 references
0.8019310235977173
0 references
0.7814266681671143
0 references
0.7790845632553101
0 references
0.7602587342262268
0 references
0.7459006905555725
0 references
