The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franz Baader: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franz Baader, Philipp Hanschke
    A Scheme for Integrating Concrete Domains into Concept Languages. [Citation Graph (3, 0)][DBLP]
    IJCAI, 1991, pp:452-457 [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. Franz Baader
    A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. [Citation Graph (2, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:1, pp:33-54 [Journal]
  4. Franz Baader
    Terminological Cycles in KL-ONE-based Knowledge Representation Languages. [Citation Graph (1, 0)][DBLP]
    AAAI, 1990, pp:621-626 [Conf]
  5. Franz Baader
    A Formal Definition for the Expressive Power of Knowledge Representation Languages. [Citation Graph (1, 0)][DBLP]
    ECAI, 1990, pp:53-58 [Conf]
  6. Franz Baader, Ulrike Sattler
    Description Logics with Concrete Domains and Aggregation. [Citation Graph (1, 0)][DBLP]
    ECAI, 1998, pp:336-340 [Conf]
  7. Franz Baader, Philipp Hanschke
    Extensions of Concept Languages for a Mechanical Engineering Application. [Citation Graph (1, 0)][DBLP]
    GWAI, 1992, pp:132-143 [Conf]
  8. 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]
  9. 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]
  10. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
    Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:572-577 [Conf]
  11. Franz Baader, Ian Horrocks, Ulrike Sattler
    Description Logics as Ontology Languages for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:228-248 [Conf]
  12. Franz Baader, Klaus U. Schulz
    Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:50-65 [Conf]
  13. Franz Baader, Stephan Tobies
    The Inverse Method Implements the Automata Approach for Modal Satisfiability. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:92-106 [Conf]
  14. Franz Baader, Cesare Tinelli
    A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:19-33 [Conf]
  15. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:183-197 [Conf]
  16. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
    CEL - A Polynomial-Time Reasoner for Life Science Ontologies. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:287-291 [Conf]
  17. Franz Baader
    Rewrite Systems for Varieties of Semigroups. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:396-410 [Conf]
  18. Franz Baader, Silvio Ghilardi
    Connecting Many-Sorted Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:278-294 [Conf]
  19. Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka
    Tutorial on Reasoning and Representation with Concept Languages. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:681- [Conf]
  20. Franz Baader, Klaus U. Schulz
    Combining Constraint Solving. [Citation Graph (0, 0)][DBLP]
    CCL, 1999, pp:104-158 [Conf]
  21. Franz Baader, Klaus U. Schulz
    On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:380-397 [Conf]
  22. Franz Baader
    Unification Properties of Commutative Theories: A Categorical Treatment. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:273-299 [Conf]
  23. Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
    05431 Executive Summary - Deduction and Applications. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  24. Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
    05431 Abstracts Collection - Deduction and Applications. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  25. Franz Baader
    Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  26. Franz Baader
    Description Logic Terminology. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:485-495 [Conf]
  27. Franz Baader
    Cyclic, Transitive, and Concrete Extensions of Concept Languages. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1991, pp:12-16 [Conf]
  28. Franz Baader, Alexander Borgida, Deborah L. McGuinness
    Matching in Description Logics: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  29. 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]
  30. Franz Baader, Ralf Küsters
    Unification in a Description Logic with Transitive Closure of Roles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  31. Franz Baader, Ralf Küsters
    Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  32. Franz Baader, Ralf Küsters
    Matching in Description Logics with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  33. Franz Baader, Ralf Küsters, Ralf Molitor
    Structural Subsumption Considered from an Automata-Theoretic Point of View. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  34. Franz Baader, Ralf Küsters, Frank Wolter
    Extensions to Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:219-261 [Conf]
  35. Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
    A new n-ary existential quantifier in description logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  36. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
    Fusions of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:21-30 [Conf]
  37. Franz Baader, Ralf Molitor
    Rewriting in Description Logics Using Terminologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  38. Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
    Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  39. Franz Baader, Werner Nutt
    Basic Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:43-95 [Conf]
  40. Franz Baader, Werner Nutt
    Are Complete an Expressiv Terminological Systems Feasible? [Citation Graph (0, 0)][DBLP]
    Description Logics, 1992, pp:1-5 [Conf]
  41. Franz Baader, Paliath Narendran
    Unification of Concept Terms in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  42. Franz Baader, Ulrike Sattler
    Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:3-14 [Conf]
  43. Franz Baader, Ulrike Sattler
    Knowledge Representation in Process Engineering. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:74-78 [Conf]
  44. Franz Baader, Ulrike Sattler
    Description Logics with Aggregates and Concrete Domains. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  45. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
    Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  46. Franz Baader, Anni-Yasmin Turhan
    TBoxes do not Yield a Compact Representation of Least Common Subsumers. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  47. 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]
  48. Franz Baader, Paliath Narendran
    Unification of Concept Terms in Description Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:331-335 [Conf]
  49. Franz Baader, Ulrike Sattler
    Description Logics with Symbolic Number Restrictions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:283-287 [Conf]
  50. Franz Baader, Karl Schlechta
    A Semantics for Open Normal Defaults via a Modified Preferential Approach. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:9-16 [Conf]
  51. Franz Baader, Silvio Ghilardi
    Connecting Many-Sorted Structures and Theories Through Adjoint Functions. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:31-47 [Conf]
  52. Franz Baader, Cesare Tinelli
    Combining Equational Theories Sharing Non-Collapse-Free Constructors. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:260-274 [Conf]
  53. Franz Baader
    Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. [Citation Graph (0, 0)][DBLP]
    ICCS, 2003, pp:117-130 [Conf]
  54. Franz Baader, Alexander Borgida, Deborah L. McGuinness
    Matching in Description Logics: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ICCS, 1998, pp:15-34 [Conf]
  55. Franz Baader, Ralf Molitor
    Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ICCS, 2000, pp:292-305 [Conf]
  56. Franz Baader, Ralf Molitor, Stephan Tobies
    Tractable and Decidable Fragments of Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1999, pp:480-493 [Conf]
  57. Franz Baader, Baris Sertkaya
    Applying Formal Concept Analysis to Description Logics. [Citation Graph (0, 0)][DBLP]
    ICFCA, 2004, pp:261-286 [Conf]
  58. Franz Baader
    Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:319-324 [Conf]
  59. Franz Baader
    Terminological Cycles in a Description Logic with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:325-330 [Conf]
  60. Franz Baader
    Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:446-451 [Conf]
  61. Franz Baader, Sebastian Brandt, Ralf Küsters
    Matching under Side Conditions in Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:213-218 [Conf]
  62. Franz Baader, Sebastian Brandt, Carsten Lutz
    Pushing the EL Envelope. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:364-369 [Conf]
  63. 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]
  64. Franz Baader, Ralf Küsters, Ralf Molitor
    Computing Least Common Subsumers in Description Logics with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:96-103 [Conf]
  65. Franz Baader, Armin Laux
    Terminological Logics with Modal Operators. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:808-815 [Conf]
  66. Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
    Completing Description Logic Knowledge Bases Using Formal Concept Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:230-235 [Conf]
  67. Franz Baader
    Unification Theory. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1990, pp:151-170 [Conf]
  68. Franz Baader
    Unification in Varieties of Completely Regular Semigroups. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1990, pp:210-230 [Conf]
  69. Franz Baader, Klaus U. Schulz
    General A- and AX-Unification via Optimized. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:23-42 [Conf]
  70. Franz Baader
    Engineering of Logics for the Content-Based Representation of Information. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:2-3 [Conf]
  71. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
    Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:400-412 [Conf]
  72. Franz Baader
    The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:64-78 [Conf]
  73. Franz Baader, Martin Buchheit, Bernhard Hollunder
    Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:51-62 [Conf]
  74. Franz Baader, Ralf Küsters
    Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. [Citation Graph (0, 0)][DBLP]
    KI, 1998, pp:129-140 [Conf]
  75. Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen
    A New n-Ary Existential Quantifier in Description Logics. [Citation Graph (0, 0)][DBLP]
    KI, 2005, pp:18-33 [Conf]
  76. Franz Baader, Anni-Yasmin Turhan
    On the Problem of Computing Small Representations of Least Common Subsumers. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:99-113 [Conf]
  77. Franz Baader, Bernhard Hollunder
    Embedding Defaults into Terminological Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:306-317 [Conf]
  78. Franz Baader, Ralf Küsters
    Matching Concept Descriptions with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:261-272 [Conf]
  79. Franz Baader, Ralf Küsters, Ralf Molitor
    Rewriting Concepts Using Terminologies. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:297-308 [Conf]
  80. Franz Baader, Ulrike Sattler
    Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:328-339 [Conf]
  81. Bernhard Hollunder, Franz Baader
    Qualifying Number Restrictions in Concept Languages. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:335-346 [Conf]
  82. Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
    Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. [Citation Graph (0, 0)][DBLP]
    KRDB, 1994, pp:- [Conf]
  83. Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
    Overview: KRDB'95. [Citation Graph (0, 0)][DBLP]
    KRDB, 1995, pp:- [Conf]
  84. Franz Baader
    Combination of Compatible Reduction Orderings that are Total on Ground Terms. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:2-13 [Conf]
  85. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
    From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:1-32 [Conf]
  86. Franz Baader, Ralf Küsters
    Unification in a Description Logic with Transitive Closure of Roles. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:217-232 [Conf]
  87. Franz Baader
    Engineering of Logics for the Content-Based Representation of Information. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:23- [Conf]
  88. Franz Baader
    Characterization of Unification Type Zero. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:2-14 [Conf]
  89. Franz Baader
    Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:86-97 [Conf]
  90. Franz Baader, Werner Nutt
    Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:124-135 [Conf]
  91. Franz Baader, Klaus U. Schulz
    Combination Techniques and Decision Problems for Disunification. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:301-315 [Conf]
  92. Franz Baader, Klaus U. Schulz
    Combination of Constraint Solving Techniques: An Algebraic POint of View. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:352-366 [Conf]
  93. Franz Baader, Cesare Tinelli
    Combining Decision Procedures for Positive Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:352-366 [Conf]
  94. Franz Baader, Cesare Tinelli
    Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:175-189 [Conf]
  95. Franz Baader
    Tableau Algorithms for Description Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:1-18 [Conf]
  96. Franz Baader
    A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. [Citation Graph (0, 0)][DBLP]
    WG, 2004, pp:177-188 [Conf]
  97. Franz Baader, Werner Nutt
    Combination Problens for Commutative/Modoidal Theories or How Algebra Can Help in Equational Unification. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1996, v:7, n:4, pp:309-337 [Journal]
  98. 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]
  99. Franz Baader
    Using Automata Theory for Characterizing the Semantics of Terminological Cycles. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:175-219 [Journal]
  100. 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]
  101. Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache
    Heterogeneous information resources need semantic access. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2001, v:36, n:3, pp:211-213 [Journal]
  102. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
    From Tableaux to Automata for Description Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:247-279 [Journal]
  103. Franz Baader
    19th International Conference on Automated Deduction (CADE-19). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:1-2 [Journal]
  104. Franz Baader, Cesare Tinelli
    Deciding the Word Problem in the Union of Equational Theories. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:2, pp:346-390 [Journal]
  105. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1413-1452 [Journal]
  106. Franz Baader
    A Note on Unification Type Zero. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:27, n:2, pp:91-93 [Journal]
  107. Franz Baader
    On the Complexity of Boolean Unification. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:67, n:4, pp:215-220 [Journal]
  108. Franz Baader, Ulrike Sattler
    Description logics with aggregates and concrete domains. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2003, v:28, n:8, pp:979-1004 [Journal]
  109. Franz Baader
    Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:3, pp:477-503 [Journal]
  110. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
    Fusions of Description Logics and Abstract Description Systems. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:1-58 [Journal]
  111. Franz Baader, Hans Jürgen Ohlbach
    A Multi-Dimensional Terminological Knowledge Representation Language. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:2, pp:- [Journal]
  112. Franz Baader
    The Theory of Idempotent Semigroups is of Unification Type Zero. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:3, pp:283-286 [Journal]
  113. 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]
  114. 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]
  115. Franz Baader
    Unification in Commutative Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:5, pp:479-497 [Journal]
  116. Franz Baader, Paliath Narendran
    Unification of Concept Terms in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:31, n:3, pp:277-305 [Journal]
  117. Franz Baader, Klaus U. Schulz
    Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:2, pp:211-243 [Journal]
  118. Franz Baader
    Logik-basierte Wissensrepräsentation. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:3, pp:8-16 [Journal]
  119. 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]
  120. 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]
  121. Franz Baader, Ian Horrocks, Ulrike Sattler
    Description Logics for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KI, 2002, v:16, n:4, pp:57-59 [Journal]
  122. Franz Baader, Alfred Kobsa, Hans-Jürgen Profitlich
    AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    KI, 1991, v:5, n:3, pp:24-25 [Journal]
  123. Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness
    Matching in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:411-447 [Journal]
  124. Franz Baader, Ulrike Sattler
    Expressive Number Restrictions in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:319-350 [Journal]
  125. Franz Baader, Ulrike Sattler
    An Overview of Tableau Algorithms for Description Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:1, pp:5-40 [Journal]
  126. Franz Baader, Manfred A. Jeusfeld, Werner Nutt
    Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 1997, v:26, n:4, pp:44-48 [Journal]
  127. Franz Baader, Wolfram Büttner
    Unification in Commutative Idempotent Monoids. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:56, n:, pp:345-353 [Journal]
  128. Franz Baader, Klaus U. Schulz
    Combination Techniques and Decision Problems for Disunification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:142, n:2, pp:229-255 [Journal]
  129. Franz Baader, Klaus U. Schulz
    Combination of Constraint Solvers for Free and Quasi-Free Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:1, pp:107-161 [Journal]
  130. Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman
    Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:287-291 [Conf]
  131. Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
    Efficient Reasoning in EL+. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  132. Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
    Pinpointing in the Description Logic EL+. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:52-67 [Conf]
  133. Franz Baader, Rafael Peñaloza
    Axiom Pinpointing in General Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:11-27 [Conf]
  134. Franz Baader, Stephan Tobies
    The Inverse Method Implements the Automata Approach for Modal Satisfiability [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  135. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
    Computing the least common subsumer w.r.t. a background terminology. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:392-420 [Journal]
  136. Franz Baader
    Preface to Special Issue on Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:3, pp:245-247 [Journal]

  137. Automata-Based Axiom Pinpointing. [Citation Graph (, )][DBLP]


  138. 07401 Abstracts Collection -- Deduction and Decision Procedures. [Citation Graph (, )][DBLP]


  139. 07401 Executive Summary -- Deduction and Decision Procedures. [Citation Graph (, )][DBLP]


  140. Pinpointing in the Description Logic EL. [Citation Graph (, )][DBLP]


  141. Blocking Automata for PSPACE DLs. [Citation Graph (, )][DBLP]


  142. A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. [Citation Graph (, )][DBLP]


  143. LTL over Description Logic Axioms. [Citation Graph (, )][DBLP]


  144. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP]


  145. Unification in the Description Logic EL. [Citation Graph (, )][DBLP]


  146. Verifying Properties of Infinite Sequences of Description Logic Actions. [Citation Graph (, )][DBLP]


  147. Putting ABox Updates into Action. [Citation Graph (, )][DBLP]


  148. Runtime Verification Using a Temporal Description Logic. [Citation Graph (, )][DBLP]


  149. Exploring Finite Models in the Description Logic . [Citation Graph (, )][DBLP]


  150. Usability Issues in Description Logic Knowledge Base Completion. [Citation Graph (, )][DBLP]


  151. A Finite Basis for the Set of EL-Implications Holding in a Finite Model. [Citation Graph (, )][DBLP]


  152. LTL over Description Logic Axioms. [Citation Graph (, )][DBLP]


  153. Query and Predicate Emptiness in Description Logics. [Citation Graph (, )][DBLP]


  154. Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. [Citation Graph (, )][DBLP]


  155. Unification in the Description Logic EL. [Citation Graph (, )][DBLP]


  156. Description Logics. [Citation Graph (, )][DBLP]


  157. A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. [Citation Graph (, )][DBLP]


  158. A Novel Architecture for Situation Awareness Systems. [Citation Graph (, )][DBLP]


  159. Completing Description Logic Knowledge Bases using Formal Concept Analysis. [Citation Graph (, )][DBLP]


  160. Reasoning Support for Ontology Design. [Citation Graph (, )][DBLP]


  161. Matching Trace Patterns with Regular Policies. [Citation Graph (, )][DBLP]


  162. SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. [Citation Graph (, )][DBLP]


  163. Unification in the Description Logic EL [Citation Graph (, )][DBLP]


Search in 0.063secs, Finished in 0.068secs
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