R. Pareschi

'LEXICALIZED' GRAMMARS: APPLICARONS TO TREE ADJOINING GRAMMARS

A Minimal $\kappa$--$\tau$ Logic for Risk-Sensitive Abduction

Standard approaches to abductive reasoning can retain multiple candidate explanations, but they do not generally combine explicit compositional cross-hypothesis interaction with an internal, rival-sensitive commitment judgment. This paper argues that in risk-sensitive domains -- where premature commitment carries asymm...

What Counts as Strategic Reasoning? A Systematic Mapping of Chess Research on Humans, Engines, and Language Models

It is argued that chess provides a useful bridge between cognitive and computational perspectives on strategic reasoning, and identifies explicit planning, grounded and faithful explanation, metacognitive calibration, and human--AI complementarity as directions for future research.

Sensor-Driven Mission Synthesis for UAV/UGV Swarms: A TB-CSPN Coordination Architecture with Hardware-Enforced Safety

This paper presents a coordination architecture for heterogeneous UAV/UGV swarms that synthesises mission actions from uncertain, multi-modal sensor evidence while preserving hardware-enforced safety at the actuation boundary. The approach combines radar, RF, acoustic, and visual observations with Topic-Based Communica...