The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Torsten Schaub: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antje Beringer, Torsten Schaub
    Minimal Belief and Negation as Failure: A Feasible Approach. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:400-405 [Conf]
  2. Philippe Besnard, Torsten Schaub
    A Context-Based Framework for Default Logics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:406-411 [Conf]
  3. James P. Delgrande, Torsten Schaub
    A Consistency-Based Model for Belief Change: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:392-398 [Conf]
  4. Farid Benhammadi, Pascal Nicolas, Torsten Schaub
    Extension Calculus and Query Answering in Prioritized Default Logic. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:76-87 [Conf]
  5. James P. Delgrande, Torsten Schaub, Hans Tompits
    Domain-Specific Preferences for Causal Reasoning and Planning. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:63-72 [Conf]
  6. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    The nomore++ Approach to Answer Set Solving. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  7. James P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub
    Lukaszewicz-style Answer Set Programming: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  8. Kathrin Konczak, Torsten Schaub, Thomas Linke
    Graphs and coloring for answer set programming: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  9. Kathrin Konczak, Torsten Schaub, Thomas Linke
    Graphs and colorings for answer set programming: Abridged Report. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  10. Torsten Schaub, Kewen Wang
    A Comparative Study of Logic Programs with Preference: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  11. Stefan Brüning, Torsten Schaub
    A Connection Calculus for Handling Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:47-66 [Conf]
  12. Torsten Schaub, Stefan Brüning, Pascal Nicolas
    XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:293-297 [Conf]
  13. Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub
    Introduction to Inconsistency Tolerance. [Citation Graph (0, 0)][DBLP]
    Inconsistency Tolerance, 2005, pp:1-14 [Conf]
  14. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Representing Paraconsistent Reasoning via Quantified Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Inconsistency Tolerance, 2005, pp:84-118 [Conf]
  15. Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
    05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  16. Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
    05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005, pp:- [Conf]
  17. Pascal Nicolas, Torsten Schaub
    The XRay system: An implementation platform for local query-answering in default logics. [Citation Graph (0, 0)][DBLP]
    Applications of Uncertainty Formalisms, 1998, pp:354-378 [Conf]
  18. Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
    What's a Head Without a Body? [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:769-770 [Conf]
  19. James P. Delgrande, Torsten Schaub, Hans Tompits
    Logic Programs with Compiled Preferences. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:464-468 [Conf]
  20. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
    On Probing and Multi-Threading in Platypus. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:392-396 [Conf]
  21. Torsten Schaub
    On Constrained Default Theories. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:304-308 [Conf]
  22. Torsten Schaub, Stefan Brüning
    Prolog Technology for Default Reasoning (An Abridged Report). [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:105-109 [Conf]
  23. James P. Delgrande, Torsten Schaub
    How to Reason Credulously and Skeptically within a Single Extension. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:592-603 [Conf]
  24. James P. Delgrande, Torsten Schaub
    On the Relation between Reiter's Default Logic and Its (Major). [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:452-463 [Conf]
  25. Stefan Brüning, Torsten Schaub
    Avoiding Non-ground Variables. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:92-103 [Conf]
  26. Farid Benhammadi, Pascal Nicolas, Torsten Schaub
    Query-Answering in Prioritized Default Logic. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:32-42 [Conf]
  27. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:528-539 [Conf]
  28. James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
    On Computing Solutions to Belief Change Scenarios. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:510-521 [Conf]
  29. Thomas Linke, Torsten Schaub
    Lemma Handling in Default Logic Theorem Provers. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:285-292 [Conf]
  30. Thomas Linke, Torsten Schaub
    On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:268-278 [Conf]
  31. Torsten Schaub
    What's Your Preference? And How to Express and Implement It in Logic Programming! [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:17- [Conf]
  32. Torsten Schaub
    On Commitment and Cumulativity in Default Logics. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:305-309 [Conf]
  33. Torsten Schaub
    Variations of Constrained Default Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:310-317 [Conf]
  34. Torsten Schaub, Michael Thielscher
    Skeptical Query-Answering in Constrained Default Logic. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:567-581 [Conf]
  35. André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig
    Threshold extraction in metabolite concentration data. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 2003, pp:33-39 [Conf]
  36. Martin Gebser, Torsten Schaub
    Tableau Calculi for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:11-25 [Conf]
  37. Susanne Grell, Torsten Schaub, Joachim Selbig
    Modelling Biological Networks by Action Languages Via Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:285-299 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:405-420 [Conf]
  39. Philippe Besnard, Torsten Schaub
    Circumscribing Inconsistency. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:150-155 [Conf]
  40. James P. Delgrande, Torsten Schaub
    Compiling Reasoning with and about Preferences into Default Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:168-175 [Conf]
  41. Torsten Schaub, Kewen Wang
    A Comparative Study of Logic Programs with Preference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:597-602 [Conf]
  42. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
    Conflict-Driven Answer Set Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:386-0 [Conf]
  43. James P. Delgrande, Jérôme Lang, Torsten Schaub
    Belief Change Based on Global Minimisation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2468-2473 [Conf]
  44. Stefan Brüning, Torsten Schaub
    Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:389-398 [Conf]
  45. Stefan Brüning, Torsten Schaub
    A Model-Based Approach to Consistency-Checking. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:315-324 [Conf]
  46. Torsten Schaub
    Computing Queries from Prioritized Default Theories. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:584-593 [Conf]
  47. Torsten Schaub, Pascal Nicolas
    An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:197-206 [Conf]
  48. James P. Delgrande, Aaron Hunter, Torsten Schaub
    COBA: A Consistency-Based Belief Revision System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:509-512 [Conf]
  49. James P. Delgrande, Torsten Schaub
    Two Approaches to Merging Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:426-438 [Conf]
  50. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Compilation of Brewka and Eiter's Approach to Prioritization. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:376-390 [Conf]
  51. Philippe Besnard, Torsten Schaub
    A Simple Signed System for Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:404-416 [Conf]
  52. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:320-331 [Conf]
  53. Andreas Bösel, Thomas Linke, Torsten Schaub
    Profiling Answer Set Programming: The Visualization Component of the noMoRe System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:702-705 [Conf]
  54. Thomas Linke, Torsten Schaub
    An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:233-247 [Conf]
  55. Philippe Besnard, Robert E. Mercer, Torsten Schaub
    Optimality Theory through Default Logic. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:93-104 [Conf]
  56. James P. Delgrande, Torsten Schaub
    Incorporating Specificity into Circumscriptive Theories. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:272-283 [Conf]
  57. Thomas Linke, Torsten Schaub
    Putting Default Logics in Perspective. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:241-252 [Conf]
  58. Philippe Besnard, Torsten Schaub
    Significant Inferences : Preliminary Report. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:401-410 [Conf]
  59. James P. Delgrande, Torsten Schaub
    A General Approach to Specificity in Default Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:146-157 [Conf]
  60. James P. Delgrande, Torsten Schaub, Hans Tompits
    Domain-Specific Preferences for Causal Reasoning and Planning. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:673-682 [Conf]
  61. Torsten Schaub
    Assertional Default Theories: A Semantical View. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:496-506 [Conf]
  62. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    The nomore++ Approach to Answer Set Solving. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:95-109 [Conf]
  63. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    The nomore++ System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:422-426 [Conf]
  64. Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski
    Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:3-7 [Conf]
  65. Martin Gebser, Torsten Schaub
    Loops: Relevant or Redundant? [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:53-65 [Conf]
  66. Susanne Grell, Kathrin Konczak, Torsten Schaub
    nomore<: A System for Computing Preferred Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:394-398 [Conf]
  67. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
    Platypus: A Platform for Distributed Answer Set Solving. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:227-239 [Conf]
  68. James P. Delgrande, Torsten Schaub, Hans Tompits
    plp: A Generic Compiler for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:411-415 [Conf]
  69. Kathrin Konczak, Thomas Linke, Torsten Schaub
    Graphs and Colorings for Answer Set Programming: Abridged Report. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:127-140 [Conf]
  70. Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    nlp: A Compiler for Nested Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:361-364 [Conf]
  71. Torsten Schaub, Pascal Nicolas
    An Implementation Platform for Query-Answering: X-RAY. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:442-453 [Conf]
  72. Thomas Linke, Torsten Schaub
    Default Reasoning via Blocking Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:247-261 [Conf]
  73. Martin Gebser, Torsten Schaub, Sven Thiele
    GrinGo : A New Grounder for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:266-271 [Conf]
  74. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
    Conflict-Driven Answer Set Enumeration. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:136-148 [Conf]
  75. Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
    Debugging ASP Programs by Means of ASP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:31-43 [Conf]
  76. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Preference-Based Framework for Updating Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:71-83 [Conf]
  77. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
    clasp : A Conflict-Driven Answer Set Solver. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:260-265 [Conf]
  78. Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
    The First Answer Set Programming System Competition. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2007, pp:3-17 [Conf]
  79. Philippe Besnard, Robert E. Mercer, Torsten Schaub
    Optimality theory through default logic. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:77-83 [Conf]
  80. 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. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:57-66 [Conf]
  81. James P. Delgrande, Torsten Schaub
    Consistency-based approaches to merging knowledge bases: preliminary report. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:126-133 [Conf]
  82. Torsten Schaub, Kewen Wang
    Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:238-246 [Conf]
  83. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
    Paraconsistent Computational Logic, 2002, pp:1-15 [Conf]
  84. James P. Delgrande, Torsten Schaub
    Reasoning with Sets of Preferences in Default Logic. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:134-145 [Conf]
  85. Torsten Schaub
    Tableaux Calculi for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:1-11 [Conf]
  86. James P. Delgrande, Torsten Schaub
    Expressing preferences in default logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:123, n:1-2, pp:41-87 [Journal]
  87. James P. Delgrande, Torsten Schaub
    A consistency-based approach for belief change. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:151, n:1-2, pp:1-41 [Journal]
  88. James P. Delgrande, Torsten Schaub
    Compiling Specificity Into Approaches to Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:90, n:1-2, pp:301-348 [Journal]
  89. James P. Delgrande, Torsten Schaub, W. Ken Jackson
    Alternative Approaches to Default Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:70, n:1-2, pp:167-237 [Journal]
  90. Thomas Linke, Torsten Schaub
    Alternative foundations for Reiter's default logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:124, n:1, pp:31-86 [Journal]
  91. Torsten Schaub, Stefan Brüning
    Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:106, n:1, pp:1-75 [Journal]
  92. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:4, pp:113-121 [Journal]
  93. André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig
    Threshold extraction in metabolite concentration data. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2004, v:20, n:10, pp:1491-1494 [Journal]
  94. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Compiler for Ordered Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  95. James P. Delgrande, Torsten Schaub, Hans Tompits
    Logic Programs with Compiled Preferences [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  96. James P. Delgrande, Torsten Schaub
    A Consistency-Based Model for Belief Change: Preliminary Report [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  97. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Framework for Compiling Preferences in Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  98. Torsten Schaub, Kewen Wang
    Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  99. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  100. Torsten Schaub, Kewen Wang
    A semantic framework for preference handling in answer set programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  101. Philippe Besnard, Torsten Schaub
    Possible Worlds Semantics for Default Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:1/2, pp:39-66 [Journal]
  102. Philippe Besnard, Torsten Schaub
    An Approach to Context-Based Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:2/3/4, pp:175-223 [Journal]
  103. Kathrin Konczak, Torsten Schaub, Thomas Linke
    Graphs and Colorings for Answer Set Programming with Preferences. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:393-421 [Journal]
  104. James P. Delgrande, Torsten Schaub
    Reasoning Credulously and skeptically within a single extension. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:2, pp:259-285 [Journal]
  105. Thomas Linke, Torsten Schaub
    Towards a classification of Default Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1997, v:7, n:4, pp:- [Journal]
  106. Philippe Besnard, Torsten Schaub
    Signed Systems for Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:20, n:1, pp:191-213 [Journal]
  107. Torsten Schaub
    A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:1, pp:95-165 [Journal]
  108. Michael Thielscher, Torsten Schaub
    Default Reasoning by Deductive Planning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:1, pp:1-40 [Journal]
  109. Philippe Besnard, Gisbert Fanselow, Torsten Schaub
    Optimality Theory as a Family of Cumulative Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:2, pp:153-182 [Journal]
  110. Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
    A Glimpse of Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    KI, 2005, v:19, n:1, pp:12-0 [Journal]
  111. Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
    Ist die Wissensrepräsentation tot? [Citation Graph (0, 0)][DBLP]
    KI, 1995, v:9, n:5, pp:18-26 [Journal]
  112. James P. Delgrande, Torsten Schaub
    Expressing Default Logic Variants in Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:5, pp:593-621 [Journal]
  113. James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
    On Computing Belief Change Operations using Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:6, pp:801-826 [Journal]
  114. Philippe Besnard, Torsten Schaub
    What is a (non-constructive) non-monotone logical system? [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:489-494 [Journal]
  115. James P. Delgrande, Torsten Schaub, Hans Tompits
    A Framework for Compiling Preferences in Logic Programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:2, pp:129-187 [Journal]
  116. Torsten Schaub, Kewen Wang
    A semantic framework for preference handling in answer set programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:4-5, pp:569-607 [Journal]
  117. Kathrin Konczak, Thomas Linke, Torsten Schaub
    Graphs and colorings for answer set programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:1-2, pp:61-106 [Journal]
  118. James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
    COBA 2.0: A Consistency-Based Belief Change System. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2007, pp:78-90 [Conf]
  119. Alessandra Mileo, Torsten Schaub
    Qualitative Constraint Enforcement in Advanced Policy Specification. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2007, pp:695-706 [Conf]
  120. Martin Gebser, Torsten Schaub
    Generic Tableaux for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:119-133 [Conf]
  121. Kathrin Konczak, Thomas Linke, Torsten Schaub
    Graphs and colorings for answer set programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  122. James P. Delgrande, Torsten Schaub
    A consistency-based framework for merging knowledge bases. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:459-477 [Journal]

  123. A Meta-Programming Technique for Debugging Answer-Set Programs. [Citation Graph (, )][DBLP]


  124. Solution Enumeration for Projected Boolean Search Problems. [Citation Graph (, )][DBLP]


  125. Advanced Preprocessing for Answer Set Solving. [Citation Graph (, )][DBLP]


  126. Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. [Citation Graph (, )][DBLP]


  127. Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. [Citation Graph (, )][DBLP]


  128. Engineering an Incremental ASP Solver. [Citation Graph (, )][DBLP]


  129. Here's the Beef: Answer Set Programming ! [Citation Graph (, )][DBLP]


  130. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. [Citation Graph (, )][DBLP]


  131. Metabolic Network Expansion with Answer Set Programming. [Citation Graph (, )][DBLP]


  132. On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. [Citation Graph (, )][DBLP]


  133. Constraint Answer Set Solving. [Citation Graph (, )][DBLP]


  134. Merging Logic Programs under Answer Set Semantics. [Citation Graph (, )][DBLP]


  135. Titlepage, Table of Contents, Conference Organization. [Citation Graph (, )][DBLP]


  136. Introduction to the Technical Communications of the 26th International Conference on Logic Programming. [Citation Graph (, )][DBLP]


  137. The System BioC for Reasoning about Biological Models in Action Language C. [Citation Graph (, )][DBLP]


  138. Coala: A Compiler from Action Languages to ASP. [Citation Graph (, )][DBLP]


  139. An Incremental Answer Set Programming Based System for Finite ModelComputation. [Citation Graph (, )][DBLP]


  140. Belief Revision of Logic Programs under Answer Set Semantics. [Citation Graph (, )][DBLP]


  141. Conflict-Driven Disjunctive Answer Set Solving. [Citation Graph (, )][DBLP]


  142. Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. [Citation Graph (, )][DBLP]


  143. Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. [Citation Graph (, )][DBLP]


  144. Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. [Citation Graph (, )][DBLP]


  145. Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. [Citation Graph (, )][DBLP]


  146. A Simple Distributed Conflict-Driven Answer Set Solver. [Citation Graph (, )][DBLP]


  147. The Conflict-Driven Answer Set Solver clasp: Progress Report. [Citation Graph (, )][DBLP]


  148. On the Input Language of ASP Grounder Gringo. [Citation Graph (, )][DBLP]


  149. Experiences Running a Parallel Answer Set Solver on Blue Gene. [Citation Graph (, )][DBLP]


  150. spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. [Citation Graph (, )][DBLP]


  151. Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]


  152. A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. [Citation Graph (, )][DBLP]


  153. Reasoning with Sets of Defaults in Default Logic. [Citation Graph (, )][DBLP]


  154. Modeling Biological Networks by Action Languages via Answer Set Programming. [Citation Graph (, )][DBLP]


  155. A general approach to belief change in answer set programming [Citation Graph (, )][DBLP]


  156. Heuristics in Conflict Resolution [Citation Graph (, )][DBLP]


  157. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming [Citation Graph (, )][DBLP]


  158. Introduction to the 26th International Conference on Logic Programming Special Issue [Citation Graph (, )][DBLP]


Search in 1.535secs, Finished in 1.541secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002