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 2010

1
A. Bernstein, T. Dreier, 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 2009, volume D-10.
German Informatics Society, 2010.

2
S. Hölldobler, N. Mathey, and A. Saptawijaya.
Improving resource-unaware SAT solvers.
In C. Fernmüller and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, number 6397 in LNCS, pages 519-534. Springer-Verlag Berlin Heidelberg, 2010.

3
S. Hölldobler, T. Philipp, and C. Wernhard.
Abduction in human reasoning.
Technical report, TU Dresden, International Center for Computational Logic, 2010.
Download: PDF file.

4
N. Manthey.
riss 2010 solver description.
Technical Report Technical Report 2010-02, TU Dresden, Dresden, Germany, 2010.
Download: PDF file.

5
Norbert Manthey and Ari Saptawijaya.
Towards improving the resource usage of sat-solvers.
In Pragmatics of SAT (POS), Edinburgh, July 2010.
Download: PDF file.

6
Christoph Wernhard.
Circumscription and projection as primitives of logic programming.
In M. Hermenegildo and T. Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP'10, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
Download: PDF file,(Extended version: http://cs.christophwernhard.com/papers/logprog2010extended.pdf).

7
Christoph Wernhard.
Literal projection and circumscription.
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP'09, volume 556 of CEUR Workshop Proceedings, 2010.
(Extended version: http://cs.christophwernhard.com/papers/projection-circumscription.pdf).