Ario Santoso

Orcid: 0000-0001-6212-4365

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Specification-driven predictive business process monitoring.
Softw. Syst. Model., 2020

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

Conceptual Schema Transformation in Ontology-Based Data Access.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).
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.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2018

2017
OBDA for Log Extraction in Process Mining.
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
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.
PhD thesis, 2016

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

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

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Adding Context to Knowledge and Action Bases.
CoRR, 2014

Verification of Context-Sensitive Knowledge and Action Bases.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
CoRR, 2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version).
CoRR, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the IJCAI 2013, 2013

Verification of Semantically-Enhanced Artifact Systems.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012
Best Service Synthesis in the Weighted Roman Model.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

When Data, Knowledge and Processes Meet Together.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Ontology-Based Governance of Data-Aware Processes.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Semantically-Governed Data-Aware Processes.
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.
Proceedings of the 8th International Workshop on the Implementation of Logics, 2010


  Loading...