Yury Savateev

School of Electronics and Computer Science , University of Southampton , UK

1 paper in the IJCAI proceedings

IJCAI 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

with Marie Fortin, Boris Konev, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2023/360

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings