Ulrich Furbach

More About Me?

Ulrich Furbach is a retired Professor of Artificial Intelligence at the University of Koblenz and Adjunct Professor at Vellore Institute of Technology in India. He is co-owner of wizAI solutions GmbH. His research interests include knowledge management, automated reasoning, multiagent systems, and cognitive science.

After his officer training in the German Federal Armed Forces he served as an lieutenant in the tank forces. Ulrich Furbach obtained his Diploma and Habilitation in informatics from the Technical University of Munich and his PhD from the University of Bundeswehr.

He directed the Automated Reasoning Group at the TU Munich from 1987 to 1990 and the Institute for Knowledge Media in Koblenz from 2000 to 2003. He was president of CADE Inc., he was a board member of the European Coordinating Committee for Artificial Intelligence and he was speaker of the German AI Society.

He is co-founder and owner of the spin-off company wizAI (www.wizai.com), which develops knowledge management systems, information systems and solutions for digital signage.

He is also teaching yoga in the tradition of Prof. Rocque Lobo as a sort of Marma-Yoga.
Ulrich Furbach is ECCAI- and GI-Fellow and Chair of IFIP TC 12 on Artificial Intelligence.


RatioLog (LogAnswer)
The DFG-project RatioLog builds on our previous development, the LogAnswer system, a question-answering system that automatically infers correct replies to user questions regarding any topic.
The objective of the research focus ADAPT is to relate, advance, combine, and challenge adaptation methods and associated methods of modeling and analyzing that are used by the communities of software engineering, programming languages, logic-based modeling, multi-agent systems, formal methods, SOA, web systems, and mobile, autonomous systems. ADAPT is a research focus of the Faculty of Computer Science of the University in Koblenz.
A ZIM Project funded by BMWi to develop a seat which helps to revitalise during long sitting periods.


Computer Science and AI
only at special events.
Ulrich Furbach is teaching Yoga. He follows the school of Prof. Rocque Lobo for Marma Yoga.


  • IFIP TC 12 Chair and German Representative
  • Vice-president of Association of Automated Reasoning (AAR)
  • IT.Stadt Koblenz e.V. 1. Vorsitzender
  • Board of IFCoLog
  • Co-founder and shareholder of wizAI solutions GmbH
  • Editorial Boards
  • LNAI
  • IEEE Intelligent Systems
  • Journal of Applied Logics
  • Guest Editor of Informatik Spektrum
  • Guest editor of Journal of Automated Reasoning
  • Latests Works

    What keeps me busy

    My main interest in research is in automated reasoning and knowledge representation. Since many years my focus is on applying dedution systems to real world problems. One of my major projects to this end is the Loganswer/Ratiolog project which aims at a natural language open domain question answering system. Nowadays IBM calls the technique we are using "cognitive computing".

    In cognitive science there is a lot of work to desrcibe and to model human reasoning. Recently we found out, that our 1st order theorem prover Hyper is able to process Deontic Logic, which can be used very naturally to describe norms and policies.

    With my partner Ulrike Barthelmess we are working on a second book project on "Knowledge in AI, culture and literature".


    Human Reasoning



    Springer allowed me to put it on the website:
    Download the pdf


    Recent publications

    U. Furbach, C. Schon. Reasoning and Consciousness. Teaching a Theorem Prover to let its Mind Wander. To appear in Proc. of AITP 2018

    W. Bibel, U. Furbach. Die Forschungsgruppe Künstliche Intelligenz und Intellektik an der Technischen Universität München. To appear. 1018

    U. Barthelmess, U. Furbach. Körper, Geist und Künstlich Intelligenz, Eulenfisch, Limburger Magazin für Religion und Bildung, 19, 2017

    U. Furbach, A. Gordon, C. Schon. Tackling Benchmarks for Common Sense Reasoning.In:

    U. Furbach, C. Schon. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning A workshop of the 25th International Conference on Automated Deduction (CADE-25). CEUR Vol-1412

    U. Furbach, B. Pelzer, C. Schon. Automated Reasoning in the Wild. In: A.P. Felty, A. Middeldorp ( eds): Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Lecture Notes in Computer Science 9195, Springer 2015,

    U. Furbach, C. Schon, F. Stolzenburg, K-H. Weis, C-P. Wirth. The RatioLog Project: Rational Extensions of Logical Reasoning. KI 29(3): 271-277 (2015). Arxiv

    U. Furbach, C. Schon, F. Stolzenburg. Automated Reasoning for Robot Ethics.2015. Arxiv

    M. P. Bonacina, U. Furbach, V. Sofronie-Stokkermans. On First-Order Model-Based Reasoning. 2015. Arxiv

    U. Furbach, C. Schon, F.Stolzenburg. Automated Reasoning in Deontic Logic. MIWAI 2014, Springer LNCS 8875, 57-68. Arxiv

    U. Furbach, C. Schon, F.Stolzenburg. Cognitive Systems and Question Answering. In: Industriemanagement 2.2015. Arxiv

    U. Furbach (ed.) Representation and Reasoning. [Guest editor's introduction]. IEEE Intelligent Systems 29(1): 2-3 (2014)

    U. Furbach, C. Schon. Deontic Logic for Human Reasoning. In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015 Springer LNAI. Arxiv

    U. Barthelmess, U. Furbach. Do we need Asimov’s laws? In Matthias Horbach, editor, Proc. INFORMATIK 2013, volume P-220 of Lecture Notes in Informatics. Köllen Verlag, 2013. Arxiv

    U.Furbach, C. Schon. Semantically guided Evolution of SHI Aboxes. In Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, volume 8123 of LNAI. Springer, 2013. Arxiv

    For a full list of publications

    please visit DBLP via this Link
    Google Scholar via this Link.


    A non-fiction book, which I co-authored with my partner:
    U. Barthelmeß and U. Furbach. IRobot– uMan. Springer, 2011.

    Some reports from conference and research trips are here.

    For a down-under trip upside down please follow this Link.

    Contact Me

    Get in touch

    Prof. Dr. Ulrich Furbach, Universität Koblenz-Landau
    Universitätsstr.1, D 56070 Koblenz. Germany

    Campus Koblenz, B 214

    uli@'nachname'.de | +49 261 287 2728 | www.furbach.de

    Project Overview

    Ratiolog and his predecessor Loganswer are projects about deep question answering based on Computer Linguistic and Automated Deduction. In Rationlog the main goal is to incorporate models for human rationality.

    For more see:The RatioLog Project

    Project Overview

    This is an approach to model human reasoning as it is investigated in cognitive psychology by means of symbolic logic and automated deduction. A very typical example for this is the well researched Wason selection task. There are publication to this topic and we will organise a workshop during CADE 25 next year:

    Bridging the Gap between Human and Automated Reasoning

    Project Overview

    In this book project we are aiming at a combination of cultural and literary treatments of knowledge and remembering with modern computer science and artificial intelligence work. An example is the depicted cookie, a Madelaine, about which Marcel Proust wrote, that the taste of it triggered the memories about a certain episode of his life.

    More will be published here, as soon as we have a complete concept.