dblp.uni-trier.dewww.uni-trier.de

Ulrich Furbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
76 Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
2008
75EEUlrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146
74 Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149
73EEUlrich Furbach: IJCAR Preface. J. Autom. Reasoning 40(2-3): 87-88 (2008)
72EEUlrich Furbach: Editorial. KI 22(3): 1 (2008)
2007
71EEPeter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507
70 Ulrich Furbach, Markus Maron, Kevin Read: CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) 2007: 508-512
69EEUlrich Furbach, Claudia Obermaier: Knowledge Compilation for Description Logics. KESE 2007
68EEUlrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220
67EEUlrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269
66EEUlrich Furbach, Markus Maron, Kevin Read: Location based Informationsystems. KI 21(3): 64-67 (2007)
2006
65 Ulrich Furbach, Natarajan Shankar: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
64EEUlrich 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
62EEPeter Baumgartner, Ulrich Furbach: Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267
61EEPeter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
2004
60EEPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15
59EEPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182
58EEPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. J. Autom. Reasoning 32(3): 259-286 (2004)
2003
57EEPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: 'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288
56EEGerd 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)
53EEUlrich 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
45EEPeter 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
42EEWenjin 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
35EEPeter 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
33EEPeter 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
26EEPeter Baumgartner, Ulrich Furbach: PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773
25EEPeter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives. CADE 1994: 87-101
24EEUlrich 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)
21EEUlrich Furbach: Formal specification methods for reactive systems. Journal of Systems and Software 21(2): 129-139 (1993)
1992
20EEUlrich 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

Coauthor Index

1Chandrabose Aravindan [32]
2Peter Baumgartner [19] [22] [23] [25] [26] [29] [31] [32] [33] [34] [35] [36] [37] [38] [39] [41] [45] [48] [54] [55] [57] [58] [59] [60] [61] [62] [71]
3Helmut von Benda [2]
4Gerd Beuster [56]
5Wolfgang Bibel [1] [17]
6Alexander Bockmayr [10]
7Gerhard Brewka [27]
8Hans-Jürgen Bürckert [27]
9Luis Fariñas del Cerro [43]
10Thomas Christaller [44]
11Verónica Dahl [49]
12Ingo Dahn (Bernd I. Dahn) [41]
13Gerhard Dirlich [2] [3] [4]
14Jürgen Dix [30] [31] [32] [40] [41] [43] [51]
15Norbert Eisinger [45] [48]
16Klaus Estenfeld [10]
17Christian Freksa [2] [3] [4]
18Peter Fröhlich [36] [38]
19Bertram Fronhöfer [8] [12]
20Ingo Glöckner [75]
21Margret Groß-Hardt [55] [56] [57] [58] [59] [60]
22Ulrich Hedtstück [14]
23Hermann Helbig [75]
24Joachim Hertzberg [27]
25Steffen Hölldobler [5] [6] [11] [13]
26Walter Hower [15]
27Claus Jäkel [10]
28Reinhard Keil-Slawik (Reinhard Keil) [44]
29Manfred Kerber [49]
30Thomas Kleemann [59] [60]
31Michael Kühn [41]
32Gerhard Lakemeyer [27]
33Kung-Kiu Lau [49]
34Thomas Laußermair [5]
35John W. Lloyd [49]
36Wenjin Lu [42]
37Markus Maron [66] [70]
38Ammar Mohammed [74] [76]
39Albrecht Müller [2]
40Jan Murray [67] [68]
41Bernhard Nebel [27]
42Wolfgang Nejdl [36] [38]
43Anil Nerode [40]
44Gerd Neugebauer [32]
45Bernd Neumann [44]
46Ilkka Niemelä [32] [33] [51]
47Claudia Obermaier [64] [69]
48Oliver Obst [46]
49Catuscia Palamidessi [49]
50Björn Pelzer [71] [75]
51Luís Moniz Pereira (Luíz Moniz Pereira) [49]
52Frank Puppe [27]
53Franz Josef Radermacher [44]
54Kevin Read [66] [70]
55Yehoshua Sagiv [49]
56Dorothea Schäfer [31] [32]
57Torsten Schaub [27]
58Falk Schmidsberger [67] [68]
59Joachim F. Schreiber [1] [11] [13]
60Natarajan Shankar [65]
61Alex Sinner [57] [58]
62Frieder Stolzenburg [29] [31] [32] [35] [41] [46] [67] [68]
63Peter J. Stuckey [49]
64Bernd Thomas [41] [56]
65Wolfgang Wernecke [14]
66Klaus Wimmer [2]
67Adnan H. Yahya [61]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)