Picture for Michael Morak

Michael Morak

Solving Projected Model Counting by Utilizing Treewidth and its Limits

Add code
May 31, 2023
Viaarxiv icon

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Add code
Aug 11, 2021
Figure 1 for Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Figure 2 for Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Viaarxiv icon

Structural Decompositions of Epistemic Logic Programs

Add code
Jan 13, 2020
Viaarxiv icon

selp: A Single-Shot Epistemic Logic Program Solver

Add code
Jan 04, 2020
Figure 1 for selp: A Single-Shot Epistemic Logic Program Solver
Viaarxiv icon

On Uniform Equivalence of Epistemic Logic Programs

Add code
Jul 25, 2019
Viaarxiv icon

Exploiting Treewidth for Projected Model Counting and its Limits

Add code
May 14, 2018
Figure 1 for Exploiting Treewidth for Projected Model Counting and its Limits
Figure 2 for Exploiting Treewidth for Projected Model Counting and its Limits
Figure 3 for Exploiting Treewidth for Projected Model Counting and its Limits
Viaarxiv icon

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

Add code
Jun 28, 2017
Figure 1 for DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Figure 2 for DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Figure 3 for DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Figure 4 for DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Viaarxiv icon

Answer Set Solving with Bounded Treewidth Revisited

Add code
Feb 09, 2017
Figure 1 for Answer Set Solving with Bounded Treewidth Revisited
Figure 2 for Answer Set Solving with Bounded Treewidth Revisited
Figure 3 for Answer Set Solving with Bounded Treewidth Revisited
Figure 4 for Answer Set Solving with Bounded Treewidth Revisited
Viaarxiv icon

Counting Answer Sets via Dynamic Programming

Add code
Dec 22, 2016
Figure 1 for Counting Answer Sets via Dynamic Programming
Figure 2 for Counting Answer Sets via Dynamic Programming
Viaarxiv icon

lpopt: A Rule Optimization Tool for Answer Set Programming

Add code
Aug 23, 2016
Figure 1 for lpopt: A Rule Optimization Tool for Answer Set Programming
Figure 2 for lpopt: A Rule Optimization Tool for Answer Set Programming
Viaarxiv icon