Franz Baader

From International Center for Computational Logic

Prof. Dr.-Ing. Franz Baader

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Automata Theory

Newest Publications

View full publication list

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), June 2020
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019
Details Download
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download
View full publication list
Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Center for Perspicuous Computing

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata