Affiliation:
1. University of Oxford
2. CNRS CRIStAL, Université Lille, INRIA Lille
Funder
Engineering and Physical Sciences Research Council
Agence Nationale de la Recherche
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Guarded Ontology-Mediated Queries;Hajnal Andréka and István Németi on Unity of Science;2021
3. Evaluating Datalog via Tree Automata and Cycluits;Theory of Computing Systems;2019-01-08
4. REWRITABILITY IN MONADIC DISJUNCTIVE DATALOG, MMSNP, AND EXPRESSIVE DESCRIPTION LOGICS;LOG METH COMPUT SCI;2019
5. Containment for Rule-Based Ontology-Mediated Queries;Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2018-05-27