Fabio Patrizi

Sapienza University of Rome , Rome , Italy

10 papers in the IJCAI proceedings

IJCAI 2026

Model-Based Reinforcement Learning in Discrete-Action Non-Markovian Reward Decision Processes

with Alessandro Trapasso, Luca Iocchi

doi:10.24963/ijcai.2026/546

Details PDF

IJCAI 2022

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

with Giuseppe De Giacomo, Paolo Felli, Brian Logan, Sebastian Sardiña

doi:10.24963/ijcai.2022/798

Details PDF

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

with Diego Calvanese, Giuseppe De Giacomo, Marco Montali

doi:10.24963/ijcai.2022/354

Details PDF

IJCAI 2016

Plan Synthesis for Knowledge and Action Bases

with Diego Calvanese, Marco Montali, Michele Stawowy

Details PDF

IJCAI 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

with Diego Calvanese, Marco Montali, Giuseppe De Giacomo

Details PDF

IJCAI 2013

A Classification of First-Order Progressable Action Theories in Situation Calculus

with Stavros Vassos

Details PDF

Bounded Epistemic Situation Calculus Theories

with Giuseppe De Giacomo, Yves Lespérance

Details PDF

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners

with Nir Lipovetzky, Hector Geffner

Details PDF

IJCAI 2011

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

with Francesco Belardinelli, Alessio Lomuscio

doi:10.5591/978-1-57735-516-8/IJCAI11-130

Details PDF

Computing Infinite Plans for LTL Goals Using a Classical Planner

with Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner

doi:10.5591/978-1-57735-516-8/IJCAI11-334

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings