Attività

Seminari e Talks

Selected Topics in Symbolic and Neuro-Symbolic AI - Research Seminar

Sun Yat-sen University (Guangzhou, Guangdong, China) · January 2026

[abstract]

This seminar presents an overview of selected research topics in symbolic and neuro-symbolic artificial intelligence. I will discuss recent work on reasoning and planning in dynamic and nondeterministic domains, focusing on logical formalisms such as the Situation Calculus and Golog for strategy synthesis and controller construction with formal guarantees. I will also introduce a complementary line of research on neuro-symbolic predictive process monitoring, where neural sequence models are integrated with temporal logic constraints to ensure logically consistent predictions. The talk aims to provide a coherent overview of ongoing research efforts and future directions.

From Abstract Plans to Concrete Strategies: Synthesizing Controllers in Nondeterministic Domains via Situation Calculus and Golog

City St George's, University of London (London, UK) · April 2025

[abstract] [slides]

Logical frameworks for planning under uncertainty often rely on abstracting complex domains and reasoning over temporally extended goals. The situation calculus and Golog are well-established formalisms for modeling dynamic systems and specifying high-level agent behavior. This talk presents two complementary approaches to strategy synthesis in nondeterministic domains. The first introduces a notion of temporal abstraction, where a family of concrete planning problems is captured by a single propositional nondeterministic model. Strategies are synthesized at the abstract level and can be provably refined to work across all concrete instances via a sound refinement mapping. The second approach explores the use of Golog programs as procedural specifications in FOND domains. By compiling such programs into symbolic automata, we enable the application of automata-theoretic methods to construct robust controllers that realize the specified behaviors under adversarial environments.

Attività Accademiche

Sono stato PC member per le seguenti conferenze:

• AAAI 2026

Sono stato sub-reviewer per le seguenti conferenze:

• ECAI 2025
• KR 2025