PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Santoso, Ario"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Inconsistency-Aware Knowledge and Action Bases.

, , , , und . IJCAI, Seite 810-816. IJCAI/AAAI, (2013)

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 Santoso, Ario
Eine Person hinzufügen mit dem Namen Santoso, Ario
 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Semantically-Enhanced Artifact Systems (Extended Version)., , , , und . CoRR, (2013)Best Service Synthesis in the Weighted Roman Model., und . ZEUS, Volume 847 von CEUR Workshop Proceedings, Seite 42-49. CEUR-WS.org, (2012)Conceptual Schema Transformation in Ontology-Based Data Access., , , , und . EKAW, Volume 11313 von Lecture Notes in Computer Science, Seite 50-67. Springer, (2018)Verification of Inconsistency-Aware Knowledge and Action Bases., , , , und . IJCAI, Seite 810-816. IJCAI/AAAI, (2013)Specification-Driven Predictive Business Process Monitoring., und . CoRR, (2019)The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access., , , und . BPM (Demos), Volume 1920 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Semantically-Governed Data-Aware Processes., , , , und . KiBP@KR, Volume 861 von CEUR Workshop Proceedings, Seite 21-32. CEUR-WS.org, (2012)Verification of Context-Sensitive Knowledge and Action Bases., , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 514-528. Springer, (2014)Verification of Semantically-Enhanced Artifact Systems., , , , und . ICSOC, Volume 8274 von Lecture Notes in Computer Science, Seite 600-607. Springer, (2013)A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic., und . IWIL@LPAR, Volume 2 von EPiC Series in Computing, Seite 33-41. EasyChair, (2010)