search result

Cover von The automation of reasoning with incomplete information
from semantic foundations to efficient computation
Author: Schaub, Torsten H. Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1409
Media group: MONOGRAPHIE
Cover von Considerations on default logics
Author: Schaub, Torsten H. Search for this author
Year: 1992
Publisher: Darmstadt, TH
Media group: DISSERTATION
Cover von Computing Diverse Optimal Stable Models

Computing Diverse Optimal Stable Models

Year: 2016
Media group: OASICS
Cover von Unsatisfiability-based optimization in clasp

Unsatisfiability-based optimization in clasp

Year: 2012
Media group: ARTICLE
Cover von Wissensrepräsentation und Inferenz
eine grundlegende Einführung
Author: Bibel, Wolfgang; Hölldobler, Steffen; Schaub, Torsten H. Search for this author
Year: 1993
Publisher: Braunschweig, Vieweg
Series: Artificial Intelligence
Media group: MONOGRAPHIE
Cover von ASPARAGUS, the Dagstuhl Initiative
article
Author: Anger, Christian; Schaub, Torsten H.; Truszczynski, Miroslaw Search for this author
Year: 2004
Publisher: Leuven, ALP
Series: ALP newsletter; 17. 2004, 3
Media group: ARTICLE
Cover von Introduction to the Technical Communications of the 26th International Conference on Logic Programming

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

Year: 2010
Media group: ARTICLE
Cover von Technical Communications of the 26th International Conference on Logic Programming
July 16 - 19, 2010, Edinburgh, Scotland, UK
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 7
Media group: LIPIcs
Cover von Towards systematic benchmarking in answer set programming
the Dagstuhl initiative : article in "Lecture notes in artificial intelligence 2923" : Logic programming and nonmonotonic reasoning
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2923
Media group: ARTICLE
Cover von aspeed

aspeed

ASP-based Solver Scheduling
Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0