Ario Santoso

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