Torsten Schaub

77 publications

14 venues

H Index24

Name Venue Year Citations
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002 11
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artificial Intelligence 1998 0
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. ECAI 2016 0
On Constrained Default Theories. ECAI 1992 39
Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012 39
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP 2002 25
Tableau Calculi for Answer Set Programming. ICLP 2006 33
Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009 34
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018 22
Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 2012 242
Automatic construction of parallel portfolios via algorithm configuration. Artificial Intelligence 2017 7
A General Approach to Specificity in Default Reasoning. KR 1994 17
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017 3
Lower Bound Founded Logic of Here-and-There. JELIA 2019 0
Gelfond-Zhang aggregates as propositional formulas. Artificial Intelligence 2019 0
Minimal Belief and Negation as Failure: A Feasible Approach. AAAI 1993 6
On the Integration of CP-nets in ASPRIN. IJCAI 2019 0
ASP for Anytime Dynamic Programming on Tree Decompositions. IJCAI 2016 7
The nomore++ Approach to Answer Set Solving. LPAR 2005 26
Here's the Beef: Answer Set Programming ! ICLP 2008 5
A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000 10
Conflict-Driven Disjunctive Answer Set Solving. KR 2008 69
Engineering an Incremental ASP Solver. ICLP 2008 104
Advanced Preprocessing for Answer Set Solving. ECAI 2008 21
A consistency-based approach for belief change. Artificial Intelligence 2003 46
Metabolic Network Expansion with Answer Set Programming. ICLP 2009 39
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. CP 2013 0
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015 51
Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996 0
Finite Model Computation via Answer Set Programming. IJCAI 2011 2
COBA: A Consistency-Based Belief Revision System. JELIA 2002 5
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008 16
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996 4
Significant Inferences : Preliminary Report. KR 2000 2
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017 19
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018 4
Merging Logic Programs under Answer Set Semantics. ICLP 2009 11
Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006 13
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018 7
Constraint Answer Set Solving. ICLP 2009 104
Expressing preferences in default logic. Artificial Intelligence 2000 47
What's Hot in the SAT and ASP Competitions. AAAI 2015 6
Preference Relations by Approximation. KR 2018 1
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008 60
A Simple Signed System for Paraconsistent Reasoning. JELIA 1996 3
Belief Change Based on Global Minimisation. IJCAI 2007 7
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artificial Intelligence 1997 8
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016 11
Alternative Approaches to Default Logic. Artificial Intelligence 1994 62
Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004 5
Coala: A Compiler from Action Languages to ASP. JELIA 2010 28
Domain-Specific Heuristics in Answer Set Programming. AAAI 2013 38
Writing Declarative Specifications for Clauses. JELIA 2016 6
AutoFolio: An Automatically Configured Algorithm Selector. JAIR 2015 54
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009 21
Solving Goal Recognition Design Using ASP. AAAI 2016 12
On Probing and Multi-Threading in Platypus. ECAI 2006 8
Alternative foundations for Reiter's default logic. Artificial Intelligence 2000 8
Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004 18
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010 59
A Context-Based Framework for Default Logics. AAAI 1993 4
Compiling Reasoning with and about Preferences into Default Logic. IJCAI 1997 27
Logic Programs with Compiled Preferences. ECAI 2000 50
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013 35
Knowledge-Based Sequence Mining with ASP. IJCAI 2016 9
Circumscribing Inconsistency. IJCAI 1997 9
What's a Head Without a Body? ECAI 2006 7
Generic Tableaux for Answer Set Programming. ICLP 2007 4
Two Approaches to Merging Knowledge Bases. JELIA 2004 6
Assertional Default Theories: A Semantical View. KR 1991 10
Conflict-Driven Answer Set Solving. IJCAI 2007 311
An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010 1
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998 4
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019 0
A Comparative Study of Logic Programs with Preference. IJCAI 2001 0
Belief Revision of Logic Programs under Answer Set Semantics. KR 2008 0
Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004 0
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ