A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. - L. Yohanes Stefanus; Ario Santoso (IWIL@LPAR, 2010)

Semantically-Governed Data-Aware Processes. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Marco Montali; Ario Santoso (KiBP@KR, 2012)

Ontology-Based Governance of Data-Aware Processes. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Marco Montali; Ario Santoso (RR, 2012)

When Data, Knowledge and Processes Meet Together. - Ario Santoso (RR, 2012)

Best Service Synthesis in the Weighted Roman Model. - Diego Calvanese; Ario Santoso (ZEUS, 2012)

Verification of Semantically-Enhanced Artifact Systems. - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Ario Santoso; Dmitry Solomakhin (ICSOC, 2013)

Verification of Inconsistency-Aware Knowledge and Action Bases. - Diego Calvanese; Evgeny Kharlamov; Marco Montali; Ario Santoso; Dmitriy Zheleznyakov (IJCAI, 2013)

Verification of Semantically-Enhanced Artifact Systems (Extended Version). - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Ario Santoso; Dmitry Solomakhin (CoRR, 2013)

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) - Diego Calvanese; Evgeny Kharlamov; Marco Montali; Ario Santoso; Dmitriy Zheleznyakov (CoRR, 2013)

Verification of Context-Sensitive Knowledge and Action Bases. - Diego Calvanese; Ismail Ilkan Ceylan; Marco Montali; Ario Santoso (JELIA, 2014)

Adding Context to Knowledge and Action Bases. - Diego Calvanese; Ismail Ilkan Ceylan; Marco Montali; Ario Santoso (CoRR, 2014)

Inconsistency Management in Generalized Knowledge and Action Bases. - Diego Calvanese; Marco Montali; Ario Santoso (Description Logics, 2015)

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. - Diego Calvanese; Marco Montali; Ario Santoso (IJCAI, 2015)

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version). - Diego Calvanese; Marco Montali; Ario Santoso (CoRR, 2015)

Verification of Data-aware Business Processes in the Presence of Ontologies. - Ario Santoso (CoRR, 2016)

Verification of Data-aware Business Processes in the Presence of Ontologies. - Ario Santoso (2016)

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. - Diego Calvanese; Tahir Emre Kalayci; Marco Montali; Ario Santoso (BPM (Demos), 2017)

OBDA for Log Extraction in Process Mining. - Diego Calvanese; Tahir Emre Kalayci; Marco Montali; Ario Santoso (RW, 2017)

Specification-Driven Multi-perspective Predictive Business Process Monitoring. - Ario Santoso (BPMDS/EMMSAD@CAiSE, 2018)

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). - Diego Calvanese; Tahir Emre Kalayci; Marco Montali; Ario Santoso; Wil M. P. van der Aalst (Description Logics, 2018)

Conceptual Schema Transformation in Ontology-Based Data Access. - Diego Calvanese; Tahir Emre Kalayci; Marco Montali; Ario Santoso; Wil M. P. van der Aalst (EKAW, 2018)

Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version). - Ario Santoso (CoRR, 2018)

Specification-driven predictive business process monitoring. - Ario Santoso; Michael Felderer (Softw. Syst. Model., 2020)