Autor der Publikation

A Tableau Algorithm for Handling Inconsistency in OWL.

, , und . ESWC, Volume 5554 von Lecture Notes in Computer Science, Seite 399-413. Springer, (2009)

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

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, , , und . Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, (10 2007-10)Using Description Logic to Formalize Role-Based Access Control Model., , , und . Description Logics, Volume 147 von CEUR Workshop Proceedings, CEUR-WS.org, (2005)A Tableau Algorithm for Handling Inconsistency in OWL., , und . ESWC, Volume 5554 von Lecture Notes in Computer Science, Seite 399-413. Springer, (2009)Four-Valued Semantics for Default Logic., , und . Canadian AI, Volume 4013 von Lecture Notes in Computer Science, Seite 195-205. Springer, (2006)An Empirical Study on Context Length for Open-Domain Dialog Generation., und . CoRR, (2024)Reasoning About Hybrid Probabilistic Knowledge Bases., , , und . PRICAI, Volume 4099 von Lecture Notes in Computer Science, Seite 130-139. Springer, (2006)A Note on Tableaux of Logic of Paradox., und . KI, Volume 861 von Lecture Notes in Computer Science, Seite 296-307. Springer, (1994)Quasi-Classical Description Logic., und . J. Multiple Valued Log. Soft Comput., 18 (3-4): 291-327 (2012)Variable Neighborhood Search with Permutation Distance for QAP., , und . KES (4), Volume 3684 von Lecture Notes in Computer Science, Seite 81-88. Springer, (2005)A Hybrid Neural Network and Hidden Markov Model for Time-aware Recommender Systems., und . ICAART (2), Seite 204-213. SciTePress, (2019)