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 conferencePaperpeer-review

6 Citations (Scopus)

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