Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Torsten Schaub
2010 – today
- 2013
[j47]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: A Model-Theoretic Approach to Belief Change in Answer Set Programming. ACM Trans. Comput. Log. 14(2): 14 (2013)- [j46]Martin Gebser, Torsten Schaub: Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Trans. Comput. Log. 14(2): 15 (2013)
- [c138]Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko: Domain-Specific Heuristics in Answer Set Programming. AAAI 2013
- [c137]Torsten Schaub: Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. CP 2013: 3-4
- [c136]Roberto Bisiani, Davide Merico, Stefano Pinardi, Matteo Dominoni, Amedeo Cesta, Andrea Orlandini, Riccardo Rasconi, Marco Suriano, Alessandro Umbrico, Orkunt Sabuncu, Torsten Schaub, Daniela D'Aloisi, Raffaele Nicolussi, Filomena Papa, Vassilis Bouglas, Giannis Giakas, Thanassis Kavatzikidis, Silvio Bonfiglio: Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System. IEA/AIE 2013: 33-42
- [c135]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013
- [c134]Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß: A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46
- [i18]Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub: Answer Set Programming for Stream Reasoning. CoRR abs/1301.1392 (2013)
- [i17]Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam: ROSoClingo: A ROS package for ASP-based robot control. CoRR abs/1307.7398 (2013)
- 2012
- [b4]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2012
- [j45]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012)
- [j44]
- [j43]
- [j42]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Multi-threaded ASP solving with clasp. TPLP 12(4-5): 525-545 (2012)
- [c133]Martin Gebser, Roland Kaufmann, Torsten Schaub: Gearing Up for Effective ASP Planning. Correct Reasoning 2012: 296-310
- [c132]
- [c131]Holger Hoos, Roland Kaminski, Torsten Schaub, Marius Thomas Schneider: aspeed: ASP-based Solver Scheduling. ICLP (Technical Communications) 2012: 176-187
- [c130]Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub: Unsatisfiability-based optimization in clasp. ICLP (Technical Communications) 2012: 211-221
- [c129]Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub: Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012
- [i16]
- [i15]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Multi-threaded ASP Solving with clasp. CoRR abs/1210.3265 (2012)
- 2011
- [j41]Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider: Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2): 107-124 (2011)
- [j40]Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An incremental answer set programming based system for finite model computation. AI Commun. 24(2): 195-212 (2011)
- [j39]Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani: Knowledge-based multi-criteria optimization to support indoor positioning. Ann. Math. Artif. Intell. 62(3-4): 345-370 (2011)
- [j38]Maximilian Möller, Marius Thomas Schneider, Martin Wegner, Torsten Schaub: Centurio, a General Game Player: Parallel, Java- and ASP-based. KI 25(1): 17-24 (2011)
- [j37]Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2-3): 323-360 (2011)
- [j36]Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler: Automatic network reconstruction using ASP. TPLP 11(4-5): 749-766 (2011)
- [j35]Martin Gebser, Roland Kaminski, Torsten Schaub: Complex optimization in answer set programming. TPLP 11(4-5): 821-839 (2011)
- [c128]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90
- [c127]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10
- [c126]Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou: Evolution of Ontologies using ASP. ICLP (Technical Communications) 2011: 16-27
- [c125]Martin Gebser, Orkunt Sabuncu, Torsten Schaub: Finite Model Computation via Answer Set Programming. IJCAI 2011: 2626-2631
- [c124]Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub: Reactive Answer Set Programming. LPNMR 2011: 54-66
- [c123]Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub: Advances in gringo Series 3. LPNMR 2011: 345-351
- [c122]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller: A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR 2011: 352-357
- [c121]Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub: plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363
- [c120]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369
- [c119]Martin Gebser, Roland Kaminski, Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. LoCoCo 2011: 12-25
- [i14]Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler: Automatic Network Reconstruction using ASP. CoRR abs/1107.5671 (2011)
- [i13]Martin Gebser, Roland Kaminski, Torsten Schaub: Complex Optimization in Answer Set Programming. CoRR abs/1107.5742 (2011)
- 2010
- [j34]Torsten Schaub, Anne Siegel: Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. ERCIM News 2010(82): 30 (2010)
- [j33]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th international conference on logic programming special issue. TPLP 10(4-6): 361-364 (2010)
- [c118]Manuel V. Hermenegildo, Torsten Schaub: Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010
- [c117]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010
- [c116]Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389
- [c115]Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010: 169-181
- [c114]Martin Gebser, Torsten Grote, Torsten Schaub: Coala: A Compiler from Action Languages to ASP. JELIA 2010: 360-364
- [c113]Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber: Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010
- [c112]Torsten Schaub: Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. SUM 2010: 2
- [e5]Manuel V. Hermenegildo, Torsten Schaub (Eds.): Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010, ISBN 978-3-939897-17-0
- [i12]Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution. CoRR abs/1005.1716 (2010)
- [i11]Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR abs/1007.0134 (2010)
- [i10]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR abs/1008.1710 (2010)
2000 – 2009
- 2009
- [j32]Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp. 2009 (2009)
- [j31]Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub: Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009)
- [c111]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86
- [c110]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Merging Logic Programs under Answer Set Semantics. ICLP 2009: 160-174
- [c109]
- [c108]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
- [c107]Torsten Schaub, Sven Thiele: Metabolic Network Expansion with Answer Set Programming. ICLP 2009: 312-326
- [c106]Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495
- [c105]Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
- [c104]Martin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514
- [c103]Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR 2009: 598-603
- [c102]Torsten Schaub: Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. LPNMR 2009: 631-633
- [c101]Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI 2009: 64-72
- [e4]Esra Erdem, Fangzhen Lin, Torsten Schaub (Eds.): Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Lecture Notes in Computer Science 5753, Springer 2009, ISBN 978-3-642-04237-9
- [i9]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: A general approach to belief change in answer set programming. CoRR abs/0912.5511 (2009)
- 2008
- [j30]Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig: Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints 13(1-2): 21-65 (2008)
- [c100]Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
- [c99]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
- [c98]Torsten Schaub: Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. FLOPS 2008: 1-2
- [c97]Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41
- [c96]
- [c95]Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144
- [c94]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
- [c93]Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber: The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) 2008: 11-18
- [c92]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Belief Revision of Logic Programs under Answer Set Semantics. KR 2008: 411-421
- [c91]Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432
- 2007
- [j29]James P. Delgrande, Torsten Schaub: A consistency-based framework for merging knowledge bases. J. Applied Logic 5(3): 459-477 (2007)
- [j28]James P. Delgrande, Torsten Schaub, Hans Tompits: A General Framework for Expressing Preferences in Causal Reasoning and Planning. J. Log. Comput. 17(5): 871-907 (2007)
- [c90]James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90
- [c89]Alessandra Mileo, Torsten Schaub: Qualitative Constraint Enforcement in Advanced Policy Specification. ECSQARU 2007: 695-706
- [c88]
- [c87]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
- [c86]James P. Delgrande, Jérôme Lang, Torsten Schaub: Belief Change Based on Global Minimisation. IJCAI 2007: 2468-2473
- [c85]Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17
- [c84]Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43
- [c83]James P. Delgrande, Torsten Schaub, Hans Tompits: A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83
- [c82]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
- [c81]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265
- [c80]Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
- [c79]Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007
- [c78]Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP 2007: 247-252
- 2006
- [j27]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. TPLP 6(1-2): 61-106 (2006)
- [c77]Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396
- [c76]Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770
- [c75]
- [c74]Susanne Grell, Torsten Schaub, Joachim Selbig: Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006: 285-299
- [c73]
- 2005
- [j26]Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub: A Glimpse of Answer Set Programming. KI 19(1): 12- (2005)
- [j25]James P. Delgrande, Torsten Schaub: Expressing Default Logic Variants in Default Logic. J. Log. Comput. 15(5): 593-621 (2005)
- [c72]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
- [c71]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub: Introduction to Inconsistency Tolerance. Inconsistency Tolerance 2005: 1-14
- [c70]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118
- [c69]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
- [c68]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens: 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
- [c67]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
- [c66]
- [c65]Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: Platypus: A Platform for Distributed Answer Set Solving. LPNMR 2005: 227-239
- [c64]Susanne Grell, Kathrin Konczak, Torsten Schaub: nomore<: A System for Computing Preferred Answer Sets. LPNMR 2005: 394-398
- [c63]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
- [e3]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub (Eds.): Inconsistency Tolerance [result from a Dagstuhl seminar]. Lecture Notes in Computer Science 3300, Springer 2005, ISBN 3-540-24260-0
- [e2]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (Eds.): Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Dagstuhl Seminar Proceedings 05171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
- [i8]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. CoRR abs/cs/0502082 (2005)
- 2004
- [j24]André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig: Threshold extraction in metabolite concentration data. Bioinformatics 20(10): 1491-1494 (2004)
- [j23]James P. Delgrande, Torsten Schaub: Reasoning with Sets of Defaults in Default Logic. Computational Intelligence 20(1): 56-88 (2004)
- [j22]James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang: A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence 20(2): 308-334 (2004)
- [j21]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Belief Change Operations using Quantified Boolean Formulas. J. Log. Comput. 14(6): 801-826 (2004)
- [c62]James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004: 63-72
- [c61]
- [c60]Andreas Bösel, Thomas Linke, Torsten Schaub: Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705
- [c59]James P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004: 673-682
- [c58]Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. LPNMR 2004: 3-7
- [c57]Kathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140
- [c56]Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: nlp: A Compiler for Nested Logic Programming. LPNMR 2004: 361-364
- [c55]James P. Delgrande, Torsten Schaub: Consistency-based approaches to merging knowledge bases: preliminary report. NMR 2004: 126-133
- [e1]James P. Delgrande, Torsten Schaub (Eds.): 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. 2004, ISBN 92-990021-0-X
- 2003
- [j20]James P. Delgrande, Torsten Schaub: A consistency-based approach for belief change. Artif. Intell. 151(1-2): 1-41 (2003)
- [j19]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform. 57(2-4): 393-421 (2003)
- [j18]Philippe Besnard, Gisbert Fanselow, Torsten Schaub: Optimality Theory as a Family of Cumulative Logics. Journal of Logic, Language and Information 12(2): 153-182 (2003)
- [j17]James P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs. TPLP 3(2): 129-187 (2003)
- [j16]Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. TPLP 3(4-5): 569-607 (2003)
- [c54]James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub: Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003
- [c53]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003
- [c52]Kathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003
- [c51]James P. Delgrande, Torsten Schaub: On the Relation between Reiter's Default Logic and Its (Major). ECSQARU 2003: 452-463
- [c50]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539
- [c49]André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig: Threshold extraction in metabolite concentration data. German Conference on Bioinformatics 2003: 33-39
- [c48]Philippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality Theory through Default Logic. KI 2003: 93-104
- [i7]Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. CoRR cs.AI/0301023 (2003)
- 2002
- [j15]M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat: AAAI 2002 Workshops. AI Magazine 23(4): 113-121 (2002)
- [j14]James P. Delgrande, Torsten Schaub: Reasoning Credulously and skeptically within a single extension. Journal of Applied Non-Classical Logics 12(2): 259-285 (2002)
- [c47]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP 2002: 405-420
- [c46]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331
- [c45]James P. Delgrande, Aaron Hunter, Torsten Schaub: COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512
- [c44]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. NMR 2002: 57-66
- [c43]Philippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality theory through default logic. NMR 2002: 77-83
- [c42]Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246
- [c41]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15
- [i6]James P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs. CoRR cs.AI/0203005 (2002)
- [i5]Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR cs.AI/0207060 (2002)
- [i4]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. CoRR cs.AI/0207071 (2002)
- 2001
- [c40]Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001
- [c39]Torsten Schaub: What's Your Preference? And How to Express and Implement It in Logic Programming! ECSQARU 2001: 17
- [c38]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Solutions to Belief Change Scenarios. ECSQARU 2001: 510-521
- [c37]James P. Delgrande, Torsten Schaub: How to Reason Credulously and Skeptically within a Single Extension. ECSQARU 2001: 592-603
- [c36]Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602
- [c35]James P. Delgrande, Torsten Schaub, Hans Tompits: plp: A Generic Compiler for Ordered Logic Programs. LPNMR 2001: 411-415
- 2000
- [j13]James P. Delgrande, Torsten Schaub: Expressing preferences in default logic. Artif. Intell. 123(1-2): 41-87 (2000)
- [j12]Thomas Linke, Torsten Schaub: Alternative foundations for Reiter's default logic. Artif. Intell. 124(1): 31-86 (2000)
- [j11]Philippe Besnard, Torsten Schaub: What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000)
- [c34]James P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report. AAAI/IAAI 2000: 392-398
- [c33]Stefan Brüning, Torsten Schaub: A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66
- [c32]James P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences. ECAI 2000: 464-468
- [c31]James P. Delgrande, Torsten Schaub, Hans Tompits: A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390
- [c30]
- [i3]James P. Delgrande, Torsten Schaub, Hans Tompits: A Compiler for Ordered Logic Programs. CoRR cs.AI/0003024 (2000)
- [i2]James P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences. CoRR cs.AI/0003028 (2000)
- [i1]James P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report. CoRR cs.AI/0003052 (2000)
1990 – 1999
- 1999
- [c29]Farid Benhammadi, Pascal Nicolas, Torsten Schaub: Query-Answering in Prioritized Default Logic. ESCQARU 1999: 32-42
- [c28]
- [c27]Thomas Linke, Torsten Schaub: On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU 1999: 268-278
- [c26]
- 1998
- [b3]Torsten Schaub: The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation. Lecture Notes in Computer Science 1409, Springer 1998, ISBN 3-540-64515-2
- [j10]Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell. 106(1): 1-75 (1998)
- [j9]Philippe Besnard, Torsten Schaub: Signed Systems for Paraconsistent Reasoning. J. Autom. Reasoning 20(1): 191-213 (1998)
- [c25]Farid Benhammadi, Pascal Nicolas, Torsten Schaub: Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA 1998: 76-87
- [c24]Pascal Nicolas, Torsten Schaub: The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms 1998: 354-378
- [c23]Thomas Linke, Torsten Schaub: An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247
- [c22]James P. Delgrande, Torsten Schaub: Reasoning with Sets of Preferences in Default Logic. PRICAI 1998: 134-145
- 1997
- [j8]James P. Delgrande, Torsten Schaub: Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artif. Intell. 90(1-2): 301-348 (1997)
- [j7]Thomas Linke, Torsten Schaub: Towards a classification of Default Logics. Journal of Applied Non-Classical Logics 7(4): 397-451 (1997)
- [c21]
- [c20]James P. Delgrande, Torsten Schaub: Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175
- [c19]Torsten Schaub, Pascal Nicolas: An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS 1997: 197-206
- [c18]Torsten Schaub, Pascal Nicolas: An Implementation Platform for Query-Answering: X-RAY. LPNMR 1997: 442-453
- 1996
- [c17]Torsten Schaub, Stefan Brüning, Pascal Nicolas: XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297
- [c16]Torsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996: 105-109
- [c15]Torsten Schaub, Michael Thielscher: Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581
- [c14]
- [c13]Philippe Besnard, Torsten Schaub: A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416
- [c12]
- 1995
- [j6]Philippe Besnard, Torsten Schaub: An Approach to Context-Based Default Reasoning. Fundam. Inform. 23(2/3/4): 175-223 (1995)
- [j5]Michael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. J. Autom. Reasoning 15(1): 1-40 (1995)
- [j4]Torsten Schaub: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. J. Autom. Reasoning 15(1): 95-165 (1995)
- [j3]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe: Ist die Wissensrepräsentation tot? KI 9(5): 18-26 (1995)
- [c11]Thomas Linke, Torsten Schaub: Lemma Handling in Default Logic Theorem Provers. ECSQARU 1995: 285-292
- 1994
- [j2]James P. Delgrande, Torsten Schaub, W. Ken Jackson: Alternative Approaches to Default Logic. Artif. Intell. 70(1-2): 167-237 (1994)
- [j1]Philippe Besnard, Torsten Schaub: Possible Worlds Semantics for Default Logics. Fundam. Inform. 21(1/2): 39-66 (1994)
- [c10]Stefan Brüning, Torsten Schaub: Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. IPMU 1994: 389-398
- [c9]
- [c8]James P. Delgrande, Torsten Schaub: Incorporating Specificity into Circumscriptive Theories. KI 1994: 272-283
- [c7]James P. Delgrande, Torsten Schaub: A General Approach to Specificity in Default Reasoning. KR 1994: 146-157
- 1993
- [b2]Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub: Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Artificial Intelligence, Vieweg 1993, ISBN 978-3-528-05374-1, pp. 1-387
- [c6]Antje Beringer, Torsten Schaub: Minimal Belief and Negation as Failure: A Feasible Approach. AAAI 1993: 400-405
- [c5]
- [c4]
- 1992
- [b1]Torsten Schaub: Considerations on default logics. TH Darmstadt 1992, pp. 1-159
- [c3]
- 1991
- [c2]
- [c1]
Coauthor Index
[j46] [c138] [c135] [c134] [i18] [b4] [j45] [j42] [c133] [c129] [i15] [j41] [j40] [j37] [j35] [c128] [c127] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [i13] [c116] [c115] [c114] [c113] [i12] [i11] [j32] [j31] [c111] [c109] [c108] [c106] [c105] [c104] [c103] [c101] [c100] [c99] [c97] [c95] [c94] [c91] [c88] [c87] [c85] [c84] [c82] [c81] [c80] [c79] [c78] [c76] [c75] [c72] [c67] [c66] [c63]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:13 CEST by the dblp team