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 218  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Franz Baader, Stefan Borgwardt, Rafael Peñaloza.
    On the Decidability Status of Fuzzy ALC with General Concept Inclusions.
    J. Philosophical Logic 2015, Volume 44 (0) 2015
    Conference paper
    Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder.
    Formalizing biomedical concepts from textual definitions.
    J. Biomedical Semantics 2015, Volume 6 (0) 2015
    Conference paper
    Oliver Fernandez Gil, Franz Baader, Gerhard Brewka.
    Adding Threshold Concepts to the Description Logic EL.
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    Franz Baader, Stefan Borgwardt, Barbara Morawska.
    Dismatching and Local Disunification in EL (Extended Abstract).
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    Franz Baader, Stefan Borgwardt, Barbara Morawska.
    Dismatching and Local Disunification in EL.
    26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland 2015 (0) 2015
    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.
    Ontology-Based Monitoring of Dynamic Systems.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 2014 (0) 2014
    Conference paper
    Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith.
    Invited Talks.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 2014 (0) 2014
    Conference paper
    Franz Baader, Barbara Morawska.
    Matching with Respect to General Concept Inclusions in the Description Logic
    KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Franz Baader, Marcel Lippmann.
    Runtime verification using the temporal description logic ALC-LTL revisited.
    J. Applied Logic 2014, Volume 12 (0) 2014
    Show item 1 to 10 of 218  

    Your query returned 218 matches in the database.