Martin Gebser
48 publications
13 venues
H Index 25
Affiliation
University of Klagenfurt, Department of Applied Informatics, AustriaGraz University of Technology, Institute of Software Technology, Austria
Aalto University, Department of Computer Science, Espoo, Finland
University of Potsdam, Institute of Computer Science, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint).
|
AAAI | 2026 | 0 |
| FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding.
|
KR | 2025 | 0 |
| A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments.
|
Artificial Intelligence | 2025 | 0 |
| Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing.
|
ECAI | 2024 | 0 |
| Navigating and Querying Answer Sets: How Hard Is It Really and Why?
|
KR | 2024 | 4 |
| Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
|
AAAI | 2023 | 3 |
| An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.
|
ICAPS | 2023 | 29 |
| Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes.
|
JELIA | 2023 | 0 |
| Enhancing Temporal Planning by Sequential Macro-Actions.
|
JELIA | 2023 | 0 |
| Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.
|
ICAPS | 2022 | 12 |
| Lifting symmetry breaking constraints with inductive logic programming.
|
MLJ | 2022 | 0 |
| Utilizing Constraint Optimization for Industrial Machine Workload Balancing.
|
CP | 2021 | 9 |
| Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
|
IJCAI | 2021 | 0 |
| ASP-Based Time-Bounded Planning for Logistics Robots.
|
ICAPS | 2018 | 18 |
| Evaluation Techniques and Systems for Answer Set Programming: a Survey.
|
IJCAI | 2018 | 76 |
| The Sixth Answer Set Programming Competition.
|
JAIR | 2017 | 72 |
| From Non-Convex Aggregates to Monotone Aggregates in ASP.
|
IJCAI | 2016 | 4 |
| Knowledge-Based Sequence Mining with ASP.
|
IJCAI | 2016 | 32 |
| Design and results of the Fifth Answer Set Programming Competition.
|
Artificial Intelligence | 2016 | 145 |
| What's Hot in the Answer Set Programming Competition.
|
AAAI | 2016 | 37 |
| Writing Declarative Specifications for Clauses.
|
JELIA | 2016 | 7 |
| SAT Modulo Graphs: Acyclicity.
|
JELIA | 2014 | 45 |
| Answer Set Programming as SAT modulo Acyclicity.
|
ECAI | 2014 | 42 |
| ASP Encodings of Acyclicity Properties.
|
KR | 2014 | 11 |
| Improving the Normalization of Weight Rules in Answer Set Programs.
|
JELIA | 2014 | 30 |
| Advanced Conflict-Driven Disjunctive Answer Set Solving.
|
IJCAI | 2013 | 52 |
| Domain-Specific Heuristics in Answer Set Programming.
|
AAAI | 2013 | 78 |
| Conflict-driven answer set solving: From theory to practice.
|
Artificial Intelligence | 2012 | 420 |
| Stream Reasoning with Answer Set Programming: Preliminary Report.
|
KR | 2012 | 64 |
| Finite Model Computation via Answer Set Programming.
|
IJCAI | 2011 | 2 |
| Coala: A Compiler from Action Languages to ASP.
|
JELIA | 2010 | 44 |
| Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
|
KR | 2010 | 95 |
| An Incremental Answer Set Programming Based System for Finite ModelComputation.
|
JELIA | 2010 | 0 |
| Solution Enumeration for Projected Boolean Search Problems.
|
CPAIOR | 2009 | 76 |
| Constraint Answer Set Solving.
|
ICLP | 2009 | 137 |
| On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
|
ICLP | 2009 | 40 |
| Engineering an Incremental ASP Solver.
|
ICLP | 2008 | 143 |
| Conflict-Driven Disjunctive Answer Set Solving.
|
KR | 2008 | 89 |
| A Meta-Programming Technique for Debugging Answer-Set Programs.
|
AAAI | 2008 | 104 |
| Advanced Preprocessing for Answer Set Solving.
|
ECAI | 2008 | 31 |
| Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
|
ICLP | 2008 | 0 |
| Generic Tableaux for Answer Set Programming.
|
ICLP | 2007 | 13 |
| Conflict-Driven Answer Set Solving.
|
IJCAI | 2007 | 393 |
| Advanced Techniques for Answer Set Programming.
|
ICLP | 2007 | 0 |
| Tableau Calculi for Answer Set Programming.
|
ICLP | 2006 | 53 |
| Elementary Sets of Logic Programs.
|
AAAI | 2006 | 0 |
| What's a Head Without a Body?
|
ECAI | 2006 | 14 |
| The nomore++ Approach to Answer Set Solving.
|
LPAR | 2005 | 38 |