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 2009

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 2008, volume D-9.
German Informatics Society, 2009.

2
Jan Funke and Tobias Pietzsch.
A framework for evaluating visual slam.
In Proc. BMVC'09, 2009.
Download: PDF file.

3
S. Hölldobler.
Cognitive science, computational logic and connectionism.
In M. Adriani et.al., editor, Proceedings International Conference on Advanced Computer Science and Information Systems (ICACSIS), pages 1-6, Faculty of Computer Science, Universitas Indonesia, 2009.

4
S. Hölldobler and C.D.P. Kencana Ramli.
Contraction properties of a semantic operator for human reasoning.
In Lei Li and K. K. Yen, editors, Proceedings of the Fifth International Conference on Information, pages 228-231. International Information Institute, 2009.

5
S. Hölldobler and C.D.P. Kencana Ramli.
Logic programs under three-valued \Lukasiewicz's semantics.
In P.M. Hill and D.S. Warren, editors, Logic Programming, volume 5649, pages 464-478. Springer Berlin Heidelberg, 2009.

6
S. Hölldobler and C.D.P. Kencana Ramli.
Logics and networks for human reasoning.
In C. Alippi et. al., editor, ICANN, volume 5769, pages 85-94. Springer Berlin Heidelberg, 2009.

7
Steffen Hölldobler and Carroline Dewi Puspa Kencana Ramli.
Logic Programs under Three-Valued Lukasiewicz Semantics.
Technical Report WV-09-02, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, 2009.
Download: PDF file.

8
Steffen Hölldobler and Carroline Dewi Puspa Kencana Ramli.
Logics and Networks for Human Reasoning.
Technical Report WV-09-01, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, 2009.
Download: PDF file.

9
Christoph Wernhard.
Literal projection and circumscription.
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, International Workshop on First-Order Theorem Proving, FTP'09. University of Oslo, 2009.

10
Christoph Wernhard.
Tableaux for projection computation and knowledge compilation.
In Martin Giese and Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, volume 5607 of Lecture Notes in Computer Science, pages 325-340. Springer, 2009.