Institute for Information Systems

PUBLICATIONS

In: Thomas Wassong, Daniel Frischemeier, Pascal R. Fischer, Reinhard Hochmuth, Peter Bender. Mit Werkzeugen Mathematik und Stochastik lernen - Using Tools for Learning Mathematics and Statistics. Chapter 31 Pages 437-451 Springer 2014.

To the publication

In: Matthew Crocker, Jörg Siekmann (editor). Resource Adaptive Cognitive Processes. Page 28 LNAI ISBN 978-3-540-89407-0 Springer 11/2009.

To the publication

In: Dov M. Gabbay, John Woods. Logic from Russell to Church. Pages 195-254 Handbook of The History of Logic 5 Elsevier 6/2009.

To the publication

In: Artificial Intelligence (AIJ) Pages 656-684 Elesevier 2008.

To the publication

In: Roman Matuszewski, Anna Zalewska (editor). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248 Studies in Logic, Grammar and Rhetoric 10 (23) University of Bialystok 7/2007.

To the publication

In: S. Artemov, H. Barringer, A.d'Avila Garcez, L.C. Lamb, J. Woods (editor). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. Pages 639-662 2 College Publications 2005.

To the publication

In: L. Rutkowski, Jörg Siekmann, R. Tadeusiewicz, L.A. Zadeh (editor). Seventh International Conference 'Artificial Intelligence and Soft Computing' (ICAISC). Artificial Intelligence and Soft Computing (ICASC) Pages 91-101 LNAI 3070 Springer 2004.

To the publication

Contact

Office:
Simone Winter-Dawo
Tina Amas
Phone: +49 681 85775 3106
Fax: +49 681 85775 3696

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Institute for Information Systems (IWi)
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Germany

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz