PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Nuradiansyah, Adrian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $EL$ TBoxes

, , , und . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)

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.

Keine Personen gefunden für den Autorennamen Nuradiansyah, Adrian
Eine Person hinzufügen mit dem Namen Nuradiansyah, Adrian
 

Weitere Publikationen von Autoren mit dem selben Namen

Mixing description logics in privacy-preserving ontology publishing, und . KI 2019: Advances in Artificial Intelligence, Springer International Publishing, Cham, (2019)Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $EL$ TBoxes, , , und . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Treating role assertions as first-class citizens in repair and error-tolerant reasoning, , und . Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (März 2023)Error-tolerant reasoning in the description logic $EL$ based on optimal repairs, , und . Rules and Reasoning, Springer International Publishing, Cham, (2022)Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract), , , und . Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, CEUR-WS.org, (2022)Error-tolerant reasoning in the description logic $$EL$$ based on optimal repairs, , und . Rules and Reasoning, Springer International Publishing, Cham, (2022)Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version), , , und . LTCS-Report, Technische Universität Dresden, (2022)Safety of quantified ABoxes w.r.t. singleton $\epsilon$ L policies, , , und . Proceedings of the 36th Annual ACM Symposium on Applied Computing, New York, NY, USA, ACM, (März 2021)