Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

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

Research output: Contribution to conference › Paper › peer-review

Fingerprint

Dive into the research topics of 'Reverse Engineering of Temporal Queries Mediated by LTL Ontologies'. Together they form a unique fingerprint.

Keyphrases

Computer Science