Search Results - "MORAK, MICHAEL"

lpopt: A Rule Optimization Tool for Answer Set Programming.

Authors: Bichler, Manuel Morak, Michael Woltran, Stefan et al.

Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p275-296, 22p

Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.

Authors: FABER, WOLFGANG MORAK, MICHAEL CHRPA, LUKÁŠ

Source: Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p646-662. 17p.

selp: A Single-Shot Epistemic Logic Program Solver.

Authors: BICHLER, MANUEL MORAK, MICHAEL WOLTRAN, STEFAN

Source: Theory & Practice of Logic Programming. Jul2020, Vol. 20 Issue 4, p435-455. 21p.

The Impact of Treewidth on Grounding and Solving of Answer Set Programs.

Authors: Bliem, Bernhard Morak, Michael Moldovan, Marius et al.

Source: Journal of Artificial Intelligence Research. 2020, Vol. 67, p35-80. 46p.

On Uniform Equivalence of Epistemic Logic Programs.

Authors: FABER, WOLFGANG MORAK, MICHAEL WOLTRAN, STEFAN

Source: Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p826-840. 15p.

Solving Projected Model Counting by Utilizing Treewidth and its Limits.

Authors: Fichte, Johannes K. Hecher, Markus Morak, Michael et al.

Source: Artificial Intelligence; Jan2023, Vol. 314, pN.PAG-N.PAG, 1p

Guarded-Based Disjunctive Tuple-Generating Dependencies.

Authors: BOURHIS, PIERRE MANNA, MARCO MORAK, MICHAEL et al.

Source: ACM Transactions on Database Systems. Nov2016, Vol. 41 Issue 4, p1-45. 45p.

DynASP2.5: Dynamic Programming on Tree Decompositions in Action †.

Authors: Fichte, Johannes K. Hecher, Markus Morak, Michael et al.

Source: Algorithms. Mar2021, Vol. 14 Issue 3, p81-81. 1p.