Ulrich Furbach

Ulrich Furbach is a Senior Research Professor of Artificial Intelligence at the University of Koblenz. His research interests include knowledge management, automated reasoning, multiagent systems, and cognitive science.



More About Me?

Ulrich Furbach is a Senior Research Professor of Artificial Intelligence at the University of Koblenz. 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.

Projects

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. Projectpage
CORG – Cognitive Reasoning
This project aims at the construction of a cognitive computing system by modeling aspects of hu- man reasoning like emotions and human interactions. For this, we will extend classical logical reason- ing with non-monotonic reasoning like defeasible logic and normative reasoning and combine it with machine learning techniques. This will not only be carried out on a theoretical level. Different compo- nents important to model the commonsense reasoning process will be developed and combined to a cognitive computing system which will be tested using benchmarks from commonsense reasoning.
VitalPro
A ZIM Project funded by BMWi to develop a seat which helps to revitalise during long sitting periods.

Teaching/Talks

Computer Science
  • Diskussion im DLF Kulturgrspräch
  • Interview im Radioeins Berlin
  • Osnabrücker Schlossgespräche: Roboter von Mensch weit entfernt. Experten diskutieren über künstliche Intelligenz Bericht
  • Lecturing at Summer School in Cognitive Science 2016, Montreal
  • Invited speaker at KI/Mates 2016, Klagenfurt
  • Lecturing at Human-Centered Computing 2016, Bremen
  • Invited speaker at IIP 2016, Melbourne
  • Yoga
    Ulrich Furbach is teaching Yoga at AHS of Univ. Koblenz. He follows the school of Prof. Rocque Lobo for Marma Yoga. This is a link to his Yoga-site.

    Activities

    Organisation
  • IFIP TC 12 Chair and German Representative
  • IT.Stadt Koblenz e.V. 1. Vorsitzender
  • Board of IFCoLog
  • Verwaltungsrat Studierendenwerk Koblenz
  • Mitglied MTI - Institut für Medizintechnik und Informationsverarbeitung, Koblenz
  • DFG Vertrauensdozent
  • Co-founder and shareholder of wizAI solutions GmbH
  • Editorial Boards
  • LNAI
  • DISKI
  • IEEE Intelligent Systems
  • Journal of Applied Logics
  • Guest Editor of Informatik Spektrum
  • Guest editor of Journal of Automated Reasoning
  • AICOM
  • 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".

    Loganswer

    Human Reasoning

    Knowledge

    Writings

    Science

    Recent publications

    U. Furbach. Schmuddelkind ade. Das Fachgebiet „Künstliche Intelligenz“ . Forschung und Lehre, Juni 2016

    U. Furbach, C. Schon. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning A workshop of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)). CEUR Vol-1651

    U. Furbach, C. Schon. Commonsense Reasoning Meets Theorem Proving. In: Bridging@IJCAI 2016: 74-85.

    U. Furbach, F. Furbach, C. Freksa. Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. In: Bridging@IJCAI 2016: 20-27.

    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
    or
    Google Scholar via this Link.

    Other

    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 there is already a workshop series

    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.