Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ario Santoso

dblp:10/11440 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
0since 2021 · last 2020
0000-0001-6212-4365ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3Software engineering, systems software and programming languages · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2Databases, data management, data science and information retrieval · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%
Theoretical computer science
2 papers
Automated reasoning and model checking · 100%
Databases, data mining, and information retrieval
2 papers
Data integration and cleaning · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action theories
0.422015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases · IJCAI 2015
Verification of Inconsistency-Aware Knowledge and Action Bases · IJCAI 2013
Automated reasoning and model checking
model checking
0.422015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases · IJCAI 2015
Verification of Inconsistency-Aware Knowledge and Action Bases · IJCAI 2013
Data integration and cleaning › data quality
inconsistency handling
0.122015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases · IJCAI 2015
Verification of Inconsistency-Aware Knowledge and Action Bases · IJCAI 2013

Methods — techniques the papers use, named apart from their topics

verification · 1.1
YearPublicationVenuePosition
2020 Specification-driven predictive business process monitoring
abstract
Abstract Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Differently from previous studies, instead of focusing on a particular prediction task, we present an approach to deal with various prediction tasks based on the given specification of the desired prediction tasks. We also provide an implementation of the approach which is used to conduct experiments using real-life event logs.
Ario Santoso, Michael Felderer
Softw. Syst. Model.1
2018 Conceptual Schema Transformation in Ontology-Based Data Access
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
EKAW4
2015 Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Marco Montali, Ario Santoso
IJCAI3
2014 Verification of Context-Sensitive Knowledge and Action Bases
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
JELIA4
2013 Verification of Semantically-Enhanced Artifact Systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
ICSOC4
2013 Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
IJCAI4