Walega, Przemyslaw Andrzej
- Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
2019/05/30 by Ryzhikov, Vladislav, Walega, Przemyslaw Andrzej, Zakharyaschev, Michael · 1 citation
#Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #F.2.2 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)