Proceedings

Franz Baader

Theoretical Computer Science , Technische Universität Dresden , Germany

12 papers in the IJCAI proceedings

IJCAI 2025

Contractions Based on Optimal Repairs (Extended Abstract)
with Renata Wassermann
doi:10.24963/ijcai.2025/1204
Details PDF

IJCAI 2017

Query Rewriting for DL-Lite with n-ary Concrete Domains
with Stefan Borgwardt, Marcel Lippmann
doi:10.24963/ijcai.2017/109
Details PDF

IJCAI 2007

Completing Description Logic Knowledge Bases Using Formal Concept Analysis
with Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
Details PDF

IJCAI 2005

Pushing the EL Envelope
with Sebastian Brandt, Carsten Lutz
Details PDF

IJCAI 2003

Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles
Details PDF
Terminological Cycles in a Description Logic with Existential Restrictions
Details PDF

IJCAI 2001

Matching under Side Conditions in Description Logics
with Sebastian Brandt, Ralf Küsters
Details PDF

IJCAI 1999

Computing Least Common Subsumers in Description Logics with Existential Restrictions
with Ralf Küsters, Ralf Molitor
Details PDF

IJCAI 1995

Terminological Logics with Modal Operators
with Armin Laux
Details PDF

IJCAI 1993

How to Prefer More Specific Defaults in Terminological Default Logic
with Bernhard Hollunder
Details PDF

IJCAI 1991

A Scheme for Integrating Concrete Domains into Concept Languages
with Philipp Hanschke
Details PDF
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards