!!Franz Bader - Publications

More than 250 publications (books and book chapters; refereed conferences
and journals). H-Index: 62 according to GoogleScholar (October 2020). 
Highly cited books according to GoogleScholar: The Description Logic Handbook
cited more than 12000 times; Term Rewriting and All
That cited more than 3600 times. Both are the standard references in the respective
field.
\\ \\
__20 selected publications (2005-2014):__
\\
[[1] F. Baader, S. Brandt, and C. Lutz, "Pushing the EL envelope", In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Morgan-Kaufmann Publishers, pp 364-369, 2005.
\\ \\
[[2] F. Baader, S. Ghilardi, C. Tinelli, "A new combination procedure for
the word problem that generalizes fusion decidability results in modal
logics", Information and Computation 204 (10), pp 1413-1452, 2006
\\ \\
[[3] F. Baader, B. Ganter, U. Sattler, B. Sertkaya, "Completing description
logic knowledge bases using formal concept analysis", in Proc. of the 20th
International Joint Conference on Artificial Intelligence (IJCAI 2007),
AAAI Press/The MIT Press, pp 230-235, 2007
\\ \\
[[4] F. Baader, B. Sertkaya, A.-Y. Turhan, "Computing the least common subsumer
w.r.t. a background terminology", Journal of Applied Logic 5 (3), pp 392-420,
2007
\\ \\
[[5] F. Baader, S. Ghilardi, "Connecting Many-Sorted Theories", The Journal
of Symbolic Logic 72 (2), pp 535-583, 2007
\\ \\
[[6] F. Baader, J. Hladik, R. Peñaloza, "Automata can show PSPACE results
for Description Logics", Information and Computation 209 (9-10), pp 1045-1056,
2008
\\ \\
[[7] F. Baader and F. Distel, "A finite basis for the set of EL-implications holding in a finite model", In Proc. 6th International Conference on Formal Concept Analysis (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 46-61, 2008.
\\ \\
[[8] S. Schulz, B. Suntisrivaraporn, F. Baader, Martin Boeker, " SNOMED
reaching its adolescence: Ontologists' and logicians' health check ", International
Journal of Medical Informatics, 78 (Supplement 1), pp 86-94, 2009
\\ \\
[[9] F. Baader, R. Peñaloza, "Axiom pinpointing in general tableaux", Journal
of Logic and Computation 20 (1), pp 5-34, 2010
\\ \\
[[10] F. Baader, R. Peñaloza, "Automata-based axiom pinpointing", Journal
of Automated Reasoning 45 (2), pp 91-129, 2010
\\ \\
[[11] F. Baader and B. Morawska, "Unification in the description logic EL", Logical Methods in Computer Science 6(3), 2010
\\ \\
[[12] F. Baader, H. Liu, and A. ul Mehdi, "Verifying properties of infinite sequences of description logic actions", In Proc. 19th European Conference on Artificial Intelligence (ECAI 2010), IOS Press, pp 53-58.  2010
\\ \\
[[13] F. Baader and S. Ghilardi, "Unification in modal and description logics", Logic Journal of IGPL 19(6), pp 705–730, 2011
\\ \\
[[14] F. Baader, M. Knechtel, and R. Peñaloza, "Context-dependent views to axioms and consequences
of Semantic Web ontologies", J. Web Semantics 12, pp 22-40, 2012
\\ \\
[[15] F. Baader, S. Ghilardi, and C. Lutz, "LTL over description logic axioms", ACM Trans. Comput.
Log. 13(3), 2012
\\ \\
[[16] F. Baader and A. Okhotin, "On language equations with one-sided concatenation", Fundamenta
Informaticae 126(1), pp 1-35, 2013
\\ \\
[[17] F. Baader, S. Borgwardt, and M. Lippmann, "Temporalizing Ontology-Based Data Access", In Proc. 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 330-344, 2013
\\ \\
[[18] F. Baader and B. Zarrieß, "Verification of Golog programs over description logic actions", In Proc. 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, Springer-Verlag, pp 181-196, 2013 
 \\ \\
[[19] F. Baader, "Ontology-Based Monitoring of Dynamic Systems", In Proc. 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), AAAI Press,  pp 678-681, 2014
\\ \\
[[20] F. Baader, S. Borgwardt, and R. Peñaloza, "On the Decidability Status of Fuzzy ALC with General Concept Inclusions", Journal of Philosophical Logic, 2014. In press