Author:
Kuusisto Antti,Reiter Fabian
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference28 articles.
1. Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP;Bienvenu;ACM Trans. Database Syst.,2014
2. Modal logic: a semantic perspective;Blackburn,2007
3. Modal Logic;Blackburn,2002
4. Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory;Bloem,2015
5. Datalog and constraint satisfaction with infinite templates;Bodirsky;J. Comput. Syst. Sci.,2013