60 citations · 86 across the 21 of their papers we have counts for
22 papers
What Counts as Strategic Reasoning? A Systematic Mapping of Chess Research on Humans, Engines, and Language Models
Paolo Ciancarini, Remo Pareschi
Chess has long served as a model domain for studying search, expertise, decision-making, and artificial intelligence. The emergence of large language models (LLMs) has renewed the…
Sensor-Driven Mission Synthesis for UAV/UGV Swarms: A TB-CSPN Coordination Architecture with Hardware-Enforced Safety
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a coordination architecture for heterogeneous UAV/UGV swarms that synthesises mission actions from uncertain, multi-modal sensor evidence while preserving hardw…
A Minimal -- Logic for Risk-Sensitive Abduction
Remo Pareschi
Standard approaches to abductive reasoning can retain multiple candidate explanations, but they do not generally combine explicit compositional cross-hypothesis interaction with an…
From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar
Remo Pareschi
Large language models (LLMs) generate fluent text by incrementally predicting the next token from a prefix. Critics in the generative tradition argue that such systems lack genuine…
Analytic Abduction: Causal Decomposition and Governed Commitment for Human--AI Coordination
Remo Pareschi
Abductive reasoning operates in two directions. The synthetic mode builds explanations from available hypotheses; the analytic mode, conversely, identifies the latent factors whose…
Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural arc…
Identifying and Characterizing Semantic Clones of Solidity Functions
Ermanno Francesco Sannini, Francesco Salzano, Simone Scalabrino +4
Smart Contracts are essential blockchain components, mainly written in Solidity. The high availability of public Solidity code leads to frequent reuse and high clone ratios. Since…
Human-Agent versus Human Pull Requests: A Testing-Focused Characterization and Comparison
Roberto Milanese, Francesco Salzano, Angelica Spina +4
AI-based coding agents are increasingly integrated into software development workflows, collaborating with developers to create pull requests (PRs). Despite their growing adoption,…
Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications
Alessio Di Rubbo, Mattia Neri, Remo Pareschi +3
This paper explores how semantic-space reasoning, traditionally used in computational linguistics, can be extended to tactical decision-making in team sports. Building on the analo…
Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
Francesco Salzano, Simone Scalabrino, Rocco Oliveto +1
Smart Contracts are critical components of blockchain ecosystems, with Solidity as the dominant programming language. While LLMs excel at general-purpose code generation, the uniqu…
Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
Remo Pareschi
Abductive reasoning - the search for plausible explanations - has long been central to human inquiry, from forensics to medicine and scientific discovery. Yet formal approaches in…
From Extraction to Synthesis: Entangled Heuristics for Agent-Augmented Strategic Reasoning
Renato Ghisellini, Remo Pareschi, Marco Pedroni +1
We present a hybrid architecture for agent-augmented strategic reasoning, combining heuristic extraction, semantic activation, and compositional synthesis. Drawing on sources rangi…
An empirical analysis of vulnerability detection tools for solidity smart contracts
Francesco Salzano, Cosmo Kevin Antenucci, Simone Scalabrino +3
The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution…
Human-Artificial Interaction in the Age of Agentic AI: A System-Theoretical Approach
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a novel perspective on human-computer interaction (HCI), framing it as a dynamic interplay between human and computational agents within a networked system. Goi…
Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics
Renato Ghisellini, Remo Pareschi, Marco Pedroni +1
We present a novel approach for recommending actionable strategies by integrating strategic frameworks with decision heuristics through semantic analysis. While strategy frameworks…
Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
Francesco Salzano, Simone Scalabrino, Rocco Oliveto +1
Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, sto…
Integrating Blockchain technology within an Information Ecosystem
Francesco Salzano, Lodovica Marchesi, Remo Pareschi +1
Context: Blockchain-based Information Ecosystems (BBIEs) are a type of information ecosystem in which blockchain technology is used to provide a trust mechanism among parties and t…
Abductive Reasoning with the GPT-4 Language Model: Case studies from criminal investigation, medical practice, scientific research
Remo Pareschi
This study evaluates the GPT-4 Large Language Model's abductive reasoning in complex fields like medical diagnostics, criminology, and cosmology. Using an interactive interview for…
Variants in managing supply chains on distributed ledgers
Paolo Bottoni, Claudio Di Ciccio, Remo Pareschi +2
Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficien…
A formal model for ledger management systems based on contracts and temporal logic
Paolo Bottoni, Anna Labella, Remo Pareschi
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…
Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Remo Pareschi, Federico Zappone
The successes of Artificial Intelligence in recent years in areas such as image analysis, natural language understanding and strategy games have sparked interest from the world of…
Blockchain and Cryptocurrencies: a Classification and Comparison of Architecture Drivers
Martin Garriga, Stefano Dalla Palma, Maximiliano Arias +3
Blockchain is a decentralized transaction and data management solution, the technological leap behind the success of Bitcoin and other cryptocurrencies. As the variety of existing…