Autor der Publikation

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.

, , und . Description Logics, Volume 846 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification., , und . Logical Methods in Computer Science, (2016)Unification in the Description Logic EL, und . Logical Methods in Computer Science, (2010)Hybrid Unification in the Description Logic EL., , und . UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 8-12. EasyChair, (2013)Recent Advances in Unification for the EL Family., , und . UNIF, Volume 24 von EPiC Series in Computing, Seite 1-6. EasyChair, (2012)SAT Encoding of Unification in $ELH_R^+$ w.r.t. Cycle-Restricted Ontologies., , und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 30-44. Springer, (2012)Matching with Respect to General Concept Inclusions in the Description Logic EL., und . Description Logics, Volume 1193 von CEUR Workshop Proceedings, Seite 33-44. CEUR-WS.org, (2014)A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes., , und . Description Logics, Volume 846 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)A Goal-Oriented Algorithm for Unification in $ELH_R+$ w.r.t. Cycle-Restricted Ontologies., , und . Australasian Conference on Artificial Intelligence, Volume 7691 von Lecture Notes in Computer Science, Seite 493-504. Springer, (2012)Dog Breed Library with Picture-Based Search Using Neural Networks., , , und . CSIT (1), Seite 17-20. IEEE, (2021)General E -unification with Eager Variable Elimination and a Nice Cycle Rule.. J. Autom. Reasoning, 39 (1): 77-106 (2007)