Picture for Stefan Rümmele

Stefan Rümmele

Belief merging within fragments of propositional logic

Add code
Apr 25, 2014
Figure 1 for Belief merging within fragments of propositional logic
Figure 2 for Belief merging within fragments of propositional logic
Figure 3 for Belief merging within fragments of propositional logic
Viaarxiv icon

Backdoors to Abduction

Add code
Apr 22, 2013
Viaarxiv icon

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough

Add code
May 29, 2012
Figure 1 for Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
Viaarxiv icon