Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Browse the full IJCAI paper archive.