14 found
Order:
Disambiguations
Torsten Schaub [13]Torsten H. Schaub [1]
  1.  9
    Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.
  2.  8
    Alternative approaches to default logic.James P. Delgrande, Torsten Schaub & W. Ken Jackson - 1994 - Artificial Intelligence 70 (1-2):167-237.
  3.  14
    Expressing preferences in default logic.James P. Delgrande & Torsten Schaub - 2000 - Artificial Intelligence 123 (1-2):41-87.
  4.  10
    A consistency-based approach for belief change.James P. Delgrande & Torsten Schaub - 2003 - Artificial Intelligence 151 (1-2):1-41.
  5.  12
    Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.
  6.  19
    Gelfond–Zhang aggregates as propositional formulas.Pedro Cabalar, Jorge Fandinno, Torsten Schaub & Sebastian Schellhorn - 2019 - Artificial Intelligence 274 (C):26-43.
  7.  13
    A consistency-based framework for merging knowledge bases.James P. Delgrande & Torsten Schaub - 2007 - Journal of Applied Logic 5 (3):459-477.
  8.  8
    Compiling specificity into approaches to nonmonotonic reasoning.James P. Delgrande & Torsten H. Schaub - 1997 - Artificial Intelligence 90 (1-2):301-348.
  9.  16
    A general framework for preferences in answer set programming.Gerhard Brewka, James Delgrande, Javier Romero & Torsten Schaub - 2023 - Artificial Intelligence 325 (C):104023.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  29
    Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
    ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  9
    Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
    1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  53
    Reasoning credulously and skeptically within a single extension.James P. Delgrande & Torsten Schaub - 2002 - Journal of Applied Non-Classical Logics 12 (2):259-285.
    Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is carried out at the meta-level. In this paper, we show how such reasoning may be carried out at the object level for a large class of default theories. Essentially we show how one can translate a default theory Δ, obtaining a second Δ', such that Δ has a single extension that encodes every extension of _. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Alternative foundations for Reiter's default logic.Thomas Linke & Torsten Schaub - 2000 - Artificial Intelligence 124 (1):31-86.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  5
    Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark