Torsten Schaub

Name Venue Year citations
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA 2023 0
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA 2023 0
Past-Present Temporal Programs over Finite Traces. JELIA 2023 0
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS 2023 0
A general framework for preferences in answer set programming. Artificial Intelligence 2023 0
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS 2022 0
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS 2022 1
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI 2020 6
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI 2020 4
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR 2020 6
Lower Bound Founded Logic of Here-and-There. JELIA 2019 2
On the Integration of CP-nets in ASPRIN. IJCAI 2019 0
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 17
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018 51
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018 14
Preference Relations by Approximation. KR 2018 5
Automatic construction of parallel portfolios via algorithm configuration. Artificial Intelligence 2017 27
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017 8
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017 55
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. ECAI 2016 0
Solving Goal Recognition Design Using ASP. AAAI 2016 23
Knowledge-Based Sequence Mining with ASP. IJCAI 2016 22
Writing Declarative Specifications for Clauses. JELIA 2016 8
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016 16
ASP for Anytime Dynamic Programming on Tree Decompositions. IJCAI 2016 10
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015 97
AutoFolio: An Automatically Configured Algorithm Selector. JAIR 2015 115
What's Hot in the SAT and ASP Competitions. AAAI 2015 8
Domain-Specific Heuristics in Answer Set Programming. AAAI 2013 63
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013 49
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 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
Merging Logic Programs under Answer Set Semantics. ICLP 2009 21
Metabolic Network Expansion with Answer Set Programming. ICLP 2009 51
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
Here's the Beef: Answer Set Programming ! ICLP 2008 5
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
Belief Revision of Logic Programs under Answer Set Semantics. KR 2008 0
Conflict-Driven Answer Set Solving. IJCAI 2007 403
Generic Tableaux for Answer Set Programming. ICLP 2007 12
Belief Change Based on Global Minimisation. IJCAI 2007 0
Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006 17
On Probing and Multi-Threading in Platypus. ECAI 2006 10
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
Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004 20
Two Approaches to Merging Knowledge Bases. JELIA 2004 7
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 60
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP 2002 43
COBA: A Consistency-Based Belief Revision System. JELIA 2002 6
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002 16
A Comparative Study of Logic Programs with Preference. IJCAI 2001 0
Logic Programs with Compiled Preferences. ECAI 2000 66
Alternative foundations for Reiter's default logic. Artificial Intelligence 2000 13
Significant Inferences : Preliminary Report. KR 2000 3
A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000 15
Expressing preferences in default logic. Artificial Intelligence 2000 75
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artificial Intelligence 1998 4
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998 10
Circumscribing Inconsistency. IJCAI 1997 16
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artificial Intelligence 1997 16
Compiling Reasoning with and about Preferences into Default Logic. IJCAI 1997 36
Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996 1
A Simple Signed System for Paraconsistent Reasoning. JELIA 1996 6
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 115
Minimal Belief and Negation as Failure: A Feasible Approach. AAAI 1993 9
A Context-Based Framework for Default Logics. AAAI 1993 7
On Constrained Default Theories. ECAI 1992 76
Assertional Default Theories: A Semantical View. KR 1991 20
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ