Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

2 May 2023

Papers citing "Reverse Engineering of Temporal Queries Mediated by LTL Ontologies"

2 / 2 papers shown

Title
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology J. C. Jung Vladislav Ryzhikov Franz-Erich Wolter Michael Zakharyaschev 13 0 0 13 Jun 2023
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic Ritam Raha Rajarshi Roy Nathanaël Fijalkow Daniel Neider 33 22 0 13 Oct 2021