The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ulrich Furbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ulrich Furbach, Gerhard Dirlich, Christian Freksa
    Towards a Theory of Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:77-84 [Conf]
  2. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:3-26 [Conf]
  3. Peter Baumgartner, Ulrich Furbach
    Living Books, Automated Deduction and Other Strange Things. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:249-267 [Conf]
  4. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:329-343 [Conf]
  5. Peter Baumgartner, Ulrich Furbach
    Model Elimination Without Contrapositives. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:87-101 [Conf]
  6. Peter Baumgartner, Ulrich Furbach
    PROTEIN: A PROver with a Theory Extension INterface. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:769-773 [Conf]
  7. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
    'Living Book': -'Deduction', 'Slicing', 'Interaction'. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:284-288 [Conf]
  8. Peter Baumgartner, Ulrich Furbach
    Hyper Tableaux and Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    DDLP, 1996, pp:29-43 [Conf]
  9. Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas
    Automatic Classification for the Identification of Relationships in a Meta-Data Repository. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2003, pp:283-290 [Conf]
  10. Peter Baumgartner, Ulrich Furbach
    Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:409- [Conf]
  11. 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). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:546- [Conf]
  12. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Semantically Guided Theorem Proving for Diagnosis Applications. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:460-465 [Conf]
  13. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
    Model Elimination, Logic Programming and Computing Answers. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:335-341 [Conf]
  14. Ulrich Furbach
    Theory Reasoning in First Order Calculi. [Citation Graph (0, 0)][DBLP]
    IS/KI, 1994, pp:139-156 [Conf]
  15. Wenjin Lu, Ulrich Furbach
    Disjunctive Logic Program = Horn Program + Control Program. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:33-46 [Conf]
  16. Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
    Hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:1-17 [Conf]
  17. Ulrich Furbach
    Computing Answers for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:357-372 [Conf]
  18. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
    Model Based Deduction for Database Schema Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:168-182 [Conf]
  19. Christian Freksa, Ulrich Furbach, Gerhard Dirlich
    Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. [Citation Graph (0, 0)][DBLP]
    GWAI, 1984, pp:119-144 [Conf]
  20. Bertram Fronhöfer, Ulrich Furbach
    Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:289-300 [Conf]
  21. Ulrich Furbach
    Oldy but Goody Paramodulation Revisited. [Citation Graph (0, 0)][DBLP]
    GWAI, 1987, pp:195-201 [Conf]
  22. Ulrich Furbach
    Answers for disjunctive logic programs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1991, pp:23-32 [Conf]
  23. Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
    Linear Paramodulation modulo Equality. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:107-116 [Conf]
  24. Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair
    Extended Unification and its Implementation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:176-185 [Conf]
  25. Gerhard Dirlich, Helmut von Benda, Christian Freksa, Ulrich Furbach, Albrecht Müller, Klaus Wimmer
    Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel. [Citation Graph (0, 0)][DBLP]
    Kognitive Aspekte der Mensch-Computer-Interaktion, 1984, pp:22-36 [Conf]
  26. Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber
    Strategies for the synthesis of algorithms. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1978, pp:97-109 [Conf]
  27. Peter Baumgartner, Ulrich Furbach
    Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:229-243 [Conf]
  28. Peter Baumgartner, Ulrich Furbach
    Consolution as a Framework for Comparing Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:11-14 [Conf]
  29. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Tableaux for Diagnosis Applications. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:76-90 [Conf]
  30. Bertram Fronhöfer, Ulrich Furbach
    ALPES: A Programming Environment for Logic Programming. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1989, pp:496-506 [Conf]
  31. Ulrich Furbach
    Wissensrepräsentation und Programmiersprachen. [Citation Graph (0, 0)][DBLP]
    Wissensarten und ihre Darstellung, 1986, pp:262-271 [Conf]
  32. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt
    Living Books. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik (1), 2003, pp:693-706 [Conf]
  33. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
    Optimizing the Evaluation of XPath Using Description Logics. [Citation Graph (0, 0)][DBLP]
    INAP/WLP, 2004, pp:1-15 [Conf]
  34. Ulrich Furbach
    From Theorem Proving to Logic Programming. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:59-62 [Conf]
  35. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
    Computing Answers with Model Elimination. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:90, n:1-2, pp:135-176 [Journal]
  36. Ulrich Furbach
    AI--A multiple book review. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:145, n:1-2, pp:245-252 [Journal]
  37. Peter Baumgartner, Ulrich Furbach
    Automated Deduction Techniques for the Management of Personalized Documents. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:211-228 [Journal]
  38. Peter Baumgartner, Ulrich Furbach
    Model Elimination Without Contrapositives and Its Application to PTTP. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:339-359 [Journal]
  39. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
    Living Book - Deduction, Slicing, and Interaction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:32, n:3, pp:259-286 [Journal]
  40. Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
    Horn Equational Theories and Paramodulation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:3, pp:309-337 [Journal]
  41. Peter Baumgartner, Ulrich Furbach
    Consolution as a Framework for Comparing Calculi. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:16, n:5, pp:445-477 [Journal]
  42. Ulrich Furbach, Steffen Hölldobler
    Modelling the Combination of Functional and Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1986, v:2, n:2, pp:123-138 [Journal]
  43. Ulrich Furbach
    Formal specification methods for reactive systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1993, v:21, n:2, pp:129-139 [Journal]
  44. Wolfgang Bibel, Ulrich Furbach
    Logik, KI und Intellektik. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:91-94 [Journal]
  45. Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel
    Ein Konstanzer Prolog-Workshop. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:4, pp:15- [Journal]
  46. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
    Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:7-14 [Journal]
  47. Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
    Deduktion und Logisches Programmieren. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:2, pp:34-39 [Journal]
  48. Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
    Automated Reasoning, Knowledge Representation and Management. [Citation Graph (0, 0)][DBLP]
    KI, 2005, v:19, n:1, pp:5-0 [Journal]
  49. Thomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher
    Kommentare zum Diskussionsbeitrag ``Die militärische Seite der KI''. [Citation Graph (0, 0)][DBLP]
    KI, 1999, v:13, n:1, pp:60-63 [Journal]
  50. Jürgen Dix, Ulrich Furbach
    Logisches Programmieren mit Negation und Disjunktion. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:3, pp:24-31 [Journal]
  51. Ulrich Furbach
    Jahresbericht 1999 des Sprechers des FB1 der GI. [Citation Graph (0, 0)][DBLP]
    KI, 2000, v:14, n:2, pp:58- [Journal]
  52. Ulrich Furbach
    Jahresbericht 2000 des FB1 der GI. [Citation Graph (0, 0)][DBLP]
    KI, 2001, v:15, n:2, pp:65- [Journal]
  53. Ulrich Furbach
    Wissenssysteme aus der Sicht der Inferenz. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:1, pp:61-63 [Journal]
  54. Ulrich Furbach
    ILPS'91 - International Logic Programming Syposium. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:1, pp:50- [Journal]
  55. Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
    Ist die Wissensrepräsentation tot? [Citation Graph (0, 0)][DBLP]
    KI, 1995, v:9, n:5, pp:18-26 [Journal]
  56. Ulrich Furbach, Walter Hower
    Workshop on ``Massively Parallel Inference Systems''. [Citation Graph (0, 0)][DBLP]
    KI, 1991, v:5, n:2, pp:48-49 [Journal]
  57. Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
    Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. [Citation Graph (0, 0)][DBLP]
    KI, 1990, v:4, n:2, pp:21-23 [Journal]
  58. Ulrich Furbach, Oliver Obst, Frieder Stolzenburg
    Intelligente Agenten und KI. [Citation Graph (0, 0)][DBLP]
    LOG IN, 2000, v:20, n:3/4, pp:17-0 [Journal]
  59. Peter Baumgartner, Ulrich Furbach, Björn Pelzer
    Hyper Tableaux with Equality. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:492-507 [Conf]
  60. Ulrich Furbach, Claudia Obermaier
    Applications of Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:174-187 [Conf]

  61. LogAnswer - A Deduction-Based Question Answering System (System Description). [Citation Graph (, )][DBLP]


  62. A Knowledge Compilation Technique for ALC Tboxes. [Citation Graph (, )][DBLP]


  63. CAMPUS NEWS - an Information Network for Pervasive Universities. [Citation Graph (, )][DBLP]


  64. Knowledge Compilation for Description Logics. [Citation Graph (, )][DBLP]


  65. Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. [Citation Graph (, )][DBLP]


  66. Model Checking Hybrid Multiagent Systems for the RoboCup. [Citation Graph (, )][DBLP]


  67. Modeling Multi-agent Logistic Process System using Hybrid Automata. [Citation Graph (, )][DBLP]


  68. From Reactive to Deliberative Multi-agent Planning. [Citation Graph (, )][DBLP]


  69. An application of automated reasoning in natural language question answering. [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002