( en | de | ru )

 

Disambiguierung von "Baader, Franz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Applying Formal Concept Analysis to Description Logics.

, und . Concept Lattices, Volume 2961 von Lecture Notes in Computer Science, Seite 261--286. Berlin/Heidelberg, Springer, (2004)
DOI: 10.1007/978-3-540-24651-0_24

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Franz Baader

Franz Baader

Franz Hinrich Baader

Horst Baader

Walfried Baader

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , und . CoRR, (2020)Completing Desscription Logic Knowledge Bases using Formal Concept Analysis, , , und . OWLED 2007, (2008)Combination of Compatible Reduction Orderings that are Total on Ground Terms.. LICS, Seite 2-13. IEEE Computer Society, (1997)Terminological Cycles in KL-ONE-based Knowledge Representation Languages.. AAAI, Seite 621-626. AAAI Press / The MIT Press, (1990)SAT Encoding of Unification in EL., und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2010)Dismatching and Local Disunification in EL., , und . RTA, Volume 36 von LIPIcs, Seite 40-56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Privacy-Preserving Ontology Publishing for EL Instance Stores., , und . JELIA, Volume 11468 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2019)The Data Complexity of Answering Instance Queries in FL0., , und . WWW (Companion Volume), Seite 1603-1607. ACM, (2018)Extending the Description Logic with Acyclic TBoxes., und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 1096-1104. IOS Press, (2016)On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers., und . CP, Volume 976 von Lecture Notes in Computer Science, Seite 380-397. Springer, (1995)