TUD Logo

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

Faculty of Computer Science

Publications and Technical Reports
in Year 2010

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.

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.

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.

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

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

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).

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).