Ulrich Furbach

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 24

Top Venues

Bundeswehr University Munich, Neubiberg, Germany (PHD)

Education History

Bundeswehr University Munich, Neubiberg, Germany

PHD

Publications

Thomas Barkowsky, Thora Tenbrink, Peter Haddawy, Ulrich Furbach
In memoriam: Christian Freksa (1950-2020). Spatial Cogn. Comput. 24 (1) (2024)
Claudia Schon, Ulrich Furbach, Marco Ragni
Modeling Associative Reasoning Processes. CoRR (2022)
Ulrike Barthelmeß, Ulrich Furbach
Künstliche Intelligenz, quo vadis? CoRR (2021)
Ulrike Barthelmeß, Ulrich Furbach
Consciousness: Just Another Technique? Künstliche Intell. 35 (3) (2021)
Wolfgang Bibel, Ulrich Furbach
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. 34 (1) (2020)
Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
Consciousness and Automated Reasoning. FCR@KI (2020)
Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
Consciousness and Automated Reasoning. CoRR (2020)
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
Cognitive Reasoning: A Personal View. Künstliche Intell. 33 (3) (2019)
Ulrich Furbach
Interview with Professor Hector Levesque, University of Toronto. Künstliche Intell. 33 (3) (2019)
Ulrich Furbach, Teresa Krämer, Claudia Schon
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. CADE (2019)
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci (2017)
Ulrich Furbach, Florian Furbach, Christian Freksa
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. CoRR (2016)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning Meets Theorem Proving. MATES (2016)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA (2016)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI (2016)
Ulrich Furbach, Florian Furbach, Christian Freksa
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Bridging@IJCAI (2016)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning for Robot Ethics. CoRR (2015)
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency (2015)
Ulrich Furbach, Björn Pelzer, Claudia Schon
Automated Reasoning in the Wild. CADE (2015)
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
On First-Order Model-Based Reasoning. CoRR (2015)
Ulrich Furbach, Claudia Schon
Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. 29 (3) (2015)
Ulrich Furbach, Andrew S. Gordon, Claudia Schon
Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. MIWAI (2014)
Ulrich Furbach
Representation and Reasoning [Guest editor's introduction]. IEEE Intell. Syst. 29 (1) (2014)
Ulrike Barthelmess, Ulrich Furbach
Do we need Asimov's Laws? CoRR (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Cognitive Systems and Question Answering. CoRR (2014)
Ulrich Furbach, Claudia Schon
Deontic Logic for Human Reasoning. CoRR (2014)
Ulrich Furbach, Claudia Schon
Semantically Guided Evolution of SHI ABoxes. CoRR (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. CoRR (2014)
Ulrich Furbach, Markus Maron
NUI-Based Floor Navigation - A Case Study. HCI (11) (2013)
Ulrich Furbach, Claudia Schon
Semantically Guided Evolution of ABoxes. TABLEAUX (2013)
Ulrike Barthelmess, Ulrich Furbach
Do we need Asimov's Laws? GI-Jahrestagung (2013)
Ulrich Furbach
Neue Medien? - Neue Uni! Künstliche Intell. 26 (3) (2012)
Ulrich Furbach
Turing und Künstliche Intelligenz. Inform. Spektrum 35 (4) (2012)
Ulrich Furbach
Künstliche Intelligenz. Inform. Spektrum 34 (5) (2011)
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
A Natural Language Question Answering System as a Participant in Human Q&A Portals. IJCAI (2011)
Hans-Jürgen Bürckert, Ulrich Furbach
Vom Schmuddelkind zum Fachbereich. Künstliche Intell. 25 (4) (2011)
Ulrich Furbach
First-Order Tableaux in Applications (Extended Abstract). TABLEAUX (2011)
Ammar Mohammed, Ulrich Furbach
MAS: Qualitative and Quantitative Reasoning. ProMAS (2011)
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20 (1) (2010)
Ulrich Furbach, Ingo Glöckner, Björn Pelzer
An application of automated reasoning in natural language question answering. AI Commun. 23 (2-3) (2010)
Ammar Mohammed, Ulrich Furbach
Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS (2010)
Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
Logic-Based Question Answering. Künstliche Intell. 24 (1) (2010)
Ammar Mohammed, Ulrich Furbach
From Reactive to Deliberative Multi-agent Planning. MSVVEIS (2009)
Ulrich Furbach, Heiko Günther, Claudia Obermaier
A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Conference (2009)
Ammar Mohammed, Ulrich Furbach
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS (2009)
Ulrich Furbach
IJCAR Preface. J. Autom. Reason. 40 (2-3) (2008)
Ammar Mohammed, Ulrich Furbach
Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS (2008)
Ulrich Furbach
Editorial. Künstliche Intell. 22 (3) (2008)
Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR (2008)
Ulrich Furbach, Markus Maron, Kevin Read
CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) (2007)
Ralph Bergmann, Klaus-Dieter Althoff, Ulrich Furbach, Klaus Schmid
Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence. AmI Workshops (2007)
Ulrich Furbach, Markus Maron, Kevin Read
Location based Informationsystems. Künstliche Intell. 21 (3) (2007)
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS (2007)
Ulrich Furbach, Claudia Obermaier
Knowledge Compilation for Description Logics. KESE (2007)
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
Hyper Tableaux with Equality. CADE (2007)
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup (2007)
Ulrich Furbach, Claudia Obermaier
Applications of Automated Reasoning. KI (2006)
Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
Automated Reasoning, Knowledge Representation and Management. Künstliche Intell. 19 (1) (2005)
Peter Baumgartner, Ulrich Furbach
Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning (2005)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Model Based Deduction for Database Schema Reasoning. KI (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
Living Book - Deduction, Slicing, and Interaction. J. Autom. Reason. 32 (3) (2004)
Ulrich Furbach
AI--A multiple book review. Artif. Intell. 145 (1-2) (2003)
Peter Baumgartner, Ulrich Furbach
Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE (2003)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt
Living Books. Wirtschaftsinformatik (1) (2003)
Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas
Automatic Classification for the Identification of Relationships in a Meta-Data Repository. Discovery Science (2003)
Ulrich Furbach
Wissenssysteme aus der Sicht der Inferenz. Künstliche Intell. 16 (1) (2002)
Ulrich Furbach
Jahresbericht 2000 des FB1 der GI. Künstliche Intell. 15 (2) (2001)
Ulrich Furbach
Jahresbericht 1999 des Sprechers des FB1 der GI. Künstliche Intell. 14 (2) (2000)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. Intellectics and Computational Logic (2000)
Ulrich Furbach, Oliver Obst, Frieder Stolzenburg
Intelligente Agenten und KI. LOG IN 20 (3/4) (2000)
Thomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher
Kommentare zum Diskussionsbeitrag "Die militärische Seite der KI". Künstliche Intell. 13 (1) (1999)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. CADE (1999)
Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
Automated Deduction: a Technological Point of View. Künstliche Intell. 12 (4) (1998)
Wenjin Lu, Ulrich Furbach
Disjunctive Logic Program = Horn Program + Control Program. JELIA (1998)
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
Tableaux for Diagnosis Applications. TABLEAUX (1997)
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) (1997)
Peter Baumgartner, Ulrich Furbach
Calculi for Disjunctive Logic Programming. ILPS (1997)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Computing Answers with Model Elimination. Artif. Intell. 90 (1-2) (1997)
Peter Baumgartner, Ulrich Furbach
Calculi for Disjunctive Logic Programming. ICLP (1997)
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
Deduktion und Logisches Programmieren. Künstliche Intell. 10 (2) (1996)
Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
Hyper Tableaux. JELIA (1996)
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP (1996)
Peter Baumgartner, Ulrich Furbach
Hyper Tableaux and Disjunctive Logic Programming. DDLP (1996)
Jürgen Dix, Ulrich Furbach
Logisches Programmieren mit Negation und Disjunktion. Künstliche Intell. 10 (3) (1996)
Ulrich Furbach
From Theorem Proving to Logic Programming. WLP (1995)
Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
Ist die Wissensrepräsentation tot? Künstliche Intell. 9 (5) (1995)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Model Elimination, Logic Programming and Computing Answers. IJCAI (1995)
Peter Baumgartner, Ulrich Furbach
PROTEIN: A PROver with a Theory Extension INterface. CADE (1994)
Peter Baumgartner, Ulrich Furbach
Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reason. 13 (3) (1994)
Peter Baumgartner, Ulrich Furbach
Model Elimination Without Contrapositives. CADE (1994)
Ulrich Furbach
Theory Reasoning in First Order Calculi. IS/KI (1994)
Ulrich Furbach
Formal specification methods for reactive systems. J. Syst. Softw. 21 (2) (1993)
Peter Baumgartner, Ulrich Furbach
Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16 (5) (1993)
Ulrich Furbach
Computing Answers for Disjunctive Logic Programs. JELIA (1992)
Peter Baumgartner, Ulrich Furbach
Consolution as a Framework for Comparing Calculi. TABLEAUX (1992)

Ulrich Furbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrich Furbach