Torsten Schaub
92 publications
15 venues
H Index 31
Affiliation
University of Potsdam, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital.
|
ICLP | 2025 | 0 |
| Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
|
ECAI | 2025 | 0 |
| Implementing the First-Order Logic of Here and There.
|
ICLP | 2025 | 0 |
| Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
|
KR | 2024 | 2 |
| ASP-driven User-interaction with Clinguin.
|
ICLP | 2024 | 0 |
| Hamiltonian Cycle Reconfiguration with Answer Set Programming.
|
JELIA | 2023 | 2 |
| A general framework for preferences in answer set programming.
|
Artificial Intelligence | 2023 | 5 |
| Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].
|
SOCS | 2023 | 2 |
| Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.
|
JELIA | 2023 | 0 |
| Past-Present Temporal Programs over Finite Traces.
|
JELIA | 2023 | 0 |
| Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning.
|
AAMAS | 2022 | 4 |
| Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract).
|
SOCS | 2022 | 0 |
| An ASP Semantics for Constraints Involving Conditional Aggregates.
|
ECAI | 2020 | 10 |
| A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
|
KR | 2020 | 11 |
| Implementing Dynamic Answer Set Programming over Finite Traces.
|
ECAI | 2020 | 0 |
| On the Integration of CP-nets in ASPRIN.
|
IJCAI | 2019 | 1 |
| Lower Bound Founded Logic of Here-and-There.
|
JELIA | 2019 | 2 |
| Generalized Target Assignment and Path Finding Using Answer Set Programming.
|
SOCS | 2019 | 0 |
| Gelfond-Zhang aggregates as propositional formulas.
|
Artificial Intelligence | 2019 | 0 |
| ASP-Based Time-Bounded Planning for Logistics Robots.
|
ICAPS | 2018 | 18 |
| Introducing Temporal Stable Models for Linear Dynamic Logic.
|
KR | 2018 | 16 |
| Preference Relations by Approximation.
|
KR | 2018 | 7 |
| Evaluation Techniques and Systems for Answer Set Programming: a Survey.
|
IJCAI | 2018 | 76 |
| AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract).
|
IJCAI | 2017 | 8 |
| Automatic construction of parallel portfolios via algorithm configuration.
|
Artificial Intelligence | 2017 | 36 |
| Generalized Target Assignment and Path Finding Using Answer Set Programming.
|
IJCAI | 2017 | 91 |
| A Minimization-Based Approach to Iterated Multi-Agent Belief Change.
|
ECAI | 2016 | 1 |
| ASP for Anytime Dynamic Programming on Tree Decompositions.
|
IJCAI | 2016 | 13 |
| Knowledge-Based Sequence Mining with ASP.
|
IJCAI | 2016 | 32 |
| Solving Goal Recognition Design Using ASP.
|
AAAI | 2016 | 28 |
| Writing Declarative Specifications for Clauses.
|
JELIA | 2016 | 7 |
| An ASP Semantics for Default Reasoning with Constraints.
|
IJCAI | 2016 | 27 |
| What's Hot in the SAT and ASP Competitions.
|
AAAI | 2015 | 8 |
| AutoFolio: An Automatically Configured Algorithm Selector.
|
JAIR | 2015 | 149 |
| asprin: Customizing Answer Set Preferences without a Headache.
|
AAAI | 2015 | 129 |
| Advanced Conflict-Driven Disjunctive Answer Set Solving.
|
IJCAI | 2013 | 52 |
| Domain-Specific Heuristics in Answer Set Programming.
|
AAAI | 2013 | 78 |
| Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning.
|
CP | 2013 | 0 |
| 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 |
| Merging Logic Programs under Answer Set Semantics.
|
ICLP | 2009 | 23 |
| On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
|
ICLP | 2009 | 40 |
| Metabolic Network Expansion with Answer Set Programming.
|
ICLP | 2009 | 52 |
| Here's the Beef: Answer Set Programming !
|
ICLP | 2008 | 2 |
| 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 |
| Belief Revision of Logic Programs under Answer Set Semantics.
|
KR | 2008 | 14 |
| 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 |
| Belief Change Based on Global Minimisation.
|
IJCAI | 2007 | 0 |
| Tableau Calculi for Answer Set Programming.
|
ICLP | 2006 | 53 |
| Modelling Biological Networks by Action Languages Via Answer Set Programming.
|
ICLP | 2006 | 18 |
| On Probing and Multi-Threading in Platypus.
|
ECAI | 2006 | 10 |
| What's a Head Without a Body?
|
ECAI | 2006 | 14 |
| The nomore++ Approach to Answer Set Solving.
|
LPAR | 2005 | 38 |
| Two Approaches to Merging Knowledge Bases.
|
JELIA | 2004 | 7 |
| Domain-Specific Preferences for Causal Reasoning and Planning.
|
ICAPS | 2004 | 20 |
| Profiling Answer Set Programming: The Visualization Component of the noMoRe System.
|
JELIA | 2004 | 7 |
| Domain-Specific Preferences for Causal Reasoning and Planning.
|
KR | 2004 | 0 |
| A consistency-based approach for belief change.
|
Artificial Intelligence | 2003 | 62 |
| A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.
|
ICLP | 2002 | 40 |
| Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
|
JELIA | 2002 | 18 |
| COBA: A Consistency-Based Belief Revision System.
|
JELIA | 2002 | 6 |
| A Comparative Study of Logic Programs with Preference.
|
IJCAI | 2001 | 0 |
| A Compilation of Brewka and Eiter's Approach to Prioritization.
|
JELIA | 2000 | 12 |
| Significant Inferences : Preliminary Report.
|
KR | 2000 | 3 |
| Logic Programs with Compiled Preferences.
|
ECAI | 2000 | 55 |
| Expressing preferences in default logic.
|
Artificial Intelligence | 2000 | 77 |
| Alternative foundations for Reiter's default logic.
|
Artificial Intelligence | 2000 | 13 |
| An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.
|
JELIA | 1998 | 8 |
| Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.
|
Artificial Intelligence | 1998 | 5 |
| Compiling Reasoning with and about Preferences into Default Logic.
|
IJCAI | 1997 | 40 |
| Compiling Specificity Into Approaches to Nonmonotonic Reasoning.
|
Artificial Intelligence | 1997 | 16 |
| Circumscribing Inconsistency.
|
IJCAI | 1997 | 20 |
| A Simple Signed System for Paraconsistent Reasoning.
|
JELIA | 1996 | 6 |
| Prolog Technology for Default Reasoning (An Abridged Report).
|
ECAI | 1996 | 12 |
| XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
|
CADE | 1996 | 10 |
| A General Approach to Specificity in Default Reasoning.
|
KR | 1994 | 41 |
| Alternative Approaches to Default Logic.
|
Artificial Intelligence | 1994 | 118 |
| A Context-Based Framework for Default Logics.
|
AAAI | 1993 | 7 |
| Minimal Belief and Negation as Failure: A Feasible Approach.
|
AAAI | 1993 | 10 |
| On Constrained Default Theories.
|
ECAI | 1992 | 77 |
| Assertional Default Theories: A Semantical View.
|
KR | 1991 | 20 |