The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans-Jürgen Bürckert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernhard Nebel, Hans-Jürgen Bürckert
    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:356-361 [Conf]
  2. Michael Schillo, Hans-Jürgen Bürckert, Klaus Fischer, Matthias Klusch
    Towards a definition of robustness for market-style open multi-agent systems. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:75-76 [Conf]
  3. Hans-Jürgen Bürckert
    Some Relationships between Unification, restricted Unification, and Matching. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:514-524 [Conf]
  4. Hans-Jürgen Bürckert
    Solving Disequations in Equational Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:517-526 [Conf]
  5. Hans-Jürgen Bürckert
    A Resolution Principle for Clauses with Constraints. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:178-192 [Conf]
  6. Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
    Terminological Knowledge Representation: A Proposal for a Terminological Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1991, pp:120-128 [Conf]
  7. Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
    Concept Logics with Function Symbols. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:406-410 [Conf]
  8. Hans-Jürgen Bürckert, Petra Funk, Gero Vierke
    An Intermodal Dispatch Support System for Intermodal Transport Chains. [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  9. Hans-Jürgen Bürckert
    Terminologies and Rules. [Citation Graph (0, 0)][DBLP]
    IS/KI, 1994, pp:44-63 [Conf]
  10. Bernhard Nebel, Hans-Jürgen Bürckert
    Managing Qualitative Temporal Information: Expressiveness vs. Complexity. [Citation Graph (0, 0)][DBLP]
    IS/KI, 1994, pp:104-117 [Conf]
  11. Hans-Jürgen Bürckert
    Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:277-288 [Conf]
  12. Hans-Jürgen Bürckert, Werner Nutt
    Modellierung epistemischer Propositionen. [Citation Graph (0, 0)][DBLP]
    KI, 1993, pp:264-267 [Conf]
  13. Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
    Task Acquisition with a Description Logic Reasoner. [Citation Graph (0, 0)][DBLP]
    KI, 1995, pp:125-136 [Conf]
  14. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
    On Equational Theories, Unification and Decidability. [Citation Graph (0, 0)][DBLP]
    RTA, 1987, pp:204-215 [Conf]
  15. Hans-Jürgen Bürckert, Klaus Fischer, Gero Vierke
    Holonic Transport Scheduling with Teletruck. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2000, v:14, n:7, pp:697-725 [Journal]
  16. Hans-Jürgen Bürckert
    A Resolution Principle for Constrained Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:2, pp:235-271 [Journal]
  17. Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
    On Skolemization in Constrained Logics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:95-131 [Journal]
  18. Hans-Jürgen Bürckert, Alexander Herold
    Unifikation - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1986, v:9, n:3, pp:186-187 [Journal]
  19. Wray L. Buntine, Hans-Jürgen Bürckert
    On Solving Equations and Disequations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:4, pp:591-629 [Journal]
  20. Bernhard Nebel, Hans-Jürgen Bürckert
    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1995, v:42, n:1, pp:43-66 [Journal]
  21. Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang
    Opening the AC-Unification Race. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:4, pp:465-474 [Journal]
  22. Hans-Jürgen Bürckert
    Matching - A Special Case of Unification? [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:5, pp:523-536 [Journal]
  23. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
    On Equational Theories, Unification, and (Un)Decidability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:1/2, pp:3-49 [Journal]
  24. Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
    Terminologische Logiken. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:23-33 [Journal]
  25. Hans-Jürgen Bürckert
    Protokoll der FB1-Leitungssitzung. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:1, pp:81- [Journal]
  26. Hans-Jürgen Bürckert
    Jahresbericht 2001 des Fachbereich 1 Künstliche Intelligenz. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:2, pp:62-63 [Journal]
  27. Hans-Jürgen Bürckert
    Protokoll der FB-KI-Sitzung am 17.09.2002. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:4, pp:67- [Journal]
  28. Hans-Jürgen Bürckert
    Jahresbericht 2005 des FB Ku"nstliche Intelligenz. [Citation Graph (0, 0)][DBLP]
    KI, 2006, v:20, n:1, pp:66-0 [Journal]
  29. Hans-Jürgen Bürckert
    Deduktion, Abduktion, Induktion. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:69-70 [Journal]
  30. 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]

Search in 0.005secs, Finished in 0.006secs
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