Torsten Schaub Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, Torsten Schaub: Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Préface. Revue d'Intelligence Artificielle 26(1-2): 7 (2012)
2011
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou: Evolution of Ontologies using ASP. ICLP (Technical Communications) 2011: 16-27
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Orkunt Sabuncu, Torsten Schaub: Finite Model Computation via Answer Set Programming. IJCAI 2011: 2626-2631
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Arne König, Torsten Schaub: Advances in gringo Series 3. LPNMR 2011: 345-351
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub: plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub: Reactive Answer Set Programming. LPNMR 2011: 54-66
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming LoCoCo 2011: 12-25
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Orkunt Sabuncu, Torsten Schaub: An incremental answer set programming based system for finite model computation. AI Commun. 24(2): 195-212 (2011)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra 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)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler: Automatic Network Reconstruction using ASP CoRR abs/1107.5671: (2011)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Torsten Schaub: Complex Optimization in Answer Set Programming CoRR abs/1107.5742: (2011)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaximilian 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)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2-3): 323-360 (2011)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler: Automatic network reconstruction using ASP. TPLP 11(4-5): 749-766 (2011)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Torsten Schaub: Complex optimization in answer set programming. TPLP 11(4-5): 821-839 (2011)
2010
172no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Torsten Schaub: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Torsten Schaub: Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Torsten Schaub: Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Orkunt Sabuncu, Torsten Schaub: An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010: 169-181
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Grote, Torsten Schaub: Coala: A Compiler from Action Languages to ASP. JELIA 2010: 360-364
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. SUM 2010: 2
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution CoRR abs/1005.1716: (2010)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming CoRR abs/1007.0134: (2010)
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th International Conference on Logic Programming Special Issue CoRR abs/1008.1710: (2010)
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Anne Siegel: Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. ERCIM News 2010(82): 30 (2010)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th international conference on logic programming special issue. TPLP 10(4-6): 361-364 (2010)
2009
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEsra Erdem, Fangzhen Lin, Torsten Schaub: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings Springer 2009
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Merging Logic Programs under Answer Set Semantics. ICLP 2009: 160-174
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Max Ostrowski, Torsten Schaub: Constraint Answer Set Solving. ICLP 2009: 235-249
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Sven Thiele: Metabolic Network Expansion with Answer Set Programming. ICLP 2009: 312-326
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold 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
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. LPNMR 2009: 631-633
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars 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
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: A general approach to belief change in answer set programming CoRR abs/0912.5511: (2009)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold 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)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub: Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009)
2008
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. FLOPS 2008: 1-2
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Here's the Beef: Answer Set Programming ! ICLP 2008: 93-98
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve 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
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: Belief Revision of Logic Programs under Answer Set Semantics. KR 2008: 411-421
135no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve 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)
2007
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Mileo, Torsten Schaub: Qualitative Constraint Enforcement in Advanced Policy Specification. ECSQARU 2007: 695-706
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub: Generic Tableaux for Answer Set Programming. ICLP 2007: 119-133
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Jérôme Lang, Torsten Schaub: Belief Change Based on Global Minimisation. IJCAI 2007: 2468-2473
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: A consistency-based framework for merging knowledge bases. J. Applied Logic 5(3): 459-477 (2007)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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)
2006
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub: Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Grell, Torsten Schaub, Joachim Selbig: Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006: 285-299
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Tableaux Calculi for Answer Set Programming. WLP 2006: 1-11
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming. TPLP 6(1-2): 61-106 (2006)
2005
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeopoldo E. Bertossi, Anthony Hunter, Torsten Schaub: Inconsistency Tolerance [result from a Dagstuhl seminar] Springer 2005
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeopoldo E. Bertossi, Anthony Hunter, Torsten Schaub: Introduction to Inconsistency Tolerance. Inconsistency Tolerance 2005: 1-14
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: Platypus: A Platform for Distributed Answer Set Solving. LPNMR 2005: 227-239
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Grell, Kathrin Konczak, Torsten Schaub: nomore<: A System for Computing Preferred Answer Sets. LPNMR 2005: 394-398
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub: Loops: Relevant or Redundant? LPNMR 2005: 53-65
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard 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
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and colorings for answer set programming CoRR abs/cs/0502082: (2005)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Expressing Default Logic Variants in Default Logic. J. Log. Comput. 15(5): 593-621 (2005)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub: A Glimpse of Answer Set Programming. KI 19(1): 12- (2005)
2004
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings NMR 2004
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004: 63-72
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Two Approaches to Merging Knowledge Bases. JELIA 2004: 426-438
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Bösel, Thomas Linke, Torsten Schaub: Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004: 673-682
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Thomas Linke, Torsten Schaub: Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. LPNMR 2004: 3-7
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran: nlp: A Compiler for Nested Logic Programming. LPNMR 2004: 361-364
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Consistency-based approaches to merging knowledge bases: preliminary report. NMR 2004: 126-133
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig: Threshold extraction in metabolite concentration data. Bioinformatics 20(10): 1491-1494 (2004)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Reasoning with Sets of Defaults in Default Logic. Computational Intelligence 20(1): 56-88 (2004)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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)
2003
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub: Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: On the Relation between Reiter's Default Logic and Its (Major). ECSQARU 2003: 452-463
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig: Threshold extraction in metabolite concentration data. German Conference on Bioinformatics 2003: 33-39
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality Theory through Default Logic. KI 2003: 93-104
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: A consistency-based approach for belief change. Artif. Intell. 151(1-2): 1-41 (2003)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming CoRR cs.AI/0301023: (2003)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Konczak, Torsten Schaub, Thomas Linke: Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Inform. 57(2-4): 393-421 (2003)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Gisbert Fanselow, Torsten Schaub: Optimality Theory as a Family of Cumulative Logics. Journal of Logic, Language and Information 12(2): 153-182 (2003)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs. TPLP 3(2): 129-187 (2003)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. TPLP 3(4-5): 569-607 (2003)
2002
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Aaron Hunter, Torsten Schaub: COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality theory through default logic. NMR 2002: 77-83
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: A Framework for Compiling Preferences in Logic Programs CoRR cs.AI/0203005: (2002)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report CoRR cs.AI/0207060: (2002)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Reasoning Credulously and skeptically within a single extension. Journal of Applied Non-Classical Logics 12(2): 259-285 (2002)
2001
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: What's Your Preference? And How to Express and Implement It in Logic Programming! ECSQARU 2001: 17
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran: On Computing Solutions to Belief Change Scenarios. ECSQARU 2001: 510-521
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: How to Reason Credulously and Skeptically within a Single Extension. ECSQARU 2001: 592-603
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: plp: A Generic Compiler for Ordered Logic Programs. LPNMR 2001: 411-415
2000
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report. AAAI/IAAI 2000: 392-398
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences. ECAI 2000: 464-468
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brüning, Torsten Schaub: A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Significant Inferences : Preliminary Report. KR 2000: 401-410
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Expressing preferences in default logic. Artif. Intell. 123(1-2): 41-87 (2000)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: Alternative foundations for Reiter's default logic. Artif. Intell. 124(1): 31-86 (2000)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: A Compiler for Ordered Logic Programs CoRR cs.AI/0003024: (2000)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, Hans Tompits: Logic Programs with Compiled Preferences CoRR cs.AI/0003028: (2000)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: A Consistency-Based Model for Belief Change: Preliminary Report CoRR cs.AI/0003052: (2000)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000)
1999
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU 1999: 268-278
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarid Benhammadi, Pascal Nicolas, Torsten Schaub: Query-Answering in Prioritized Default Logic. ESCQARU 1999: 32-42
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brüning, Torsten Schaub: Avoiding Non-ground Variables. ESCQARU 1999: 92-103
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: Default Reasoning via Blocking Sets. LPNMR 1999: 247-261
1998
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation. Springer 1998
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarid Benhammadi, Pascal Nicolas, Torsten Schaub: Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA 1998: 76-87
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Nicolas, Torsten Schaub: The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms 1998: 354-378
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Reasoning with Sets of Preferences in Default Logic. PRICAI 1998: 134-145
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell. 106(1): 1-75 (1998)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Signed Systems for Paraconsistent Reasoning. J. Autom. Reasoning 20(1): 191-213 (1998)
1997
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Circumscribing Inconsistency. IJCAI (1) 1997: 150-155
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Pascal Nicolas: An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS 1997: 197-206
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Pascal Nicolas: An Implementation Platform for Query-Answering: X-RAY. LPNMR 1997: 442-453
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artif. Intell. 90(1-2): 301-348 (1997)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: Towards a classification of Default Logics. Journal of Applied Non-Classical Logics 7(4): (1997)
1996
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Stefan Brüning, Pascal Nicolas: XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Stefan Brüning: Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996: 105-109
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Michael Thielscher: Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brüning, Torsten Schaub: A Model-Based Approach to Consistency-Checking. ISMIS 1996: 315-324
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: Putting Default Logics in Perspective. KI 1996: 241-252
1995
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Linke, Torsten Schaub: Lemma Handling in Default Logic Theorem Provers. ECSQARU 1995: 285-292
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: An Approach to Context-Based Default Reasoning. Fundam. Inform. 23(2/3/4): 175-223 (1995)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. J. Autom. Reasoning 15(1): 1-40 (1995)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. J. Autom. Reasoning 15(1): 95-165 (1995)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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)
1994
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brüning, Torsten Schaub: Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. IPMU 1994: 389-398
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Computing Queries from Prioritized Default Theories. ISMIS 1994: 584-593
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: Incorporating Specificity into Circumscriptive Theories. KI 1994: 272-283
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub: A General Approach to Specificity in Default Reasoning. KR 1994: 146-157
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Schaub, W. Ken Jackson: Alternative Approaches to Default Logic. Artif. Intell. 70(1-2): 167-237 (1994)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Possible Worlds Semantics for Default Logics. Fundam. Inform. 21(1/2): 39-66 (1994)
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Steffen Hölldobler, Torsten Schaub: Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Vieweg 1993: 1-387
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntje Beringer, Torsten Schaub: Minimal Belief and Negation as Failure: A Feasible Approach. AAAI 1993: 400-405
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: A Context-Based Framework for Default Logics. AAAI 1993: 406-411
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Variations of Constrained Default Logic. ECSQARU 1993: 310-317
1992
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: On Constrained Default Theories. ECAI 1992: 304-308
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Considerations on default logics. TH Darmstadt 1992: 1-159
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: On Commitment and Cumulativity in Default Logics. ECSQARU 1991: 305-309
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub: Assertional Default Theories: A Semantical View. KR 1991: 496-506

Coauthor Index

1Christian Anger [91] [98] [104] [107] [110] [117]
2Frank D. Anger [64]
3Grigoris Antoniou [190]
4Chitta Baral [64]
5Farid Benhammadi [37] [41]
6Antje Beringer [7]
7Leopoldo E. Bertossi [109] [111]
8Philippe Besnard [6] [9] [18] [21] [31] [32] [43] [49] [65] [66] [70] [74] [78] [80] [108]
9Wolfgang Bibel [8]
10Roberto Bisiani [179]
11M. Brian Blake [64]
12Christophe Bobda [146] [150]
13Paul Borchert [91]
14Andreas Bösel [94]
15Paolo Bouquet [64]
16Martin Brain [122]
17Michael Brenner [64]
18Gerhard Brewka [15] [101] [102] [112]
19Stefan Brüning [14] [22] [24] [25] [33] [40] [51]
20Hans-Jürgen Bürckert [15]
21James P. Delgrande [10] [11] [12] [27] [30] [34] [44] [45] [46] [48] [50] [52] [53] [54] [56] [57] [60] [63] [64] [69] [73] [77] [81] [82] [85] [86] [87] [89] [93] [95] [96] [97] [99] [119] [120] [121] [129] [131] [136] [147] [157]
22Jon Doyle [64]
23Christian Drescher [135] [164]
24Markus Durzinsky [174] [178]
25Steve Dworschak [134] [137]
26Enrico Ellguth [153]
27Esra Erdem [159]
28Rino Falcone [64]
29Gisbert Fanselow [74]
30André Flöter [79] [88]
31Giorgos Flouris [190]
32Ulrich Furbach [15]
33Martin Gebser [103] [104] [107] [110] [116] [117] [122] [123] [124] [125] [126] [127] [128] [130] [133] [135] [139] [140] [141] [143] [144] [145] [146] [148] [150] [151] [152] [153] [155] [156] [158] [163] [164] [166] [167] [168] [169] [173] [175] [177] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [191] [193]
34Mona Gharib [82] [145]
35Piotr J. Gmytrasiewicz [64]
36Carla P. Gomes [64]
37Susanne Grell [105] [115] [134]
38Jean Gressmann [106] [118]
39Torsten Grote [135] [137] [167] [184]
40Hans W. Guesgen (Hans Werner Guesgen) [64]
41Haipeng Guo [64]
42Markus Gusowski [153]
43Carito Guziolowski [166]
44Karen Zita Haigh [64]
45Manuel V. Hermenegildo [160] [162] [170] [171] [172]
46Joachim Hertzberg [15]
47Henry Hexmoor [64]
48Steffen Hölldobler [8]
49Eric Horvitz [64]
50Aaron Hunter [69]
51Anthony Hunter [109] [111]
52Nancy Ide [64]
53Harold Ishebabi [146] [150]
54Mihail Ivanchev [166]
55W. Ken Jackson [10]
56Tomi Janhunen [106] [117] [118]
57Ulrich Junker [64]
58Roland Kaminski [139] [148] [152] [153] [155] [173] [177] [181] [182] [183] [184] [185] [186] [187] [188] [191]
59Benjamin Kaufmann [125] [126] [128] [135] [139] [143] [148] [151] [153] [155] [158] [164] [181] [182] [185] [187] [191] [193]
60Murat Knecht [186]
61Kathrin Konczak [75] [83] [84] [92] [98] [100] [105] [113]
62Arne König [135] [137] [169] [188]
63Antonio Krüger [64]
64Koichi Kurumantani [64]
65Gerhard Lakemeyer [15]
66Jérôme Lang [129]
67Gérard Ligozat (Gerard Ligozat) [64]
68Fangzhen Lin [159]
69Thomas Linke [19] [20] [26] [35] [39] [42] [47] [75] [83] [84] [92] [94] [98] [100] [104] [107] [110] [113]
70Stefan Liske [153]
71Daphne H. Liu [131]
72Lengning Liu [123]
73Philipp Mahr [146] [150]
74Rainer Malaka [64]
75Wolfgang Marwan [174] [178]
76Sheila A. McIlraith [64]
77Robert E. Mercer [66] [78] [82] [106] [118] [145]
78Davide Merico [179]
79Alessandra Mileo [132] [179]
80Maximilian Möller [176]
81Gayathri Namasivayam [123]
82Bernhard Nebel [15]
83André Neumann [104] [107] [110] [123] [125] [126] [128] [143]
84Jacques Nicolas [79] [88]
85Pascal Nicolas [25] [28] [29] [36] [37] [41]
86Ilkka Niemelä [101] [102] [112]
87Victoria J. Nikiforova [134]
88Max Ostrowski [135] [139] [152] [156] [174] [178] [181] [190]
89Simon Parsons [64]
90David Pearce [61] [67] [71]
91Adam Pease [64]
92Jörg Pührer [122] [127] [144]
93Frank Puppe [15]
94Vincent Risch [82]
95Francesca Rossi [64]
96Orkunt Sabuncu [168] [180] [189]
97Vladimir Sarsakov [61] [67] [71] [90]
98Lars Schneidenbach [148] [153]
99Marius Thomas Schneider [176] [181] [187]
100Bettina Schnor [148] [153] [185]
101Joachim Selbig [79] [88] [115] [134]
102Anne Siegel [161] [166]
103Bill Smart [64]
104Leen-Kiat Soh [64]
105Sven Thiele [106] [118] [124] [131] [139] [140] [152] [154] [163] [166] [169] [175]
106Michael Thielscher [17] [23]
107Richard Tichy [106] [118]
108Hans Tompits [45] [46] [50] [52] [54] [57] [61] [63] [65] [67] [70] [71] [73] [80] [85] [86] [90] [93] [96] [108] [119] [121] [122] [127] [133] [136] [141] [144] [147] [157]
109Miroslaw Truszczynski [91] [101] [102] [112] [123]
110Björn Usadel [140]
111Philippe Veber [137] [140] [163] [166] [169] [175]
112Joost Vennekens [102]
113Annegret Wagler (Annegret Katrin Wagler) [174] [178]
114Toby Walsh [64]
115Kewen Wang [55] [59] [62] [68] [72] [76] [86]
116Martin Wegner [176]
117Christopher A. Welty (Chris Welty) [64]
118Stefan Woltran [57] [61] [65] [67] [70] [71] [80] [85] [90] [108] [122] [127] [133] [136] [141] [147] [157]
119Stefan Ziller [187]
120Marie desJardins [64]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page