Martin Gebser
35 publications
11 venues
H Index21
Affiliation
Aalto University, Department of Computer Science, Espoo, FinlandUniversity of Potsdam, Institute of Computer Science, Germany
Links
| 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 |