Skip to contents

Schaub, Torsten [Author]

The automation of reasoning with incomplete information : from semantic foundations to efficient computation

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1409
Schaub, Torsten [Author]; Schaub, Torsten Hans [Author]

Considerations on default logics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1992
Erdem, Esra [Editor]; Lin, Fangzhen [Other]; Schaub, Torsten [Other] ; LPNMR 10 2009 Potsdam

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5753
Bibel, Wolfgang [Author]; Hölldobler, Steffen [Author]; Schaub, Torsten [Author]

Wissensrepräsentation und Inferenz : eine grundlegende Einführung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1993

Published in: Künstliche Intelligenz
Ostrowski, Max [Author] ; Schaub, Torsten [Degree supervisor]

Modern constraint answer set solving

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universität Potsdam, 2018
Videla, Santiago [Author] ; Schaub, Torsten [Degree supervisor]

Reasoning on the response of logical signaling networks with answer set programming

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universitätsbibliothek der Universität Potsdam, 2014
Thiele, Sven [Author] ; Schaub, Torsten [Degree supervisor]

Modeling biological systems with Answer Set Programming

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universitätsbibliothek der Universität Potsdam, 2012
Gebser, Martin [Author] ; Schaub, Torsten [Degree supervisor]

Proof theory and algorithms for answer set programming

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universitätsbibliothek der Universität Potsdam, 2011
Schaub, Michèle [Author] ; Müller, Karsten [Other]; Jeinsch, Torsten [Other]

Beitrag zur Vorhersage von Partikelemissionen aufgrund von Schiffsmanövern unter Verwendung Künstlicher Neuronaler Netze

View online
Schließen

Access

... to E-book via DOI

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität Rostock, 2021
Schaub, Torsten [Author]

The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1409
Schaub, Michèle [Author] ; Müller, Karsten [Degree supervisor]; Jeinsch, Torsten [Degree supervisor] Universität Rostock, Universität Rostock Fakultät für Maschinenbau und Schiffstechnik

Beitrag zur Vorhersage von Partikelemissionen aufgrund von Schiffsmanövern unter Verwendung Künstlicher Neuronaler Netze

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität Rostock, 10. November 2021
Lindauer, Marius [Author] ; Schaub, Torsten [Degree supervisor]; Hoos, Holger [Degree supervisor]

Algorithm selection, scheduling and configuration of Boolean constraint solvers

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Potsdam: Universität Potsdam, 2015
Haufe, Sebastian [Author] ; Thielscher, Michael [Degree supervisor]; Schaub, Torsten [Degree supervisor]

Automated Theorem Proving for General Game Playing

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012
Becker, Katinka [Author] ; Bockmayr, Alexander [Contributor]; Schaub, Torsten [Contributor]

Logical Analysis of Biological Data

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freie Universität Berlin: Refubium (FU Berlin), 2021
Erdem, Esra [Author] ; Lin, Fangzhen [Other]; Schaub, Torsten [Other]

Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5753
Hermenegildo, Manuel [Author]; Schaub, Torsten [Author] ; Manuel Hermenegildo and Torsten Schaub [Contributor]

LIPIcs, Volume 7, ICLP'10, Complete Volume

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Hermenegildo, Manuel [Author]; Schaub, Torsten [Author] ; Manuel Hermenegildo and Torsten Schaub [Contributor]

Introduction to the Technical Communications of the 26th International Conference on Logic Programming

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Hermenegildo, Manuel [Author]; Schaub, Torsten [Author] ; Manuel Hermenegildo and Torsten Schaub [Contributor]

Titlepage, Table of Contents, Conference Organization

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Ostrowski, Max [Author]; Schaub, Torsten H. [Author]

ASP modulo CSP

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Potsdam: publish.UP, 2019-02-07
Neubauer, Kai [Author] ; Haubelt, Christian [Other]; Schaub, Torsten [Other]; Glaß, Michael [Other]

Model-based symbolic design space exploration at the electronic system level : a systematic approach

View online
Schließen

Access

... to E-book via DOI

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Rostock: Universität Rostock, 2021

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication