Launch week offerEnds in00h00m00s

annual Promonthly Pro

Franz Baader

Academic Staff, Senior Professor

Technische Universität Dresden

Germany

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Germany

Articles (20)

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Collaborators (6)

Adrian Nuradiansyah

Technische Universität Dresden

GERMANY

View details

Stefan Borgwardt

Research and teaching associate

Technische Universität Dresden

GERMANY

View details

Patrick Koopmann

Assistant Professor

University of Amsterdam

NETHERLANDS

View details

Julián Méndez

Academic Staff

Technische Universität Dresden

GERMANY

View details

Oliver Fernández Gil

Technische Universität Dresden

GERMANY

View details

Raimund Dachselt

Technische Universität Dresden

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Franz Baader

Research Interests

Make your next move.

Explore related searches

Articles (20)

Gärdenfors’s supplementary postulates for partial product contractions

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Contractions Based on Optimal Repairs (Extended Abstract)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

Extending the description logic EL with threshold concepts induced by concept measures

Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Inconsistency- and Error-Tolerant Reasoning w.r.t. ℰℒ⊥ Ontologies

Contractions Based on Optimal Repairs

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning

Optimal Repairs in the Description Logic ℰℒ Revisited

Relating Optimal Repairs in Ontology Engineering with Contraction Operations in Belief Change

Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change

Collaborators (6)

Adrian Nuradiansyah

Stefan Borgwardt

Patrick Koopmann

Julián Méndez

Oliver Fernández Gil

Raimund Dachselt

Make your next move.