Von den Schmuddelkindern zum Fachbereich
Hans-Jürgen Bürckert, Ulrich Furbach
to appear in KI


Sonderheft KI
Ulrich Furbach (ed.)
Informatik Spektrum. Springer. To appear


IRobot - uMan. Künstliche Intelligenz und Kultur: eine jahrtausendealte Beziehungkiste
Ulrike Barthelmeß, Ulrich Furbach
Springer 2011. To Appear

34th Annual German Conference on Artificial Intelligence

Linkless Normal Form for ALC Concepts and TBoxes
Claudia Schon
Proceedings of the 34th Annual German Conference on Artificial Intelligence, October, Berlin

1st Workshop on Software Language Engineering for Cyber Physical Systems

Modelling a Real-time Control System using Parameterized Linear Hybrid Automata
Christian Schwarz
Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011

22nd IJCAI

A Natural Language Question Answering System as a Participant in Human Q&A; Portals.
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Bjoern Pelzer
Proceedings of the 22nd IJCAI, Barcelona, Spain 2011

Journal of Symbolic Computation

Model Evolution with Equality - Revised and Implemented
Peter Baumgartner, Björn Pelzer, Cesare Tinelli
Journal of Symbolic Computation, FTP Special Issue, to appear


First-order Tableaux in Applications
Ulrich Furach
Proceedings of the 20th TABLEAUX, Bern, Springer LNAI 6793, 2011


LogAnswer in Question Answering Forums
Ingo Glöckner, Björn Pelzer, Tiansi Dong
Proceedings of the 3rd International Conference on Agents and Artificial Intelligence


MAS: Qualitative and Quantitative Reasoning
Ammar Mohammed and Ulrich Furbach
Proceedings of the 9th International Workshop on Programming Multi-Agent Systems