| 2026 | KI | Evaluating AI as Part of Social Mechanisms. | Susanne Draheim, Ulrich Furbach, Ralf Mller |
| 2020 | KI | Consciousness and Automated Reasoning. | Ulrike Barthelme, Claudia Schon, Ulrich Furbach |
| 2019 | CADE | Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. | Ulrich Furbach, Teresa Krmer, Claudia Schon |
| 2017 | CogSci | Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? | Ulrich Furbach, Steffen Hlldobler, Marco Ragni, Claudia Schon |
| 2016 | IJCAI | Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. | Ulrich Furbach, Florian Furbach, Christian Freksa |
| 2016 | IJCAI | Commonsense Reasoning Meets Theorem Proving. | Ulrich Furbach, Claudia Schon |
| 2015 | CADE | Tackling Benchmark Problems of Commonsense Reasoning. | Ulrich Furbach, Andrew S. Gordon, Claudia Schon |
| 2015 | CADE | Automated Reasoning in the Wild. | Ulrich Furbach, Bjrn Pelzer, Claudia Schon |
| 2013 | GI | Do we need Asimov's Laws? | Ulrike Barthelmess, Ulrich Furbach |
| 2013 | HCI | NUI-Based Floor Navigation - A Case Study. | Ulrich Furbach, Markus Maron |
| 2013 | TABLEAUX | Semantically Guided Evolution of ABoxes. | Ulrich Furbach, Claudia Schon |
| 2011 | IJCAI | A Natural Language Question Answering System as a Participant in Human Q&A Portals. | Tiansi Dong, Ulrich Furbach, Ingo Glckner, Bjrn Pelzer |
| 2011 | TABLEAUX | First-Order Tableaux in Applications (Extended Abstract). | Ulrich Furbach |
| 2009 | FlAIRS | A Knowledge Compilation Technique for ALC Tboxes. | Ulrich Furbach, Heiko Gnther, Claudia Obermaier |
| 2008 | CADE | LogAnswer - A Deduction-Based Question Answering System (System Description). | Ulrich Furbach, Ingo Glckner, Hermann Helbig, Bjrn Pelzer |
| 2007 | CADE | Hyper Tableaux with Equality. | Peter Baumgartner, Ulrich Furbach, Bjrn Pelzer |
| 2007 | GI | CAMPUS NEWS - an Information Network for Pervasive Universities. | Ulrich Furbach, Markus Maron, Kevin Read |
| 2007 | KI | Knowledge Compilation for Description Logics. | Ulrich Furbach, Claudia Obermaier |
| 2007 | RoboCup | Model Checking Hybrid Multiagent Systems for the RoboCup. | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
| 2006 | KI | Applications of Automated Reasoning. | Ulrich Furbach, Claudia Obermaier |
| 2004 | KI | Model Based Deduction for Database Schema Reasoning. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Thomas Kleemann |
| 2003 | CADE | 'Living Book': -'Deduction', 'Slicing', 'Interaction'. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Alex Sinner |
| 2003 | DIS | Automatic Classification for the Identification of Relationships in a Meta-Data Repository. | Gerd Beuster, Ulrich Furbach, Margret Gro-Hardt, Bernd Thomas |
| 1999 | CADE | A Confluent Connection Calculus. | Peter Baumgartner, Norbert Eisinger, Ulrich Furbach |
| 1998 | JELIA | Disjunctive Logic Program = Horn Program + Control Program. | Wenjin Lu, Ulrich Furbach |
| 1997 | ICLP | Calculi for Disjunctive Logic Programming. | Peter Baumgartner, Ulrich Furbach |
| 1997 | IJCAI | Semantically Guided Theorem Proving for Diagnosis Applications. | Peter Baumgartner, Peter Frhlich, Ulrich Furbach, Wolfgang Nejdl |
| 1997 | TABLEAUX | Tableaux for Diagnosis Applications. | Peter Baumgartner, Peter Frhlich, Ulrich Furbach, Wolfgang Nejdl |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1996 | JELIA | Hyper Tableaux. | Peter Baumgartner, Ulrich Furbach, Ilkka Niemel |
| 1995 | IJCAI | Model Elimination, Logic Programming and Computing Answers. | Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
| 1994 | CADE | Model Elimination Without Contrapositives. | Peter Baumgartner, Ulrich Furbach |
| 1994 | CADE | PROTEIN: A PROver with a Theory Extension INterface. | Peter Baumgartner, Ulrich Furbach |
| 1992 | JELIA | Computing Answers for Disjunctive Logic Programs. | Ulrich Furbach |
| 1992 | TABLEAUX | Consolution as a Framework for Comparing Calculi. | Peter Baumgartner, Ulrich Furbach |
| 1991 | KI | Answers for disjunctive logic programs. | Ulrich Furbach |
| 1989 | KI | Linear Paramodulation modulo Equality. | Ulrich Furbach, Steffen Hlldobler, Joachim F. Schreiber |
| 1989 | WI | ALPES: A Programming Environment for Logic Programming. | Bertram Fronhfer, Ulrich Furbach |
| 1987 | KI | Oldy but Goody Paramodulation Revisited. | Ulrich Furbach |
| 1986 | KI | Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. | Bertram Fronhfer, Ulrich Furbach |
| 1986 | WI | Wissensreprsentation und Programmiersprachen. | Ulrich Furbach |
| 1985 | KI | Extended Unification and its Implementation. | Steffen Hlldobler, Ulrich Furbach, Thomas Lauermair |
| 1984 | AIMSA | Towards a Theory of Knowledge Representation Systems. | Ulrich Furbach, Gerhard Dirlich, Christian Freksa |
| 1984 | KI | Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. | Christian Freksa, Ulrich Furbach, Gerhard Dirlich |