Franz Baader
Orcid: 0000-0002-4049-221XAffiliations:
- Dresden University of Technology, Germany
According to our database1,
Franz Baader
authored at least 297 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Extending the description logic EL with threshold concepts induced by concept measures.
Artif. Intell., January, 2024
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Unification in the Description Logic <i>ELH</i><sub>ℛ</sub><sup>+</sup> Without the Top Concept Modulo Cycle-Restricted Ontologies.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Unification in ℰℒℋ<sub>ℛ+</sub> without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2023
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.
Comput. Graph. Forum, September, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report).
CoRR, 2023
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources.
Dataset, May, 2022
Efficient TBox Reasoning with Value Restrictions using the ℱℒ<sub>0</sub>wer Reasoner.
Theory Pract. Log. Program., 2022
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains.
J. Autom. Reason., 2022
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols.
J. Autom. Reason., 2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.
CoRR, 2022
Error-Tolerant Reasoning in the Description Logic <i>E</i>ℒ Based on Optimal Repairs.
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Optimal ABox Repair w.r.t. Static <i>EL</i> TBoxes: From Quantified ABoxes Back to ABoxes.
Proceedings of the Semantic Web - 19th International Conference, 2022
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).
CoRR, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Automated Deduction - CADE 28, 2021
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
Proceedings of the Automated Deduction - CADE 28, 2021
2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources.
Dataset, May, 2020
ACM Trans. Comput. Log., 2020
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard.
Künstliche Intell., 2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).
CoRR, 2020
Proceedings of the Semantic Web - ISWC 2020, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞<sup>ME</sup> Under the Principle of Maximum Entropy.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞<sup>ME</sup>.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints.
Proceedings of the 32nd International Workshop on Description Logics, 2019
2018
IEEE Trans. Multi Scale Comput. Syst., 2018
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
2017
Decidability and complexity of threshold description logics induced by concept similarity measures.
Proceedings of the Symposium on Applied Computing, 2017
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in <i>FL</i>_0.
Proceedings of the Language and Automata Theory and Applications, 2017
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding.
Proceedings of the Semantic Technology - 7th Joint International Conference, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts.
Proceedings of the GCAI 2017, 2017
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Cambridge University Press, ISBN: 978-0-521-69542-8, 2017
2016
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.
Notre Dame J. Formal Log., 2016
J. Artif. Intell. Res., 2016
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.
Log. Methods Comput. Sci., 2016
Proceedings of the 30th International Workshop on Unification, 2016
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary.
Proceedings of the 30th International Workshop on Unification, 2016
Reasoning with Prototypes in the Description Logic <i>ALC</i> ALC Using Weighted Tree Automata.
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
J. Philos. Log., 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015
2014
J. Appl. Log., 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Matching with Respect to General Concept Inclusions in the Description Logic <i>EL</i>.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
2013
Proceedings of the 27th International Workshop on Unification, 2013
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013
Proceedings of the Frontiers of Combining Systems, 2013
Proceedings of the Frontiers of Combining Systems, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
J. Web Semant., 2012
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012
SAT Encoding of Unification in ℇℒℋ<sub>R<sup>+</sup></sub> w.r.t. Cycle-Restricted Ontologies.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
A Goal-Oriented Algorithm for Unification in ℇℒℋ<sub>R+</sub> w.r.t. Cycle-Restricted Ontologies.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Proceedings of the 25th International Workshop on Unification, 2011
Proceedings of the FUZZ-IEEE 2011, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the ECAI 2010, 2010
2009
Int. J. Medical Informatics, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009
Proceedings of the Language and Automata Theory and Applications, 2009
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Proceedings of the 22nd International Workshop on Unification, 2008
Proceedings of the 22nd International Workshop on Unification, 2008
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008
Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st, 2008
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
2007
J. Appl. Log., 2007
Proceedings of the MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics, 2007
SI! Automata Can Show PSPACE Results for Description Logics.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007
Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007
Proceedings of the Artificial Intelligence in Medicine, 2007
2006
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics.
Inf. Comput., 2006
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005
Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Proceedings of the Proceedings, 2005
2004
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Concept Lattices, 2004
Description Logics.
Proceedings of the Handbook on Ontologies, 2004
2003
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the IJCAI-03, 2003
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles.
Proceedings of the IJCAI-03, 2003
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.
Proceedings of the Conceptual Structures for Knowledge Creation and Communication, 2003
Basic Description Logics.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003
Extensions to Description Logics.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003
Description Logic Terminology.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003
2002
Description Logics for the Semantic Web.
Künstliche Intell., 2002
J. Artif. Intell. Res., 2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002
2001
Proceedings of the Logic for Programming, 2001
Matching under Side Conditions in Description Logics.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Rewriting Concepts Using Terminologies.
Proceedings of the KR 2000, 2000
Matching Concept Descriptions with Existential Restrictions.
Proceedings of the KR 2000, 2000
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.
Proceedings of the Conceptual Structures: Logical, 2000
Proceedings of the Frontiers of Combining Systems, 2000
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000
1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Conceptual Structures: Standards and Practices, 1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999
Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999
1998
Theor. Comput. Sci., 1998
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998
Proceedings of the Conceptual Structures: Theory, 1998
Description Logics with Concrete Domains and Aggregation.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998
Term rewriting and all that.
Cambridge University Press, ISBN: 978-0-521-45520-6, 1998
1997
Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases.
SIGMOD Rec., 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.
Proceedings of the Automated Deduction, 1997
1996
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages.
J. Log. Comput., 1996
Logik-basierte Wissensrepräsentation.
Künstliche Intell., 1996
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.
J. Symb. Comput., 1996
Ann. Math. Artif. Intell., 1996
Combination problems for commutative/monoidal theories or how algebra can help in equational unification.
Appl. Algebra Eng. Commun. Comput., 1996
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Description Logics with Symbolic Number Restrictions.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
Knowledge Representation in Process Engineering.
Proceedings of the 1996 International Workshop on Description Logics, 1996
1995
Theor. Comput. Sci., 1995
Knowl. Eng. Rev., 1995
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.
J. Autom. Reason., 1995
J. Autom. Reason., 1995
J. Appl. Non Class. Logics, 1995
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers.
Proceedings of the 9th International Workshop on Unification, 1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell., 1994
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.
Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994
Unification theory.
Proceedings of the Handbook of Logic in Artificial Intelligence and Logic Programming, 1994
1993
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht.
Künstliche Intell., 1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf., 1993
J. ACM, 1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
1992
Terminologische Logiken.
Künstliche Intell., 1992
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992
Are Complete an Expressiv Terminological Systems Feasible?
Proceedings of the Issues in Description Logics: Users Meet Developers, 1992
1991
AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems.
Künstliche Intell., 1991
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991
Proceedings of the Processing Declarative Knowledge, 1991
Qualifying Number Restrictions in Concept Languages.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Proceedings of the Word Equations and Related Topics, Second International Workshop, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Proceedings of the International Workshop on Terminological Logics 1991, 1991
Cyclic, Transitive, and Concrete Extensions of Concept Languages.
Proceedings of the International Workshop on Terminological Logics 1991, 1991
1990
Proceedings of the Word Equations and Related Topics, First International Workshop, 1990
Proceedings of the Word Equations and Related Topics, First International Workshop, 1990
A Formal Definition for the Expressive Power of Knowledge Representation Languages.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989
Proceedings of the Category Theory and Computer Science, 1989
1988
1986
J. Autom. Reason., 1986