Ario Santoso

ORCID

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 12

Top Venues

CoRR

Description Logics

IJCAI

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Ario Santoso, Michael Felderer
Specification-driven predictive business process monitoring. Softw. Syst. Model. 19 (6) (2020)
Ario Santoso, Michael Felderer
Specification-Driven Predictive Business Process Monitoring. CoRR (2019)
Ario Santoso
Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version). CoRR (2018)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
Conceptual Schema Transformation in Ontology-Based Data Access. EKAW (2018)
Ario Santoso
Specification-Driven Multi-perspective Predictive Business Process Monitoring. BPMDS/EMMSAD@CAiSE (2018)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Description Logics (2018)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
OBDA for Log Extraction in Process Mining. Reasoning Web (2017)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. BPM (Demos) (2017)
Ario Santoso
Verification of Data-aware Business Processes in the Presence of Ontologies. CoRR (2016)
Diego Calvanese, Marco Montali, Ario Santoso
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR (2015)
Diego Calvanese, Marco Montali, Ario Santoso
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. IJCAI (2015)
Diego Calvanese, Marco Montali, Ario Santoso
Inconsistency Management in Generalized Knowledge and Action Bases. Description Logics (2015)
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
Verification of Context-Sensitive Knowledge and Action Bases. JELIA (2014)
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
Adding Context to Knowledge and Action Bases. CoRR (2014)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems. ICSOC (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR (2013)
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Verification of Inconsistency-Aware Knowledge and Action Bases. Description Logics (2013)
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI (2013)
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) CoRR (2013)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
Ontology-Based Governance of Data-Aware Processes. RR (2012)
Diego Calvanese, Ario Santoso
Best Service Synthesis in the Weighted Roman Model. ZEUS (2012)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
Semantically-Governed Data-Aware Processes. KiBP@KR (2012)
Ario Santoso
When Data, Knowledge and Processes Meet Together. RR (2012)
L. Yohanes Stefanus, Ario Santoso
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. IWIL@LPAR (2010)

Ario Santoso.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ario Santoso