Martin Gebser

35 publications

11 venues

H Index21


Aalto University, Department of Computer Science, Espoo, Finland
University of Potsdam, Institute of Computer Science, Germany


Name Venue Year Citations
Answer Set Programming as SAT modulo Acyclicity. ECAI 2014 24
The Sixth Answer Set Programming Competition. JAIR 2017 39
Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012 39
Tableau Calculi for Answer Set Programming. ICLP 2006 33
Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009 34
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018 22
Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 2012 242
The nomore++ Approach to Answer Set Solving. LPAR 2005 26
Conflict-Driven Disjunctive Answer Set Solving. KR 2008 69
Engineering an Incremental ASP Solver. ICLP 2008 104
Advanced Preprocessing for Answer Set Solving. ECAI 2008 21
Advanced Techniques for Answer Set Programming. ICLP 2007 0
Finite Model Computation via Answer Set Programming. IJCAI 2011 2
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008 16
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI 2016 3
ASP Encodings of Acyclicity Properties. KR 2014 8
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018 7
Design and results of the Fifth Answer Set Programming Competition. Artificial Intelligence 2016 72
Constraint Answer Set Solving. ICLP 2009 104
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008 60
SAT Modulo Graphs: Acyclicity. JELIA 2014 23
Coala: A Compiler from Action Languages to ASP. JELIA 2010 28
Domain-Specific Heuristics in Answer Set Programming. AAAI 2013 38
Writing Declarative Specifications for Clauses. JELIA 2016 6
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009 21
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010 59
Improving the Normalization of Weight Rules in Answer Set Programs. JELIA 2014 19
What's Hot in the Answer Set Programming Competition. AAAI 2016 29
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013 35
Knowledge-Based Sequence Mining with ASP. IJCAI 2016 9
What's a Head Without a Body? ECAI 2006 7
Elementary Sets of Logic Programs. AAAI 2006 18
Generic Tableaux for Answer Set Programming. ICLP 2007 4
Conflict-Driven Answer Set Solving. IJCAI 2007 311
An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010 1
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ