Ulrich Furbach

Florian Furbach

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.

[BibT_eX]

[DOI]

Künstliche Intell., 2015

Automated Reasoning for Robot Ethics.

[BibT_eX]

[DOI]

CoRR, 2015

Automated Reasoning in the Wild.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

Tackling Benchmark Problems of Commonsense Reasoning.

[BibT_eX]

[DOI]

Andrew S. Gordon

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

Deontic Logic for Human Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

On First-Order Model-Based Reasoning.

[BibT_eX]

[DOI]

Maria Paola Bonacina

Viorica Sofronie-Stokkermans

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Representation and Reasoning [Guest editor's introduction].

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2014

Cognitive Systems and Question Answering.

[BibT_eX]

[DOI]

CoRR, 2014

Semantically Guided Evolution of SHI ABoxes.

[BibT_eX]

[DOI]

CoRR, 2014

Automated Reasoning in Deontic Logic.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

2013

Semantically Guided Evolution of ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

NUI-Based Floor Navigation - A Case Study.

[BibT_eX]

[DOI]

Markus Maron

Proceedings of the Design, User Experience, and Usability. User Experience in Novel Technological Environments, 2013

Do we need Asimov's Laws?

[BibT_eX]

[DOI]

Ulrike Barthelmess

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

Neue Medien? - Neue Uni!

[BibT_eX]

[DOI]

Künstliche Intell., 2012

Turing und Künstliche Intelligenz.

[BibT_eX]

[DOI]

Inform. Spektrum, 2012

IRobot - uMan - Künstliche Intelligenz und Kultur: eine jahrtausendealte Beziehungskiste.

[BibT_eX]

[DOI]

Ulrike Barthelmeß

Springer, ISBN: 978-3-642-22927-5, 2012

2011

Vom Schmuddelkind zum Fachbereich.

[BibT_eX]

[DOI]

Hans-Jürgen Bürckert

Künstliche Intell., 2011

Künstliche Intelligenz.

[BibT_eX]

[DOI]

Inform. Spektrum, 2011

First-Order Tableaux in Applications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

MAS: Qualitative and Quantitative Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Logic-Based Question Answering.

[BibT_eX]

[DOI]

Künstliche Intell., 2010

An application of automated reasoning in natural language question answering.

[BibT_eX]

[DOI]

Ingo Glöckner

AI Commun., 2010

Extending CTL to Specify Quantitative Temporal Requirements.

[BibT_eX]

Proceedings of the Modelling, 2010

2009

From Reactive to Deliberative Multi-agent Planning.

[BibT_eX]

Proceedings of the Modelling, 2009

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

A Knowledge Compilation Technique for ALC Tboxes.

[BibT_eX]

[DOI]

Heiko Günther

Claudia Obermaier

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008

Editorial.

[BibT_eX]

[DOI]

Künstliche Intell., 2008

IJCAR Preface.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Modeling Multi-agent Logistic Process System using Hybrid Automata.

[BibT_eX]

Proceedings of the Modelling, 2008

LogAnswer - A Deduction-Based Question Answering System (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Location based Informationsystems.

[BibT_eX]

[DOI]

Markus Maron

Kevin Read

Künstliche Intell., 2007

Model Checking Hybrid Multiagent Systems for the RoboCup.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Knowledge Compilation for Description Logics.

[BibT_eX]

[DOI]

Claudia Obermaier

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.

[BibT_eX]

[DOI]

Markus Maron

Kevin Read

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Hyper Tableaux with Equality.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Constructing Ambient Intelligence, 2007

2006

Applications of Automated Reasoning.

[BibT_eX]

[DOI]

Claudia Obermaier

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

2005

Automated Reasoning, Knowledge Representation and Management.

[BibT_eX]

[DOI]

Adnan H. Yahya

Künstliche Intell., 2005

Living Books, Automated Deduction and Other Strange Things.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Living Book - Deduction, Slicing, and Interaction.

[BibT_eX]

[DOI]

J. Autom. Reason., 2004

Optimizing the Evaluation of XPath Using Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Model Based Deduction for Database Schema Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

2003

Automated Deduction Techniques for the Management of Personalized Documents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

AI--A multiple book review.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Living Books.

[BibT_eX]

[DOI]

Margret Groß-Hardt

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.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 6th International Conference, 2003

'Living Book': -'Deduction', 'Slicing', 'Interaction'.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Künstliche Intell., 2002

2001

Jahresbericht 2000 des FB1 der GI.

[BibT_eX]

Künstliche Intell., 2001

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.

[BibT_eX]

[DOI]

Jürgen Dix

Ilkka Niemelä

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Intelligente Agenten und KI.

[BibT_eX]

Oliver Obst

Jahresbericht 1999 des Sprechers des FB1 der GI.

[BibT_eX]

Künstliche Intell., 2000

A Confluent Connection Calculus.

[BibT_eX]

Norbert Eisinger

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".

[BibT_eX]

Franz Josef Radermacher

Künstliche Intell., 1999

1998

Automated Deduction: a Technological Point of View.

[BibT_eX]

Künstliche Intell., 1998

Disjunctive Logic Program = Horn Program + Control Program.

[BibT_eX]

[DOI]

Wenjin Lu

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Computing Answers with Model Elimination.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Tableaux for Diagnosis Applications.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Semantically Guided Theorem Proving for Diagnosis Applications.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Calculi for Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Logisches Programmieren mit Negation und Disjunktion.

[BibT_eX]

Jürgen Dix

Künstliche Intell., 1996

Deduktion und Logisches Programmieren.

[BibT_eX]

Künstliche Intell., 1996

Hyper Tableaux.

[BibT_eX]

[DOI]

Ilkka Niemelä

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

[BibT_eX]

[DOI]

Chandrabose Aravindan

Proceedings of the Logic Programming, 1996

Hyper Tableaux and Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995

Ist die Wissensrepräsentation tot?

[BibT_eX]

Künstliche Intell., 1995

From Theorem Proving to Logic Programming.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

Model Elimination, Logic Programming and Computing Answers.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Model Elimination Without Contrapositives and Its Application to PTTP.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

Theory Reasoning in First Order Calculi.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Model Elimination Without Contrapositives.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 1993

Consolution as a Framework for Comparing Calculi.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

1992

ILPS'91 - International Logic Programming Syposium.

[BibT_eX]

Künstliche Intell., 1992

Logik, KI und Intellektik.

[BibT_eX]

Wolfgang Bibel

Künstliche Intell., 1992

Computing Answers for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1992

1991

Splitting as a source of parallelism in disjunctive logic programs

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1991

Answers for disjunctive logic programs

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1991

Workshop on "Massively Parallel Inference Systems".

[BibT_eX]

Walter Hower

Künstliche Intell., 1991

Logische und funktionale Programmierung - Grundlagen einer Kombination.

[BibT_eX]

Artificial intelligence = Künstliche Intelligenz, Vieweg, ISBN: 978-3-528-05127-3, 1991

1990

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".

[BibT_eX]

Ulrich Hedtstück

Wolfgang Wernecke

Künstliche Intell., 1990

1989

Linear paramodulation modulo equality

[BibT_eX]

[DOI]

Joachim F. Schreiber

Forschungsberichte, TU Munich, 1989

Equations, order-sortedness and inheritance in logic programming

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1989

Ein Konstanzer Prolog-Workshop.

[BibT_eX]

Künstliche Intell., 1989

Horn Equational Theories and Paramodulation.

[BibT_eX]

[DOI]

Joachim F. Schreiber

J. Autom. Reason., 1989

ALPES: A Programming Environment for Logic Programming.

[BibT_eX]

[DOI]

Bertram Fronhöfer

Proceedings of the Wissensbasierte Systeme, 1989

1988

Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen

[BibT_eX]

[DOI]

Gerhard Dirlich

Forschungsberichte, TU Munich, 1988

Sorts are nothing but functions: an equational approach to sorts for logic programming

[BibT_eX]

[DOI]

Thierry Conrad

Forschungsberichte, TU Munich, 1988

Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold

[BibT_eX]

[DOI]

Bertram Fronhöfer

Forschungsberichte, TU Munich, 1988

FHCL - functions in Horn Clause logic

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1988

1987

Oldy but Goody Paramodulation Revisited.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Symb. Comput., 1986

Wissensrepräsentation und Programmiersprachen.

[BibT_eX]

[DOI]

Proceedings of the Wissensarten und ihre Darstellung, 1986

Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.

[BibT_eX]

[DOI]

Bertram Fronhöfer

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985

Extended Unification and its Implementation.

[BibT_eX]

[DOI]

Thomas Laußermair

Proceedings of the GWAI-85, 1985

1984

Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel.

[BibT_eX]

[DOI]

Proceedings of the Kognitive Aspekte der Mensch-Computer-Interaktion, 1984

Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science.

[BibT_eX]

[DOI]

Gerhard Dirlich

Proceedings of the GWAI-84, 1984

Towards a Theory of Knowledge Representation Systems.

[BibT_eX]

Gerhard Dirlich

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen.

[BibT_eX]

[DOI]

PhD thesis, 1983

1978

Strategies for the synthesis of algorithms.

[BibT_eX]

[DOI]

Wolfgang Bibel