Alessandro Artale

2 papers in the IJCAI proceedings

IJCAI 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

with Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2022/794

Details PDF

IJCAI 2019

Do You Need Infinite Time?

with Andrea Mazzullo, Ana Ozaki

doi:10.24963/ijcai.2019/210

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings