Publications
Publications
Ario Santoso and Michael Felderer. Specification-Driven Predictive Business Process Monitoring. International Journal on Software and Systems Modeling (SoSym). Springer. 2019. DOI: https://doi.org/10.1007/s10270-019-00761-w.
Ario Santoso. Specification-Driven Multi-Perspective Predictive Business Process Monitoring. In Enterprise, Business-Process and Information Systems Modeling, BPMDS 2018, EMMSAD 2018. LNBIP. vol 318. pages 97-113. Springer. 2018.
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, and Wil van der Aalst. Conceptual schema transformation in ontology-based data access. In Proc. of the 21st Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2018). LNCS. vol 11313. pages 50-67. Springer. 2018.
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso. OBDA for log extraction in process mining. In Reasoning Web: Semantic Interoperability on the Web -- 13th Int. Reasoning Web Summer School (RW 2017). LNCS vol 10370. Springer. 2017.
Diego Calvanese, Marco Montali, and Ario Santoso. Verification of generalized inconsistency-aware knowledge and action bases. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 2847-2853. AAAI Press. 2015.
Diego Calvanese, Marco Montali, and Ario Santoso. Inconsistency management in generalized knowledge and action bases. In Proc. of the 28th Int. Workshop on Description Logics (DL 2015), volume 1350 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/. 2015.
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso. Verification of context-sensitive knowledge and action bases. In Proc. of the 14th European Conf. on Logics in Artificial Intelligence (JELIA 2014), LNAI, vol. 8761, pages 514 – 528, Springer. 2014.
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso. Adding context to knowledge and action bases. In Workshop Notes of the 6th Int. Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014), volume arXiv:1412.7965 of CoRR Technical Report, pages 25-36. arXiv.org e-Print archive. 2014. Available at http://arxiv.org/abs/1412.7965.
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin. Verification of semantically-enhanced artifact systems. In Proc. of the 11th Int. Conf. on Service Oriented Computing (ICSOC 2013), LNCS. Springer. 2013.
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). 2013.
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), vol. 1014 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 107-119. 2013.
Ario Santoso. When Data, Knowledge and Processes Meet Together. In Proc. of the 6th International Conference on Web Reasoning and Rule Systems (RR 12), LNCS, vol. 7497, pages 291–296, Springer. 2012.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso. Ontology-Based Governance of Data-Aware Processes. In Proc. of the 6th International Conference on Web Reasoning and Rule Systems (RR 12), LNCS, vol. 7497, pages 25 – 41, Springer. 2012.
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso. Semantically-Governed Data-Aware Processes. In Proc. of the 1st Int. Workshop on Knowledge-intensive Business Processes (KiBP 2012), vol. 861 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 21–32. 2012.
Diego Calvanese and Ario Santoso. Best Service Synthesis in the Weighted Roman Model. In Proc. of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), vol. 847 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 42-49. 2012.
Andreas Thalhammer, Timofey Ermilov, Katariina Nyberg, Ario Santoso and John Domingue. MovieGoer - Semantic Social Recommendations and Personalised Location-Based Offers. In the Posters and Demos Session at the 10th International Semantic Web Conference (ISWC). 2011.
Lim Yohanes Stefanus and Ario Santoso. A Prolog-based Proof Tool for Type Theory TAλ and Implicational-Logic. In Proc. of the 8th International Workshop on the Implementation of Logics (IWIL). 2010. (Within the 17th International Conference on Logic for Programming,Artificial Intelligence and Reasoning (LPAR-17). 2010).