Nicola Gigante

4 papers in the IJCAI proceedings

IJCAI 2023

On the Compilability of Bounded Numeric Planning

with Enrico Scala

doi:10.24963/ijcai.2023/593

Details PDF

IJCAI 2022

Linear Temporal Logic Modulo Theories over Finite Traces

with Luca Geatti, Alessandro Gianola

doi:10.24963/ijcai.2022/366

Details PDF

IJCAI 2017

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints

with Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco

doi:10.24963/ijcai.2017/140

Details PDF

On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning

doi:10.24963/ijcai.2017/750

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings