Demo Data from EDBT 2026 / reviewers in the wild / expert
Ario Santoso
dblp:10/11440
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action theories |
0.4 | 2 | 2015 | 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.4 | 2 | 2015 | 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.1 | 2 | 2015 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Specification-driven predictive business process monitoringabstractAbstract 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 |
EKAW | 4 |
| 2015 | Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Marco Montali, Ario Santoso |
IJCAI | 3 |
| 2014 | Verification of Context-Sensitive Knowledge and Action Bases
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
JELIA | 4 |
| 2013 | Verification of Semantically-Enhanced Artifact Systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin |
ICSOC | 4 |
| 2013 | Verification of Inconsistency-Aware Knowledge and Action Bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov |
IJCAI | 4 |