| Consciousness and Automated Reasoning. | 0 | 0.34 | 2020 |
| Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich | 0 | 0.34 | 2020 |
| Interview with Professor Hector Levesque, University of Toronto. | 0 | 0.34 | 2019 |
| Names Are Not Just Sound and Smoke - Word Embeddings for Axiom Selection. | 0 | 0.34 | 2019 |
| Cognitive Reasoning: A Personal View. | 1 | 0.37 | 2019 |
| Commonsense Reasoning Meets Theorem Proving. | 1 | 0.36 | 2016 |
| Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. | 0 | 0.34 | 2016 |
| Automated Reasoning for Robot Ethics. | 0 | 0.34 | 2015 |
| Tackling Benchmark Problems of Commonsense Reasoning | 0 | 0.34 | 2015 |
| Automated Reasoning in the Wild | 1 | 0.36 | 2015 |
| The RatioLog Project - Rational Extensions of Logical Reasoning. | 2 | 0.37 | 2015 |
| Cognitive Systems and Question Answering. | 1 | 0.35 | 2014 |
| Deontic Logic for Human Reasoning. | 3 | 0.41 | 2014 |
| Automated Reasoning in Deontic Logic. | 6 | 0.52 | 2014 |
| Representation and Reasoning [Guest editor's introduction]. | 1 | 0.35 | 2014 |
| Semantically Guided Evolution of SHI ABoxes. | 1 | 0.34 | 2014 |
| Do we need Asimov's Laws? | 0 | 0.34 | 2013 |
| NUI-Based Floor Navigation - A Case Study. | 0 | 0.34 | 2013 |
| Semantically Guided Evolution of ABoxes. | 0 | 0.34 | 2013 |
| Neue Medien? - Neue Uni! | 0 | 0.34 | 2012 |
| Turing und Künstliche Intelligenz. | 0 | 0.34 | 2012 |
| Künstliche Intelligenz. | 0 | 0.34 | 2011 |
| Vom Schmuddelkind zum Fachbereich. | 0 | 0.34 | 2011 |
| First-Order Tableaux in Applications (Extended Abstract). | 0 | 0.34 | 2011 |
| MAS: qualitative and quantitative reasoning | 0 | 0.34 | 2011 |
| A natural language question answering system as a participant in human Q&A portals | 5 | 0.46 | 2011 |
| Extending CTL to Specify Quantitative Temporal Requirements | 0 | 0.34 | 2010 |
| Logic-Based Question Answering | 6 | 0.68 | 2010 |
| The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation | 3 | 0.46 | 2010 |
| An application of automated reasoning in natural language question answering | 26 | 1.31 | 2010 |
| Multi-agent systems: modeling and verification using hybrid automata | 3 | 0.37 | 2009 |
| From Reactive to Deliberative Multi-agent Planning | 1 | 0.35 | 2009 |
| A Knowledge Compilation Technique for ALC Tboxes | 3 | 0.39 | 2009 |
| LogAnswer - A Deduction-Based Question Answering System (System Description) | 5 | 0.50 | 2008 |
| IJCAR Preface | 0 | 0.34 | 2008 |
| Modeling Multi-agent Logistic Process System using Hybrid Automata | 3 | 0.38 | 2008 |
| CAMPUS NEWS - an Information Network for Pervasive Universities | 1 | 0.35 | 2007 |
| Workshop Summary: Artificial Intelligence Methods For Ambient Intelligence | 0 | 0.34 | 2007 |
| Knowledge Compilation for Description Logics | 3 | 0.38 | 2007 |
| Location based Informationsystems | 0 | 0.34 | 2007 |
| Hyper Tableaux with Equality | 5 | 0.50 | 2007 |
| Hybrid multiagent systems with timed synchronization: specification and model checking | 7 | 0.67 | 2007 |
| Model Checking Hybrid Multiagent Systems for the RoboCup | 4 | 0.84 | 2007 |
| Geometric resolution: a proof procedure based on finite model search | 22 | 1.10 | 2006 |
| Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 48 | 6.40 | 2006 |
| Living Books, Automated Deduction and Other Strange Things | 2 | 0.40 | 2005 |
| Automated Reasoning, Knowledge Representation and Management | 1 | 0.46 | 2005 |
| KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings | 31 | 2.54 | 2005 |
| Optimizing the evaluation of XPath using description logics | 1 | 0.37 | 2004 |
| Model Based Deduction for Database Schema Reasoning | 5 | 0.64 | 2004 |
