Search Results for author: Stefan Rümmele

Found 2 papers, 0 papers with code

Belief merging within fragments of propositional logic

no code implementations25 Apr 2014 Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran

This paper presents a general approach to define new merging operators derived from existing ones such that the result of merging remains in the fragment under consideration.

Backdoors to Abduction

no code implementations22 Apr 2013 Andreas Pfandler, Stefan Rümmele, Stefan Szeider

This complexity barrier rules out the existence of a polynomial transformation to propositional satisfiability (SAT).

Cannot find the paper you are looking for? You can Submit a new open access paper.