Boris Konev

1 paper in the IJCAI proceedings

IJCAI 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

with Marie Fortin, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2023/360

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings