Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Franz
    Last name: Baader
    DBLP: b/FBaader
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 205  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Franz Baader, Barbara Morawska.
    Matching with Respect to General Concept Inclusions in the Description Logic EL.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Franz Baader, Stefan Borgwardt, Marcel Lippmann.
    Temporalizing Ontology-Based Data Access.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Franz Baader, Oliver Fernandez Gil, Barbara Morawska.
    Hybrid EL-Unification is NP-complete.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Conference paper
    Franz Baader, Oliver Fernandez Gil, Barbara Morawska.
    Hybrid Unification in the Description Logic.
    Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Franz Baader, Benjamin Zarrieß.
    Verification of Golog Programs over Description Logic Actions.
    Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013
    Journal article
    Franz Baader, Alexander Okhotin.
    On Language Equations with One-sided Concatenation.
    Fundam. Inform. 2013, Volume 126 (0) 2013
    Conference paper
    Franz Baader, Oliver Fernandez Gil, Barbara Morawska.
    Hybrid Unification in the Description Logic EL.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder.
    Learning Formal Definitions for Biomedical Concepts.
    Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013
    Conference paper
    Franz Baader, Alexander Okhotin.
    Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.
    Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska.
    UEL: Unification Solver for EL.
    Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012
    Show item 1 to 10 of 205  

    Your query returned 205 matches in the database.