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

Marco Aruta

dblp:391/4014 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Logic in computer science › many-valued logic › fuzzy logic
fuzzy modal logic
1.012026
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026
Automated reasoning and model checking
model checking
1.012026
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026
Computational complexity › complexity of reasoning
model checking complexity
1.012026
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions · AAAI 2026
Logic in computer science
temporal logic
1.012026
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
YearPublicationVenuePosition
2026 When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
abstract
In 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
AAAI1
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
HealthCom1
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
AAMAS1
2024 ATL for Dynamic Gaming Environments
Marco Aruta, Aniello Murano, Salvatore Romano
EUMAS1