Demo Data from EDBT 2026 / reviewers in the wild / expert
Marco Aruta
dblp:391/4014
· DBLP profile ↗
6ranked-venue papers
6as first author
6since 2021 · last 2026
0009-0001-2440-7310ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 5 first-author · 5 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
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.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 25% Computational complexity · 25% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 77% Multi-agent systems · 23% |
Topics — the 4 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › many-valued logic › fuzzy logic
fuzzy modal logic |
1.0 | 1 | 2026 | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026 |
Automated reasoning and model checking
model checking |
1.0 | 1 | 2026 | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026 |
Computational complexity › complexity of reasoning
model checking complexity |
1.0 | 1 | 2026 | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026 |
Logic in computer science
temporal logic |
1.0 | 1 | 2026 | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
model checking · 2.0fuzzy logic · 2.0complexity analysis · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | When Natural Strategies Meet Fuzziness and Resource-Bounded ActionsabstractIn formal strategic reasoning for Multi-Agent Systems (MAS), agents are typically assumed to (i) employ arbitrarily complex strategies, (ii) execute each move at zero cost, and (iii) operate over fully crisp game structures. These idealized assumptions stand in stark contrast with human decision-making in real-world environments. The natural strategies framework, along with some of its recent variants, partially addresses this gap by restricting strategies to concise rules guarded by regular expressions. Yet, it still overlook both the cost of each action and the uncertainty that often characterizes human perception of facts over the time. In this work, we introduce HumanATLF, a logic that builds upon natural strategies employing both fuzzy semantics and resource‐bound actions: each action carries a real-valued cost drawn from a non‐refillable budget, and atomic conditions and goals have degrees in [0,1]. We give a formal syntax and semantics, and prove that model checking is in P when both the strategy complexity k and resource budget b are fixed, NP-complete if just one strategic operator over Boolean objectives is allowed, and Delta^P_2‐complete when k and b vary. Moreover, we show that recall‐based strategies can be decided in PSPACE. We implement our algorithms in VITAMIN, an open source model-checking tool for MAS and validate them on an adversarial resource-aware drone rescue scenario. Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
AAAI | 1 |
| 2026 | APODSS: An Agentic Pediatric Oncology Decision Support System
Marco Aruta, Ciro Listone, Shilpa Srinivasareddy, Aniello Murano |
ICAART (1) | 1 |
| 2025 | S4H: A Tool for Synthesizing Human-Like Strategies
Marco Aruta, Vadim Malvone, Aniello Murano |
EUMAS (1) | 1 |
| 2025 | ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction
Marco Aruta, Ciro Listone, Giuseppe Murano, Aniello Murano |
HealthCom | 1 |
| 2025 | FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm
Marco Aruta, Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano |
AAMAS | 1 |
| 2024 | ATL for Dynamic Gaming Environments
Marco Aruta, Aniello Murano, Salvatore Romano |
EUMAS | 1 |