Martin Gebser
46 publications
13 venues
H Index 24
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.
|
Artificial Intelligence | 2025 | 0 |
| Navigating and Querying Answer Sets: How Hard Is It Really and Why?
|
KR | 2024 | 0 |
| Equipment Condition-Integrated Predictive Modeling for Optimized Scheduling of Ion Implantation in Semiconductor Manufacturing.
|
ECAI | 2024 | 0 |
| Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
|
AAAI | 2023 | 0 |
| Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes.
|
JELIA | 2023 | 0 |
| Enhancing Temporal Planning by Sequential Macro-Actions.
|
JELIA | 2023 | 0 |
| An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.
|
ICAPS | 2023 | 0 |
| Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.
|
ICAPS | 2022 | 2 |
| Lifting symmetry breaking constraints with inductive logic programming.
|
MLJ | 2022 | 0 |
| Utilizing Constraint Optimization for Industrial Machine Workload Balancing.
|
CP | 2021 | 4 |
| Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
|
IJCAI | 2021 | 0 |
| ASP-Based Time-Bounded Planning for Logistics Robots.
|
ICAPS | 2018 | 17 |
| Evaluation Techniques and Systems for Answer Set Programming: a Survey.
|
IJCAI | 2018 | 51 |
| The Sixth Answer Set Programming Competition.
|
JAIR | 2017 | 61 |
| From Non-Convex Aggregates to Monotone Aggregates in ASP.
|
IJCAI | 2016 | 4 |
| Design and results of the Fifth Answer Set Programming Competition.
|
Artificial Intelligence | 2016 | 128 |
| Knowledge-Based Sequence Mining with ASP.
|
IJCAI | 2016 | 22 |
| Writing Declarative Specifications for Clauses.
|
JELIA | 2016 | 8 |
| What's Hot in the Answer Set Programming Competition.
|
AAAI | 2016 | 34 |
| Improving the Normalization of Weight Rules in Answer Set Programs.
|
JELIA | 2014 | 31 |
| Answer Set Programming as SAT modulo Acyclicity.
|
ECAI | 2014 | 40 |
| ASP Encodings of Acyclicity Properties.
|
KR | 2014 | 11 |
| SAT Modulo Graphs: Acyclicity.
|
JELIA | 2014 | 40 |
| Domain-Specific Heuristics in Answer Set Programming.
|
AAAI | 2013 | 63 |
| Advanced Conflict-Driven Disjunctive Answer Set Solving.
|
IJCAI | 2013 | 49 |
| Conflict-driven answer set solving: From theory to practice.
|
Artificial Intelligence | 2012 | 368 |
| Stream Reasoning with Answer Set Programming: Preliminary Report.
|
KR | 2012 | 63 |
| Finite Model Computation via Answer Set Programming.
|
IJCAI | 2011 | 2 |
| An Incremental Answer Set Programming Based System for Finite ModelComputation.
|
JELIA | 2010 | 9 |
| Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
|
KR | 2010 | 85 |
| Coala: A Compiler from Action Languages to ASP.
|
JELIA | 2010 | 44 |
| On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
|
ICLP | 2009 | 38 |
| Constraint Answer Set Solving.
|
ICLP | 2009 | 139 |
| Solution Enumeration for Projected Boolean Search Problems.
|
CPAIOR | 2009 | 63 |
| Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
|
ICLP | 2008 | 123 |
| A Meta-Programming Technique for Debugging Answer-Set Programs.
|
AAAI | 2008 | 96 |
| Advanced Preprocessing for Answer Set Solving.
|
ECAI | 2008 | 29 |
| Conflict-Driven Disjunctive Answer Set Solving.
|
KR | 2008 | 91 |
| Engineering an Incremental ASP Solver.
|
ICLP | 2008 | 141 |
| Conflict-Driven Answer Set Solving.
|
IJCAI | 2007 | 403 |
| Generic Tableaux for Answer Set Programming.
|
ICLP | 2007 | 12 |
| Advanced Techniques for Answer Set Programming.
|
ICLP | 2007 | 0 |
| Elementary Sets of Logic Programs.
|
AAAI | 2006 | 20 |
| Tableau Calculi for Answer Set Programming.
|
ICLP | 2006 | 52 |
| What's a Head Without a Body?
|
ECAI | 2006 | 14 |
| The nomore++ Approach to Answer Set Solving.
|
LPAR | 2005 | 38 |