Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ulrich Furbach
2010 – today
- 2012
[j34]- [j33]
- 2011
- [j32]
- [j31]
- [c50]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: 2430-2435
- [c49]
- [c48]
- 2010
- [j30]Ulrich Furbach, Ingo Glöckner, Björn Pelzer: An application of automated reasoning in natural language question answering. AI Commun. 23(2-3): 241-265 (2010)
- [j29]Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: Logic-Based Question Answering. KI 24(1): 51-55 (2010)
- [j28]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): 77-109 (2010)
- [c47]Ammar Mohammed, Ulrich Furbach: Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79
2000 – 2009
- 2009
- [c46]Ulrich Furbach, Heiko Günther, Claudia Obermaier: A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Conference 2009
- [c45]Ammar Mohammed, Ulrich Furbach: Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS 2009: 49-66
- [c44]Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
- 2008
- [j27]
- [j26]
- [c43]Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146
- [c42]Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149
- 2007
- [j25]
- [c41]Ralph Bergmann, Klaus-Dieter Althoff, Ulrich Furbach, Klaus Schmid: Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence. AmI Workshops 2007: 1-3
- [c40]
- [c39]Ulrich Furbach, Markus Maron, Kevin Read: CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) 2007: 508-512
- [c38]
- [c37]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220
- [c36]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269
- 2006
- [c35]
- [e5]Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4130, Springer 2006, ISBN 3-540-37187-7
- 2005
- [j24]Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
- [c34]Peter Baumgartner, Ulrich Furbach: Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267
- [e4]Ulrich Furbach (Ed.): KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings. Lecture Notes in Computer Science 3698, Springer 2005, ISBN 3-540-28761-2
- 2004
- [j23]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. J. Autom. Reasoning 32(3): 259-286 (2004)
- [c33]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182
- [c32]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15
- 2003
- [j22]
- [j21]Peter Baumgartner, Ulrich Furbach: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003)
- [c31]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: 'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288
- [c30]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
- [c29]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt: Living Books. Wirtschaftsinformatik (1) 2003: 693-706
- 2002
- [j20]
- 2001
- [j19]
- [p1]Jürgen Dix, Ulrich Furbach, Ilkka Niemelä: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354
- 2000
- [j18]
- [j17]Ulrich Furbach, Oliver Obst, Frieder Stolzenburg: Intelligente Agenten und KI. LOG IN 20(3/4): 17- (2000)
- [c28]Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26
- [e3]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6
1990 – 1999
- 1999
- [j16]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)
- [c27]Peter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. CADE 1999: 329-343
- 1998
- [j15]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)
- [c26]Wenjin Lu, Ulrich Furbach: Disjunctive Logic Program = Horn Program + Control Program. JELIA 1998: 33-46
- [e2]Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489, Springer 1998, ISBN 3-540-65141-1
- 1997
- [j14]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997)
- [c25]
- [c24]Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465
- [c23]
- [c22]Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90
- [e1]Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7
- 1996
- [j13]Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)
- [j12]Jürgen Dix, Ulrich Furbach: Logisches Programmieren mit Negation und Disjunktion. KI 10(3): 24-31 (1996)
- [c21]Peter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
- [c20]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
- [c19]
- 1995
- [j11]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)
- [c18]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341
- [c17]
- 1994
- [j10]Peter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reasoning 13(3): 339-359 (1994)
- [c16]
- [c15]Peter Baumgartner, Ulrich Furbach: PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773
- [c14]
- 1993
- [j9]Peter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16(5): 445-477 (1993)
- [j8]Ulrich Furbach: Formal specification methods for reactive systems. Journal of Systems and Software 21(2): 129-139 (1993)
- 1992
- [j7]
- [j6]
- [c13]
- [c12]Peter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14
- 1991
- [b1]Ulrich Furbach: Logische und funktionale Programmierung - Grundlagen einer Kombination. Artificial intelligence = Künstliche Intelligenz, Vieweg 1991, ISBN 978-3-528-05127-3, pp. 1-159
- [j5]Ulrich Furbach, Walter Hower: Workshop on ``Massively Parallel Inference Systems''. KI 5(2): 48-49 (1991)
- [c11]
- 1990
- [j4]Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke: Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. KI 4(2): 21-23 (1990)
1980 – 1989
- 1989
- [j3]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Horn Equational Theories and Paramodulation. J. Autom. Reasoning 5(3): 309-337 (1989)
- [j2]Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel: Ein Konstanzer Prolog-Workshop. KI 3(4): 15 (1989)
- [c10]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Linear Paramodulation modulo Equality. GWAI 1989: 107-116
- [c9]Bertram Fronhöfer, Ulrich Furbach: ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme 1989: 496-506
- 1987
- [c8]
- 1986
- [j1]Ulrich Furbach, Steffen Hölldobler: Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. 2(2): 123-138 (1986)
- [c7]Bertram Fronhöfer, Ulrich Furbach: Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI 1986: 289-300
- [c6]Ulrich Furbach: Wissensrepräsentation und Programmiersprachen. Wissensarten und ihre Darstellung 1986: 262-271
- 1985
- [c5]Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair: Extended Unification and its Implementation. GWAI 1985: 176-185
- 1984
- [c4]Ulrich Furbach, Gerhard Dirlich, Christian Freksa: Towards a Theory of Knowledge Representation Systems. AIMSA 1984: 77-84
- [c3]Christian Freksa, Ulrich Furbach, Gerhard Dirlich: Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. GWAI 1984: 119-144
- [c2]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
1970 – 1979
- 1978
- [c1]Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber: Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-15 21:41 CET by the dblp team