Author of the publication

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

Conflict-Driven Disjunctive Answer Set Solving., , , , , , and . KR, page 422-432. AAAI Press, (2008)Symmetry-breaking Answer Set Solving, , and . CoRR, (2010)Symmetry Breaking for Distributed Multi-Context Systems., , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 26-39. Springer, (2011)Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version)., and . CoRR, (2013)Heuristics in Conflict Resolution, , , and . CoRR, (2010)What Moves Players?: Visual Data Exploration of Twitter and Gameplay Data., , , , , and . CHI, page 560. ACM, (2018)Translation-Based Constraint Answer Set Solving., and . IJCAI, page 2596-2601. IJCAI/AAAI, (2011)Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation., and . AAAI, AAAI Press, (2011)Constraint Answer Set Programming Systems.. ICLP (Technical Communications), volume 7 of LIPIcs, page 255-264. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)Answer Set Solving with Lazy Nogood Generation., and . ICLP (Technical Communications), volume 17 of LIPIcs, page 188-200. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)