The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Hollunder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
    Subsumption Algorithms for Concept Description Languages. [Citation Graph (5, 0)][DBLP]
    ECAI, 1990, pp:348-353 [Conf]
  2. Franz Baader, Bernhard Hollunder
    A Terminological Knowledge Representation System with Complete Inference Algorithms. [Citation Graph (3, 0)][DBLP]
    PDK, 1991, pp:67-86 [Conf]
  3. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
    The Complexity of Existential Quantification in Concept Languages. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1992, v:53, n:2-3, pp:309-327 [Journal]
  4. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. [Citation Graph (1, 0)][DBLP]
    KR, 1992, pp:270-281 [Conf]
  5. Franz Baader, Bernhard Hollunder
    KRIS: Knowledge Representation and Inference System. [Citation Graph (1, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:8-14 [Journal]
  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. Franz Baader, Bernhard Hollunder
    Computing Extensions of Terminological Default Theories. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:30-52 [Conf]
  8. 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]
  9. Franz Baader, Bernhard Hollunder
    How to Prefer More Specific Defaults in Terminological Default Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:669-675 [Conf]
  10. Franz Baader, Martin Buchheit, Bernhard Hollunder
    Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:51-62 [Conf]
  11. 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]
  12. Bernhard Hollunder
    Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1990, pp:38-47 [Conf]
  13. Franz Baader, Bernhard Hollunder
    Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:306-317 [Conf]
  14. Bernhard Hollunder, Franz Baader
    Qualifying Number Restrictions in Concept Languages. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:335-346 [Conf]
  15. Bernhard Hollunder
    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:327-335 [Conf]
  16. Franz Baader, Martin Buchheit, Bernhard Hollunder
    Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:88, n:1-2, pp:195-213 [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. Bernhard Hollunder
    Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:133-157 [Journal]
  19. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
    Am empirical analysis of optimization techniques for terminological representation systems. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 1994, v:4, n:2, pp:109-132 [Journal]
  20. Bernhard Hollunder
    An alternative proof method for possibilistic logic and its application to terminological logics. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1995, v:12, n:2, pp:85-109 [Journal]
  21. Franz Baader, Bernhard Hollunder
    Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:14, n:1, pp:149-180 [Journal]
  22. Franz Baader, Bernhard Hollunder
    Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:1, pp:41-68 [Journal]
  23. 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]
  24. Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
    ``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht. [Citation Graph (0, 0)][DBLP]
    KI, 1993, v:7, n:3, pp:24-25 [Journal]
  25. Bernhard Hollunder, Bernhard Nebel
    Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. [Citation Graph (0, 0)][DBLP]
    KI, 1991, v:5, n:3, pp:26-27 [Journal]
  26. Bernhard Hollunder, Bernhard Nebel
    Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:52-53 [Journal]

  27. Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. [Citation Graph (, )][DBLP]


  28. WS-Policy: On Conditional and Custom Assertions. [Citation Graph (, )][DBLP]


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