Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Extending the popular answer set programming paradigm by introspective reasoning capacities has received increasing interest within the last years. Particular attention is given to the formalism of epistemic logic programs (ELPs) where standard rules are equipped with modal operators which allow to...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2021-09, Vol.21 (5), p.575-592
Hauptverfasser:	BESIN, VIKTOR, HECHER, MARKUS, WOLTRAN, STEFAN
Format:	Artikel
Sprache:	eng
Schlagworte:	Combinatorial analysis Decision analysis Declarative programming Dynamic programming Enumeration Epistemology Logic programming Logic programs Mathematical programming Original Article Reasoning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!