| 2008 |
|---|
| 73 | EE | Ulrich Furbach,
Ingo Glöckner,
Hermann Helbig,
Björn Pelzer:
LogAnswer - A Deduction-Based Question Answering System (System Description).
IJCAR 2008: 139-146 |
| 72 | | Ammar Mohammed,
Ulrich Furbach:
Modeling Multi-agent Logistic Process System using Hybrid Automata.
MSVVEIS 2008: 141-149 |
| 71 | EE | Ulrich Furbach:
IJCAR Preface.
J. Autom. Reasoning 40(2-3): 87-88 (2008) |
| 2007 |
|---|
| 70 | EE | Peter Baumgartner,
Ulrich Furbach,
Björn Pelzer:
Hyper Tableaux with Equality.
CADE 2007: 492-507 |
| 69 | | Ulrich Furbach,
Markus Maron,
Kevin Read:
CAMPUS NEWS - an Information Network for Pervasive Universities.
GI Jahrestagung (1) 2007: 508-512 |
| 68 | EE | Ulrich Furbach,
Claudia Obermaier:
Knowledge Compilation for Description Logics.
KESE 2007 |
| 67 | EE | Ulrich Furbach,
Jan Murray,
Falk Schmidsberger,
Frieder Stolzenburg:
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking.
PROMAS 2007: 205-220 |
| 66 | EE | Ulrich Furbach,
Jan Murray,
Falk Schmidsberger,
Frieder Stolzenburg:
Model Checking Hybrid Multiagent Systems for the RoboCup.
RoboCup 2007: 262-269 |
| 2006 |
|---|
| 65 | | Ulrich Furbach,
Natarajan Shankar:
Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Springer 2006 |
| 64 | EE | Ulrich Furbach,
Claudia Obermaier:
Applications of Automated Reasoning.
KI 2006: 174-187 |
| 2005 |
|---|
| 63 | | Ulrich Furbach:
KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
Springer 2005 |
| 62 | EE | Peter Baumgartner,
Ulrich Furbach:
Living Books, Automated Deduction and Other Strange Things.
Mechanizing Mathematical Reasoning 2005: 249-267 |
| 61 | EE | Peter Baumgartner,
Ulrich Furbach,
Adnan H. Yahya:
Automated Reasoning, Knowledge Representation and Management.
KI 19(1): 5- (2005) |
| 2004 |
|---|
| 60 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Thomas Kleemann:
Optimizing the Evaluation of XPath Using Description Logics.
INAP/WLP 2004: 1-15 |
| 59 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Thomas Kleemann:
Model Based Deduction for Database Schema Reasoning.
KI 2004: 168-182 |
| 58 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Alex Sinner:
Living Book - Deduction, Slicing, and Interaction.
J. Autom. Reasoning 32(3): 259-286 (2004) |
| 2003 |
|---|
| 57 | EE | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt,
Alex Sinner:
'Living Book': -'Deduction', 'Slicing', 'Interaction'.
CADE 2003: 284-288 |
| 56 | EE | Gerd Beuster,
Ulrich Furbach,
Margret Groß-Hardt,
Bernd Thomas:
Automatic Classification for the Identification of Relationships in a Meta-Data Repository.
Discovery Science 2003: 283-290 |
| 55 | | Peter Baumgartner,
Ulrich Furbach,
Margret Groß-Hardt:
Living Books.
Wirtschaftsinformatik (1) 2003: 693-706 |
| 54 | | Peter Baumgartner,
Ulrich Furbach:
Automated Deduction Techniques for the Management of Personalized Documents.
Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003) |
| 53 | EE | Ulrich Furbach:
AI--A multiple book review.
Artif. Intell. 145(1-2): 245-252 (2003) |
| 2002 |
|---|
| 52 | | Ulrich Furbach:
Wissenssysteme aus der Sicht der Inferenz.
KI 16(1): 61-63 (2002) |
| 2001 |
|---|
| 51 | | Jürgen Dix,
Ulrich Furbach,
Ilkka Niemelä:
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Handbook of Automated Reasoning 2001: 1241-1354 |
| 50 | | Ulrich Furbach:
Jahresbericht 2000 des FB1 der GI.
KI 15(2): 65 (2001) |
| 2000 |
|---|
| 49 | | John W. Lloyd,
Verónica Dahl,
Ulrich Furbach,
Manfred Kerber,
Kung-Kiu Lau,
Catuscia Palamidessi,
Luís Moniz Pereira,
Yehoshua Sagiv,
Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
Springer 2000 |
| 48 | | Peter Baumgartner,
Norbert Eisinger,
Ulrich Furbach:
A Confluent Connection Calculus.
Intellectics and Computational Logic 2000: 3-26 |
| 47 | | Ulrich Furbach:
Jahresbericht 1999 des Sprechers des FB1 der GI.
KI 14(2): 58 (2000) |
| 46 | | Ulrich Furbach,
Oliver Obst,
Frieder Stolzenburg:
Intelligente Agenten und KI.
LOG IN 20(3/4): 17- (2000) |
| 1999 |
|---|
| 45 | EE | Peter Baumgartner,
Norbert Eisinger,
Ulrich Furbach:
A Confluent Connection Calculus.
CADE 1999: 329-343 |
| 44 | | Thomas Christaller,
Ulrich Furbach,
Reinhard Keil-Slawik,
Bernd Neumann,
Franz Josef Radermacher:
Kommentare zum Diskussionsbeitrag ``Die militärische Seite der KI''.
KI 13(1): 60-63 (1999) |
| 1998 |
|---|
| 43 | | Jürgen Dix,
Luis Fariñas del Cerro,
Ulrich Furbach:
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings
Springer 1998 |
| 42 | EE | Wenjin Lu,
Ulrich Furbach:
Disjunctive Logic Program = Horn Program + Control Program.
JELIA 1998: 33-46 |
| 41 | | Peter Baumgartner,
Ingo Dahn,
Jürgen Dix,
Ulrich Furbach,
Michael Kühn,
Frieder Stolzenburg,
Bernd Thomas:
Automated Deduction: a Technological Point of View.
KI 12(4): 7-14 (1998) |
| 1997 |
|---|
| 40 | | Jürgen Dix,
Ulrich Furbach,
Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Springer 1997 |
| 39 | | Peter Baumgartner,
Ulrich Furbach:
Calculi for Disjunctive Logic Programming.
ICLP 1997: 409 |
| 38 | | Peter Baumgartner,
Peter Fröhlich,
Ulrich Furbach,
Wolfgang Nejdl:
Semantically Guided Theorem Proving for Diagnosis Applications.
IJCAI (1) 1997: 460-465 |
| 37 | | Peter Baumgartner,
Ulrich Furbach:
Calculi for Disjunctive Logic Programming.
ILPS 1997: 229-243 |
| 36 | | Peter Baumgartner,
Peter Fröhlich,
Ulrich Furbach,
Wolfgang Nejdl:
Tableaux for Diagnosis Applications.
TABLEAUX 1997: 76-90 |
| 35 | EE | Peter Baumgartner,
Ulrich Furbach,
Frieder Stolzenburg:
Computing Answers with Model Elimination.
Artif. Intell. 90(1-2): 135-176 (1997) |
| 1996 |
|---|
| 34 | | Peter Baumgartner,
Ulrich Furbach:
Hyper Tableaux and Disjunctive Logic Programming.
DDLP 1996: 29-43 |
| 33 | | Peter Baumgartner,
Ulrich Furbach,
Ilkka Niemelä:
Hyper Tableaux.
JELIA 1996: 1-17 |
| 32 | | 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: 546 |
| 31 | | Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Dorothea Schäfer,
Frieder Stolzenburg:
Deduktion und Logisches Programmieren.
KI 10(2): 34-39 (1996) |
| 30 | | Jürgen Dix,
Ulrich Furbach:
Logisches Programmieren mit Negation und Disjunktion.
KI 10(3): 24-31 (1996) |
| 1995 |
|---|
| 29 | | Peter Baumgartner,
Ulrich Furbach,
Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers.
IJCAI 1995: 335-341 |
| 28 | | Ulrich Furbach:
From Theorem Proving to Logic Programming.
WLP 1995: 59-62 |
| 27 | | Ulrich Furbach,
Hans-Jürgen Bürckert,
Joachim Hertzberg,
Bernhard Nebel,
Gerhard Brewka,
Gerhard Lakemeyer,
Torsten Schaub,
Frank Puppe:
Ist die Wissensrepräsentation tot?
KI 9(5): 18-26 (1995) |
| 1994 |
|---|
| 26 | | Peter Baumgartner,
Ulrich Furbach:
PROTEIN: A PROver with a Theory Extension INterface.
CADE 1994: 769-773 |
| 25 | | Peter Baumgartner,
Ulrich Furbach:
Model Elimination Without Contrapositives.
CADE 1994: 87-101 |
| 24 | | Ulrich Furbach:
Theory Reasoning in First Order Calculi.
IS/KI 1994: 139-156 |
| 23 | | Peter Baumgartner,
Ulrich Furbach:
Model Elimination Without Contrapositives and Its Application to PTTP.
J. Autom. Reasoning 13(3): 339-359 (1994) |
| 1993 |
|---|
| 22 | | Peter Baumgartner,
Ulrich Furbach:
Consolution as a Framework for Comparing Calculi.
J. Symb. Comput. 16(5): 445-477 (1993) |
| 21 | EE | Ulrich Furbach:
Formal specification methods for reactive systems.
Journal of Systems and Software 21(2): 129-139 (1993) |
| 1992 |
|---|
| 20 | | Ulrich Furbach:
Computing Answers for Disjunctive Logic Programs.
JELIA 1992: 357-372 |
| 19 | | Peter Baumgartner,
Ulrich Furbach:
Consolution as a Framework for Comparing Calculi.
TABLEAUX 1992: 11-14 |
| 18 | | Ulrich Furbach:
ILPS'91 - International Logic Programming Syposium.
KI 6(1): 50 (1992) |
| 17 | | Wolfgang Bibel,
Ulrich Furbach:
Logik, KI und Intellektik.
KI 6(3): 91-94 (1992) |
| 1991 |
|---|
| 16 | | Ulrich Furbach:
Answers for disjunctive logic programs.
GWAI 1991: 23-32 |
| 15 | | Ulrich Furbach,
Walter Hower:
Workshop on ``Massively Parallel Inference Systems''.
KI 5(2): 48-49 (1991) |
| 1990 |
|---|
| 14 | | Ulrich Furbach,
Ulrich Hedtstück,
Wolfgang Wernecke:
Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''.
KI 4(2): 21-23 (1990) |
| 1989 |
|---|
| 13 | | Ulrich Furbach,
Steffen Hölldobler,
Joachim F. Schreiber:
Linear Paramodulation modulo Equality.
GWAI 1989: 107-116 |
| 12 | | Bertram Fronhöfer,
Ulrich Furbach:
ALPES: A Programming Environment for Logic Programming.
Wissensbasierte Systeme 1989: 496-506 |
| 11 | | Ulrich Furbach,
Steffen Hölldobler,
Joachim F. Schreiber:
Horn Equational Theories and Paramodulation.
J. Autom. Reasoning 5(3): 309-337 (1989) |
| 10 | | Alexander Bockmayr,
Klaus Estenfeld,
Ulrich Furbach,
Claus Jäkel:
Ein Konstanzer Prolog-Workshop.
KI 3(4): 15 (1989) |
| 1987 |
|---|
| 9 | | Ulrich Furbach:
Oldy but Goody Paramodulation Revisited.
GWAI 1987: 195-201 |
| 1986 |
|---|
| 8 | | Bertram Fronhöfer,
Ulrich Furbach:
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.
GWAI 1986: 289-300 |
| 7 | | Ulrich Furbach:
Wissensrepräsentation und Programmiersprachen.
Wissensarten und ihre Darstellung 1986: 262-271 |
| 6 | | Ulrich Furbach,
Steffen Hölldobler:
Modelling the Combination of Functional and Logic Programming Languages.
J. Symb. Comput. 2(2): 123-138 (1986) |
| 1985 |
|---|
| 5 | | Steffen Hölldobler,
Ulrich Furbach,
Thomas Laußermair:
Extended Unification and its Implementation.
GWAI 1985: 176-185 |
| 1984 |
|---|
| 4 | | Ulrich Furbach,
Gerhard Dirlich,
Christian Freksa:
Towards a Theory of Knowledge Representation Systems.
AIMSA 1984: 77-84 |
| 3 | | Christian Freksa,
Ulrich Furbach,
Gerhard Dirlich:
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science.
GWAI 1984: 119-144 |
| 2 | | Gerhard Dirlich,
Helmut von Benda,
Christian Freksa,
Ulrich Furbach,
Albrecht Müller,
Klaus Wimmer:
Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel.
Kognitive Aspekte der Mensch-Computer-Interaktion 1984: 22-36 |
| 1978 |
|---|
| 1 | | Wolfgang Bibel,
Ulrich Furbach,
Joachim F. Schreiber:
Strategies for the synthesis of algorithms.
Fachtagung über Programmiersprachen 1978: 97-109 |
