Paolo Felli

3 papers in the IJCAI proceedings

IJCAI 2022

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

with Giuseppe De Giacomo, Brian Logan, Fabio Patrizi, Sebastian Sardiña

doi:10.24963/ijcai.2022/798

Details PDF

IJCAI 2021

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

with Giuseppe De Giacomo, Marco Montali, Giuseppe Perelli

doi:10.24963/ijcai.2021/256

Details PDF

IJCAI 2017

Process Plan Controllers for Non-Deterministic Manufacturing Systems

with Lavindra de Silva, Brian Logan, Svetan Ratchev

doi:10.24963/ijcai.2017/142

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings