TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Publications

Faculty of Computer Science

Publications and Technical Reports
in Year 2011

1
S. Bader, B. Fronhöfer, U. Hans, P. Hitzler, S. Hölldobler, M. Krötzsch, and T. Pietzsch.
Logik und Logik Programmierung, volume 2: Aufgaben und Lösungen.
Synchron Verlag, Heidelberg, 2011.

2
A. Bernstein, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, and D. Wagner, editors.
Ausgezeichnete Informatikdissertationen 2011, volume D-11.
German Informatics Society, 2011.

3
Peter Grossmann.
Polynomial Reduction from PESP to SAT.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

4
S. Hölldobler, N. Manthey, V.H. Nguyen, J. Stecklina, and P. Steinke.
A short overview on modern parallel SAT-solvers.
In I. Wasito et.al., editor, Proceedings of the International Conference on Advanced Computer Science and Information Systems, pages 201-206, 2011.
ISBN 978-979-1421-11-9.

5
S. Hölldobler, T. Philipp, and C. Wernhard.
An abductive model for human reasoning.
In Proceedingth Tenth International Symposium on Logical Formalizations of Commonsense Reasoning, 2011.
http://commonsensereasoning.org/2011/proceedings.html.

6
Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, and Peter Steinke.
Modern Parallel SAT-Solvers.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

7
Steffen Hölldobler, Tobias Philipp, and Christoph Wernhard.
An abductive model for human reasoning (poster paper).
In Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical Reports, pages 135-138. AAAI Press, 2011.
(Extended version: http://www.wv.inf.tu-dresden.de/Publications/2010/HoelldoblerPhilippWernhard.pdf).

8
Norbert Manthey.
A More Efficient Parallel Unit Propagation.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

9
Norbert Manthey.
Coprocessor - a Standalone SAT Preprocessor.
In Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011.

10
Norbert Manthey.
Parallel SAT Solving - Using More Cores.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

11
Norbert Manthey.
Solver submission of riss 1.0 to the SAT Competition 2011.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

12
Norbert Manthey and Peter Steinke.
QuadraticDirectEncodingvs.LinearOrderEncoding.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

13
Christoph Wernhard.
Computing with logic as operator elimination: The ToyElim system.
In Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011.

14
Christoph Wernhard.
Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection.
Technical report, TU Dresden, Knowledge Representation and Reasoning, 2011.
Download: PDF file.

15
Christoph Wernhard.
Projection and scope-determined circumscription.
Journal of Symbolic Computation, 2011.
In press, accepted manuscript.