The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Torsten Schaub" ( http://dblp.L3S.de/Authors/Torsten_Schaub )

URL (Homepage):  http://www.cs.uni-potsdam.de/~torsten/  Author page on DBLP  Author page in RDF  Community of Torsten Schaub in ASPL-2

Publication years (Num. hits)
1991-1995 (19) 1996-1998 (19) 1999-2000 (15) 2001-2002 (18) 2003-2004 (26) 2005 (15) 2006-2007 (21) 2008-2009 (26) 2010-2011 (34) 2012-2013 (32) 2014-2015 (26) 2016 (18) 2017 (17) 2018 (26) 2019 (16)
Publication types (Num. hits)
article(117) book(3) inproceedings(201) phdthesis(1) proceedings(6)
Venues (Conferences, Journals, ...)
LPNMR(50) CoRR(37) TPLP(23) KI(13) IJCAI(12) ICLP(11) JELIA(11) ECSQARU(10) ICLP (Technical Communications...(10) KR(10) Artif. Intell.(9) ECAI(8) AAAI(7) Answer Set Programming(5) Fundam. Inform.(5) NMR(5) More (+10 of total 86)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

Results
Found 329 publication records. Showing 328 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Torsten Schaub, Pascal Nicolas An Implementation Platform for Query-Answering: X-RAY. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub Circumscribing Inconsistency. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub Compiling Reasoning with and about Preferences into Default Logic. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1Stefan Brüning, Torsten Schaub A Model-Based Approach to Consistency-Checking. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Putting Default Logics in Perspective. Search on Bibsonomy KI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Michael Thielscher Skeptical Query-Answering in Constrained Default Logic. Search on Bibsonomy FAPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Torsten Schaub, Stefan Brüning Prolog Technology for Default Reasoning (An Abridged Report). Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Torsten Schaub, Stefan Brüning, Pascal Nicolas XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub A Simple Signed System for Paraconsistent Reasoning. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub An Approach to Context-Based Default Reasoning. Search on Bibsonomy Fundam. Inform. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe Ist die Wissensrepräsentation tot? Search on Bibsonomy KI The full citation details ... 1995 DBLP  BibTeX  RDF
1Torsten Schaub A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Michael Thielscher, Torsten Schaub Default Reasoning by Deductive Planning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thomas Linke, Torsten Schaub Lemma Handling in Default Logic Theorem Provers. Search on Bibsonomy ECSQARU The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub Possible Worlds Semantics for Default Logics. Search on Bibsonomy Fundam. Inform. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, W. Ken Jackson Alternative Approaches to Default Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Torsten Schaub Computing Queries from Prioritized Default Theories. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub Incorporating Specificity into Circumscriptive Theories. Search on Bibsonomy KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Stefan Brüning, Torsten Schaub Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. Search on Bibsonomy IPMU The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub A General Approach to Specificity in Default Reasoning. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Search on Bibsonomy 1993   RDF
1Torsten Schaub Variations of Constrained Default Logic. Search on Bibsonomy ECSQARU The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Antje Beringer, Torsten Schaub Minimal Belief and Negation as Failure: A Feasible Approach. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Philippe Besnard, Torsten Schaub A Context-Based Framework for Default Logics. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Torsten Schaub Considerations on default logics. Search on Bibsonomy 1992   RDF
1Torsten Schaub On Constrained Default Theories. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Torsten Schaub On Commitment and Cumulativity in Default Logics. Search on Bibsonomy ECSQARU The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Torsten Schaub Assertional Default Theories: A Semantical View. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #301 - #328 of 328 (100 per page; Change: )
Pages: [<<][1][2][3][4]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license