Ario Santoso

According to our database, Ario Santoso authored at least 23 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Specification-driven predictive business process monitoring.

Ario Santoso, Michael Felderer

Softw. Syst. Model., 2020

2018

Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version).

Ario Santoso

CoRR, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.

Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst

Proceedings of the Knowledge Engineering and Knowledge Management, 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

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Specification-Driven Multi-perspective Predictive Business Process Monitoring.

Ario Santoso

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2018

2017

OBDA for Log Extraction in Process Mining.

Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.

Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016

Verification of Data-aware Business Processes in the Presence of Ontologies.

Ario Santoso

PhD thesis, 2016

Verification of Data-aware Business Processes in the Presence of Ontologies.

Ario Santoso

CoRR, 2016

2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).

Diego Calvanese, Marco Montali, Ario Santoso

CoRR, 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.

Diego Calvanese, Marco Montali, Ario Santoso

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.

Diego Calvanese, Marco Montali, Ario Santoso

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Adding Context to Knowledge and Action Bases.

Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso

CoRR, 2014

Verification of Context-Sensitive Knowledge and Action Bases.

Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

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 Semantically-Enhanced Artifact Systems (Extended Version).

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

CoRR, 2013

Verification of Semantically-Enhanced Artifact Systems.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Best Service Synthesis in the Weighted Roman Model.

Diego Calvanese, Ario Santoso

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

When Data, Knowledge and Processes Meet Together.

Ario Santoso

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Ontology-Based Governance of Data-Aware Processes.

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Semantically-Governed Data-Aware Processes.

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

2010

A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic.

L. Yohanes Stefanus, Ario Santoso

Proceedings of the 8th International Workshop on the Implementation of Logics, 2010