Torsten Schaub

81 publications

15 venues

H Index 30

Name Venue Year citations
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS 2022 0
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI 2020 3
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI 2020 5
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR 2020 6
On the Integration of CP-nets in ASPRIN. IJCAI 2019 0
Lower Bound Founded Logic of Here-and-There. JELIA 2019 2
Gelfond-Zhang aggregates as propositional formulas. Artificial Intelligence 2019 1
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019 0
Preference Relations by Approximation. KR 2018 3
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018 17
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018 44
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018 13
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017 39
Automatic construction of parallel portfolios via algorithm configuration. Artificial Intelligence 2017 26
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017 8
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. ECAI 2016 0
ASP for Anytime Dynamic Programming on Tree Decompositions. IJCAI 2016 9
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016 16
Knowledge-Based Sequence Mining with ASP. IJCAI 2016 21
Solving Goal Recognition Design Using ASP. AAAI 2016 22
Writing Declarative Specifications for Clauses. JELIA 2016 6
AutoFolio: An Automatically Configured Algorithm Selector. JAIR 2015 94
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015 84
What's Hot in the SAT and ASP Competitions. AAAI 2015 7
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. CP 2013 0
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013 46
Domain-Specific Heuristics in Answer Set Programming. AAAI 2013 57
Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012 61
Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 2012 346
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 85
An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010 9
Metabolic Network Expansion with Answer Set Programming. ICLP 2009 50
Constraint Answer Set Solving. ICLP 2009 140
Merging Logic Programs under Answer Set Semantics. ICLP 2009 20
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009 34
Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009 64
Conflict-Driven Disjunctive Answer Set Solving. KR 2008 94
Advanced Preprocessing for Answer Set Solving. ECAI 2008 30
Here's the Beef: Answer Set Programming ! ICLP 2008 5
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008 95
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008 72
Engineering an Incremental ASP Solver. ICLP 2008 143
Belief Revision of Logic Programs under Answer Set Semantics. KR 2008 0
Conflict-Driven Answer Set Solving. IJCAI 2007 394
Generic Tableaux for Answer Set Programming. ICLP 2007 11
Belief Change Based on Global Minimisation. IJCAI 2007 596
What's a Head Without a Body? ECAI 2006 14
On Probing and Multi-Threading in Platypus. ECAI 2006 10
Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006 17
Tableau Calculi for Answer Set Programming. ICLP 2006 49
The nomore++ Approach to Answer Set Solving. LPAR 2005 39
Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004 21
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 59
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002 16
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
A Comparative Study of Logic Programs with Preference. IJCAI 2001 0
A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000 15
Logic Programs with Compiled Preferences. ECAI 2000 67
Alternative foundations for Reiter's default logic. Artificial Intelligence 2000 13
Expressing preferences in default logic. Artificial Intelligence 2000 73
Significant Inferences : Preliminary Report. KR 2000 3
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artificial Intelligence 1998 3
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998 10
Circumscribing Inconsistency. IJCAI 1997 17
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artificial Intelligence 1997 16
Compiling Reasoning with and about Preferences into Default Logic. IJCAI 1997 36
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
Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996 2
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 73
Assertional Default Theories: A Semantical View. KR 1991 20
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ