Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Franz Baader

Automata-Based Axiom Pinpointing

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Using Causal Relationships to Deal With the Ramification Problem in Action Formalisms Based on Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

On Language Equations With One-Sided Concatenation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies

SSRN Electronic Journal
2012English

Connecting Many-Sorted Structures and Theories Through Adjoint Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Computing the Least Common Subsumer w.r.t. A Background Terminology

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Hybrid Unification in the Description Logic EL

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy