Ulrich Furbach

According to our database1, Ulrich Furbach authored at least 107 papers between 1978 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Künstliche Intelligenz, quo vadis?
CoRR, 2021

2020
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich.
Künstliche Intell., 2020

Consciousness and Automated Reasoning.
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

2019
Cognitive Reasoning: A Personal View.
Künstliche Intell., 2019

Interview with Professor Hector Levesque, University of Toronto.
Künstliche Intell., 2019

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.
Proceedings of the Automated Deduction - CADE 27, 2019

2017
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016
Commonsense Reasoning Meets Theorem Proving.
Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015
The RatioLog Project: Rational Extensions of Logical Reasoning.
Künstliche Intell., 2015

Automated Reasoning for Robot Ethics.
CoRR, 2015

Automated Reasoning in the Wild.
Proceedings of the Automated Deduction - CADE-25, 2015

Tackling Benchmark Problems of Commonsense Reasoning.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

Deontic Logic for Human Reasoning.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

On First-Order Model-Based Reasoning.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Representation and Reasoning [Guest editor's introduction].
IEEE Intell. Syst., 2014

Cognitive Systems and Question Answering.
CoRR, 2014

Semantically Guided Evolution of SHI ABoxes.
CoRR, 2014

Automated Reasoning in Deontic Logic.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

2013
Semantically Guided Evolution of ABoxes.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

NUI-Based Floor Navigation - A Case Study.
Proceedings of the Design, User Experience, and Usability. User Experience in Novel Technological Environments, 2013

Do we need Asimov's Laws?
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012
Neue Medien? - Neue Uni!
Künstliche Intell., 2012

Turing und Künstliche Intelligenz.
Inform. Spektrum, 2012

IRobot - uMan - Künstliche Intelligenz und Kultur: eine jahrtausendealte Beziehungskiste.
Springer, ISBN: 978-3-642-22927-5, 2012

2011
Vom Schmuddelkind zum Fachbereich.
Künstliche Intell., 2011

Künstliche Intelligenz.
Inform. Spektrum, 2011

First-Order Tableaux in Applications (Extended Abstract).
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

MAS: Qualitative and Quantitative Reasoning.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

A Natural Language Question Answering System as a Participant in Human Q&A Portals.
Proceedings of the IJCAI 2011, 2011

2010
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.
J. Log. Comput., 2010

Logic-Based Question Answering.
Künstliche Intell., 2010

An application of automated reasoning in natural language question answering.
AI Commun., 2010

Extending CTL to Specify Quantitative Temporal Requirements.
Proceedings of the Modelling, 2010

2009
From Reactive to Deliberative Multi-agent Planning.
Proceedings of the Modelling, 2009

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

A Knowledge Compilation Technique for ALC Tboxes.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008
Editorial.
Künstliche Intell., 2008

IJCAR Preface.
J. Autom. Reason., 2008

Modeling Multi-agent Logistic Process System using Hybrid Automata.
Proceedings of the Modelling, 2008

LogAnswer - A Deduction-Based Question Answering System (System Description).
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
Location based Informationsystems.
Künstliche Intell., 2007

Model Checking Hybrid Multiagent Systems for the RoboCup.
Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Knowledge Compilation for Description Logics.
Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th German Conference on Artificial Intelligence (KI-2007), 2007

CAMPUS NEWS - an Information Network for Pervasive Universities.
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Hyper Tableaux with Equality.
Proceedings of the Automated Deduction, 2007

Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence.
Proceedings of the Constructing Ambient Intelligence, 2007

2006
Applications of Automated Reasoning.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

2005
Automated Reasoning, Knowledge Representation and Management.
Künstliche Intell., 2005

Living Books, Automated Deduction and Other Strange Things.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Living Book - Deduction, Slicing, and Interaction.
J. Autom. Reason., 2004

Optimizing the Evaluation of XPath Using Description Logics.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Model Based Deduction for Database Schema Reasoning.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003
Automated Deduction Techniques for the Management of Personalized Documents.
Ann. Math. Artif. Intell., 2003

AI--A multiple book review.
Artif. Intell., 2003

Living Books.
Proceedings of the Wirtschaftsinformatik 2003, Medien - Märkte - Mobilität, Band I, 2003

Automatic Classification for the Identification of Relationships in a Meta-Data Repository.
Proceedings of the Discovery Science, 6th International Conference, 2003

'Living Book': -'Deduction', 'Slicing', 'Interaction'.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002
Wissenssysteme aus der Sicht der Inferenz.
Künstliche Intell., 2002

2001
Jahresbericht 2000 des FB1 der GI.
Künstliche Intell., 2001

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
Intelligente Agenten und KI.
LOG IN, 2000

Jahresbericht 1999 des Sprechers des FB1 der GI.
Künstliche Intell., 2000

A Confluent Connection Calculus.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999
Kommentare zum Diskussionsbeitrag "Die militärische Seite der KI".
Künstliche Intell., 1999

1998
Automated Deduction: a Technological Point of View.
Künstliche Intell., 1998

Disjunctive Logic Program = Horn Program + Control Program.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997
Computing Answers with Model Elimination.
Artif. Intell., 1997

Tableaux for Diagnosis Applications.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Calculi for Disjunctive Logic Programming.
Proceedings of the Logic Programming, 1997

Semantically Guided Theorem Proving for Diagnosis Applications.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Logisches Programmieren mit Negation und Disjunktion.
Künstliche Intell., 1996

Deduktion und Logisches Programmieren.
Künstliche Intell., 1996

Hyper Tableaux.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
Proceedings of the Logic Programming, 1996

Hyper Tableaux and Disjunctive Logic Programming.
Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995
Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995

From Theorem Proving to Logic Programming.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Model Elimination, Logic Programming and Computing Answers.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Model Elimination Without Contrapositives and Its Application to PTTP.
J. Autom. Reason., 1994

Theory Reasoning in First Order Calculi.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

PROTEIN: A PROver with a Theory Extension INterface.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Model Elimination Without Contrapositives.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
Formal specification methods for reactive systems.
J. Syst. Softw., 1993

Consolution as a Framework for Comparing Calculi.
J. Symb. Comput., 1993

1992
ILPS'91 - International Logic Programming Syposium.
Künstliche Intell., 1992

Logik, KI und Intellektik.
Künstliche Intell., 1992

Computing Answers for Disjunctive Logic Programs.
Proceedings of the Logics in AI, European Workshop, 1992

1991
Workshop on "Massively Parallel Inference Systems".
Künstliche Intell., 1991

Answers for disjunctive logic programs.
Proceedings of the GWAI-91, 1991

Logische und funktionale Programmierung - Grundlagen einer Kombination.
Artificial intelligence = Künstliche Intelligenz, Vieweg, ISBN: 978-3-528-05127-3, 1991

1990
Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".
Künstliche Intell., 1990

1989
Ein Konstanzer Prolog-Workshop.
Künstliche Intell., 1989

Horn Equational Theories and Paramodulation.
J. Autom. Reason., 1989

ALPES: A Programming Environment for Logic Programming.
Proceedings of the Wissensbasierte Systeme, 1989

Linear Paramodulation modulo Equality.
Proceedings of the GWAI-89, 1989

1987
Oldy but Goody Paramodulation Revisited.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

1986
Modelling the Combination of Functional and Logic Programming Languages.
J. Symb. Comput., 1986

Wissensrepräsentation und Programmiersprachen.
Proceedings of the Wissensarten und ihre Darstellung, 1986

Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985
Extended Unification and its Implementation.
Proceedings of the GWAI-85, 1985

1984
Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel.
Proceedings of the Kognitive Aspekte der Mensch-Computer-Interaktion, 1984

Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science.
Proceedings of the GWAI-84, 1984

Towards a Theory of Knowledge Representation Systems.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983
Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen.
PhD thesis, 1983

1978
Strategies for the synthesis of algorithms.
Proceedings of the Programmiersprachen, 1978


  Loading...