Author of the publication

Translation-Based Revision and Merging for Minimal Horn Reasoning.

, , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 734-742. IOS Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Strong Equivalence for Epistemic Logic Programs Made Easy., , and . AAAI, page 2809-2816. AAAI Press, (2019)Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence., , and . AAAI, page 297-303. AAAI Press, (2013)Tractable Abstract Argumentation via Backdoor-Treewidth., , , , , and . AAAI, page 5608-5615. AAAI Press, (2022)Subset Minimization in Dynamic Programming on Tree Decompositions., , , and . AAAI Workshop: Beyond NP, volume WS-16-05 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Redefining ABA+ Semantics via Abstract Set-to-Set Attacks., , , , , and . AAAI, page 10493-10500. AAAI Press, (2024)Multicut on Graphs of Bounded Clique-Width., , , and . COCOA, volume 7402 of Lecture Notes in Computer Science, page 115-126. Springer, (2012)Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning., , , and . IJCAI, page 275-282. AAAI Press, (2015)Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough., , , and . KR, AAAI Press, (2010)Preface., , and . Theory Pract. Log. Program., 21 (3): 293-295 (2021)Deviation in Belief Change on Fragments of Propositional Logic., and . DKB/KIK@KI, volume 1928 of CEUR Workshop Proceedings, page 64-76. CEUR-WS.org, (2017)