2015

  • Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
    The RatioLog Project: Rational Extensions of Logical Reasoning.
    KI 29(3): 271-277.

  •  

  • Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
    On First-Order Model-Based Reasoning.
    Logic, Rewriting, and Concurrency 2015: 181-204.

  •  

  • Ulrich Furbach, Claudia Schon
    Deontic Logic for Human Reasoning.
    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015:63-80.

  •  

  • Ulrich Furbach, Andrew S. Gordon, Claudia Schon
    Tackling Benchmark Problems of Commonsense Reasoning
    In Proceedings of the first Workshop on Bridging the Gap between Human and Automated Reasoning, a CADE 2015 Workshop, 47-59.

  •  

  • Ulrich Furbach, Claudia 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), Berlin, Germany, August 1, 2015. CEUR Workshop Proceedings 1412, CEUR-WS.org 2015.

  •  

  • Ulrich Furbach, Björn Pelzer, Claudia Schon
    Automated Reasoning in the Wild.
    Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, volume 9195 of LNCS. Springer, 2015.

  •  

  • Ulrich Furbach, Claudia Schon
    Cognitive Systems and Question Answering
    Industrie Management 4.0, volume 31, number 1