# Franz Baader

According to our database1, Franz Baader authored at least 243 papers between 1986 and 2020.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).
CoRR, 2020

Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints.
CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Description Logics with Concrete Domains and General Concept Inclusions Revisited.
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
Expressive cardinality constraints on <i>ALCSCC</i> concepts.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Mixing Description Logics in Privacy-Preserving Ontology Publishing.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries.
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Counting Strategies for the Probabilistic Description Logic <i>ALC</i>^\mathsf ME Under the Principle of Maximum Entropy.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Privacy-Preserving Ontology Publishing for <i>EL</i> Instance Stores.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

The Complexity of the Consistency Problem in the Probabilistic Description Logic <i>ALC</i> ^\mathsf ME.
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
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018

Repairing Description Logic Ontologies by Weakening Axioms.
CoRR, 2018

The Data Complexity of Answering Instance Queries in <i>FL0</i>.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

HQA18 Workshop Chairs' Welcome & Organization.
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

Matching in the Description Logic FL0 with respect to General TBoxes.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Making Repairs in Description Logics More Gentle.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
Proceedings of the GCAI-2018, 2018

Towards Privacy-Preserving Ontology Publishing.
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

Making Repairs in Description Logics More Gentle (Extended Abstract).
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 Fuzzy Description Logics.
Künstliche Intell., 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

Query Rewriting for DL-Lite with n-ary Concrete Domains.
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

Using Ontologies to Query Probabilistic Numerical Data.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Metric Temporal Description Logics with Interval-Rigid Names.
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

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).
Proceedings of the 30th International Workshop on Description Logics, 2017

Preliminary Results on the Identity Problem in Description Logic Ontologies.
Proceedings of the 30th International Workshop on Description Logics, 2017

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).
Proceedings of the 30th International Workshop on Description Logics, 2017

An Introduction to Description Logic.
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

Query and Predicate Emptiness in Ontology-Based Data Access.
J. Artif. Intell. Res., 2016

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.
Log. Methods Comput. Sci., 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

Approximate Unification in the Description Logic <i>FL</i>_0.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Extending the Description Logic with Acyclic TBoxes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Temporal query entailment in the Description Logic SHQ.
J. Web Semant., 2015

On the Decidability Status of Fuzzy ALC with General Concept Inclusions.
J. Philos. Log., 2015

Formalizing biomedical concepts from textual definitions.
J. Biomedical Semantics, 2015

Dismatching and Local Disunification in EL.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Adding Threshold Concepts to the Description Logic <i>EL</i>.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Adding Threshold Concepts to the Description Logic EL.
Proceedings of the 28th International Workshop on Description Logics, 2015

Dismatching and Local Disunification in EL (Extended Abstract).
Proceedings of the 28th International Workshop on Description Logics, 2015

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Runtime verification using the temporal description logic ALC-LTL revisited.
J. Appl. Log., 2014

Invited Talks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Ontology-Based Monitoring of Dynamic Systems.
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

Matching with Respect to General Concept Inclusions in the Description Logic EL.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
On Language Equations with One-sided Concatenation.
Fundam. Inform., 2013

Hybrid Unification in the Description Logic EL.
Proceedings of the 27th International Workshop on Unification, 2013

Learning Formal Definitions for Biomedical Concepts.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Verification of Golog Programs over Description Logic Actions.
Proceedings of the Frontiers of Combining Systems, 2013

Hybrid Unification in the Description Logic.
Proceedings of the Frontiers of Combining Systems, 2013

Hybrid EL-Unification is NP-complete.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalizing Ontology-Based Data Access.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Context-dependent views to axioms and consequences of Semantic Web ontologies.
J. Web Semant., 2012

LTL over description logic axioms.
ACM Trans. Comput. Log., 2012

Editorial.
Informatik Spektrum, 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

Extending Unification in EL Towards General TBoxes.
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

UEL: Unification Solver for EL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.
Proceedings of the 2012 International Workshop on Description Logics, 2012

UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Recent Advances in Unification for the EL Family.
Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Computing Minimal EL-unifiers is Hard.
Proceedings of the Advances in Modal Logic 9, 2012

2011
What's new in Description Logics.
Informatik Spektrum, 2011

Unification in modal and description logics.
Log. J. IGPL, 2011

Are fuzzy description logics with general concept inclusion axioms decidable?
Proceedings of the FUZZ-IEEE 2011, 2011

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic EL without the Top Concept.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic <i>EL</i> without the Top Concept.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010
Axiom Pinpointing in General Tableaux.
J. Log. Comput., 2010

Small is Again Beautiful in Description Logics.
Künstliche Intell., 2010

Automata-Based Axiom Pinpointing.
J. Autom. Reasoning, 2010

Deduktion: von der Theorie zur Anwendung.
Informatik Spektrum, 2010

Unification in the Description Logic EL
Log. Methods Comput. Sci., 2010

SAT Encoding of Unification in <i>EL</i>.
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

Query and Predicate Emptiness in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Verifying Properties of Infinite Sequences of Description Logic Actions.
Proceedings of the ECAI 2010, 2010

2009
Description Logics.
Proceedings of the Handbook on Ontologies, 2009

SNOMED reaching its adolescence: Ontologists' and logicians' health check.
Int. J. Medical Informatics, 2009

A Novel Architecture for Situation Awareness Systems.
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

Description Logics.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

Matching Trace Patterns with Regular Policies.
Proceedings of the Language and Automata Theory and Applications, 2009

Usability Issues in Description Logic Knowledge Base Completion.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Exploring Finite Models in the Description Logic .
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Putting ABox Updates into Action.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Runtime Verification Using a Temporal Description Logic.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Description Logics.
Proceedings of the Handbook of Knowledge Representation, 2008

Automata can show PSpace results for description logics.
Inf. Comput., 2008

Pushing the EL Envelope Further.
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.
Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st, 2008

A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Connecting many-sorted theories.
J. Symb. Log., 2007

Preface to Special Issue on Reasoning in Description Logics.
J. Autom. Reasoning, 2007

Computing the least common subsumer w.r.t. a background terminology.
J. Appl. Log., 2007

Completing Description Logic Knowledge Bases using Formal Concept Analysis.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions.
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

Pinpointing in the Description Logic <i>EL</i><sup>+</sup>.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Pinpointing in the Description Logic EL.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Blocking Automata for PSPACE DLs.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

07401 Abstracts Collection -- Deduction and Decision Procedures.
Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

07401 Executive Summary -- Deduction and Decision Procedures.
Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.
Proceedings of the Artificial Intelligence in Medicine, 2007

Description logic.
Proceedings of the Handbook of Modal Logic., 2007

2006
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics.
Inf. Comput., 2006

Reasoning Support for Ontology Design.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Efficient Reasoning in <i>EL+</i>.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

CEL - A Polynomial-Time Reasoner for Life Science Ontologies.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
19th International Conference on Automated Deduction (CADE-19).
Inf. Comput., 2005

A New <i>n</i>-Ary Existential Quantifier in Description Logics.
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Pushing the EL Envelope.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Connecting Many-Sorted Structures and Theories Through Adjoint Functions.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

05431 Abstracts Collection - Deduction and Applications.
Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

05431 Executive Summary - Deduction and Applications.
Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

Description Logics as Ontology Languages for the Semantic Web.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Integrating Description Logics and Action Formalisms: First Results.
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

Engineering of Logics for the Content-Based Representation of Information.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Applying Formal Concept Analysis to Description Logics.
Proceedings of the Concept Lattices, 2004

Description Logics.
Proceedings of the Handbook on Ontologies, 2004

2003
Description logics with aggregates and concrete domains.
Inf. Syst., 2003

From Tableaux to Automata for Description Logics.
Fundam. Inform., 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

Terminological Cycles in a Description Logic with Existential Restrictions.
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

Fusions of Description Logics and Abstract Description Systems.
J. Artif. Intell. Res., 2002

Deciding the Word Problem in the Union of Equational Theories.
Inf. Comput., 2002

Combining Decision Procedures for Positive Theories Sharing Constructors.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

On the Problem of Computing Small Representations of Least Common Subsumers.
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
An Overview of Tableau Algorithms for Description Logics.
Studia Logica, 2001

Unification of Concept Terms in Description Logics.
J. Symb. Comput., 2001

Heterogeneous information resources need semantic access.
Data Knowl. Eng., 2001

Unification in a Description Logic with Transitive Closure of Roles.
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

TBoxes do not Yield a Compact Representation of Least Common Subsumers.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The Inverse Method Implements the Automata Approach for Modal Satisfiability.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Unification Theory.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
Tableau Algorithms for Description Logics.
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

Combining Equational Theories Sharing Non-Collapse-Free Constructors.
Proceedings of the Frontiers of Combining Systems, 2000

Fusions of Description Logics.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
Expressive Number Restrictions in Description Logics.
J. Log. Comput., 1999

Matching in Description Logics.
J. Log. Comput., 1999

Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.
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

Tractable and Decidable Fragments of Conceptual Graphs.
Proceedings of the Conceptual Structures: Standards and Practices, 1999

Rewriting in Description Logics Using Terminologies.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Matching in Description Logics with Existential Restrictions.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Combining Constraint Solving.
Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

Logic-Based Knowledge Representation.
Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

1998
Combination of Constraint Solvers for Free and Quasi-Free Structures.
Theor. Comput. Sci., 1998

On the Complexity of Boolean Unification.
Inf. Process. Lett., 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

Matching in Description Logics: Preliminary Results.
Proceedings of the Conceptual Structures: Theory, 1998

Description Logics with Concrete Domains and Aggregation.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Structural Subsumption Considered from an Automata-Theoretic Point of View.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies.
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

Combination of Compatible Reduction Orderings that are Total on Ground Terms.
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

Using Automata Theory for Characterizing the Semantics of Terminological Cycles.
Ann. Math. Artif. Intell., 1996

Cardinality Restrictions on Concepts.
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
Combination Techniques and Decision Problems for Disunification.
Theor. Comput. Sci., 1995

Reasoning about structured objects: Knowledge representation meets databases.
Knowledge Eng. Review, 1995

Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.
J. Autom. Reasoning, 1995

Embedding Defaults into Terminological Knowledge Representation Formalisms.
J. Autom. Reasoning, 1995

A Multi-Dimensional Terminological Knowledge Representation Language.
J. Appl. Non Class. Logics, 1995

Combination of Constraint Solving Techniques: An Algebraic POint of View.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Overview: KRDB'95.
Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

Terminological Logics with Modal Operators.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 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.
Journal of Logic, Language and Information, 1993

Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases.
J. ACM, 1993

How to Prefer More Specific Defaults in Terminological Default Logic.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

A Semantics for Open Normal Defaults via a Modified Preferential Approach.
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

Extensions of Concept Languages for a Mechanical Engineering Application.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

Computing Extensions of Terminological Default Theories.
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
KRIS: Knowledge Representation and Inference System.
SIGART Bull., 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

A Terminological Knowledge Representation System with Complete Inference Algorithms.
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

General A- and AX-Unification via Optimized.
Proceedings of the Word Equations and Related Topics, Second International Workshop, 1991

A Scheme for Integrating Concrete Domains into Concept Languages.
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
Unification in Varieties of Completely Regular Semigroups.
Proceedings of the Word Equations and Related Topics, First International Workshop, 1990

Unification Theory.
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

Tutorial on Reasoning and Representation with Concept Languages.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Rewrite Systems for Varieties of Semigroups.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Terminological Cycles in KL-ONE-based Knowledge Representation Languages.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
Unifikation und Reduktionssysteme für Halbgruppenvarietäten.
PhD thesis, 1989

Unification in Commutative Theories.
J. Symb. Comput., 1989

Characterization of Unification Type Zero.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Unification Properties of Commutative Theories: A Categorical Treatment.
Proceedings of the Category Theory and Computer Science, 1989

1988
Unification in Commutative Idempotent Monoids.
Theor. Comput. Sci., 1988

A Note on Unification Type Zero.
Inf. Process. Lett., 1988

1986
The Theory of Idempotent Semigroups is of Unification Type Zero.
J. Autom. Reasoning, 1986