I joined the ISG group in April 2011. My research interests lie in logic in computer science, coalgebraic semantics and knowledge representation. I obtained my PhD in 2006 at the University of Amsterdam (thesis title: Finitary coalgebraic logics). My supervisors were Alexander Kurz, Jan Rutten and Yde Venema. Since my PhD I have been working as researcher, first at the CWI Amsterdam, then at Imperial College London. Both in Amsterdam and London I have been lecturing (parts of) several courses on modal logic and automata theory. Furthermore I co-supervised the PhD thesis of Helle Hvid Hansen and a Master's thesis. I am one of the initiators of the Logic Seminar at Imperial and of an international workshop series that is concerned with the connections between Algebra, Coalgebra and Proof Theory.
In Oxford I am working within the ExODA project where I am studying query answering over databases relative to a given set of ontological constraints. These constraints are typically specified in Datalog± or some description logic formalism. The results obtained so far concern the application of so-called acyclicity conditions for query answering relative to DL-constraints and the extension of Datalog± with nonmonotonic negation in order to obtain a richer, more expressive contstraint language.
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Georg Gottlob, André Hernich, Clemens Kupke and Thomas Lukasiewicz. Description Logics 2012.
Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Georg Gottlob, André Hernich, Clemens Kupke and Thomas Lukasiewicz. In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), Toronto, Ontario, Canada, July 2012. AAAI Press. 2012.
Acyclicity Conditions and their Application to Query Answering in Description Logics. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik and Zhe Wang. KR 2012
Minimization via Duality. N. Bezhanishvili, C. Kupke and P. Panangaden. Proceedings of Wollic 2012.
On the Final Coalgebra of Automatic Sequences. Clemens Kupke, Jan Rutten, Logic and Program Semantics 2012: 149-164
Coalgebraic semantics of modal logics: An overview. Clemens Kupke and Dirk Pattinson. In Theoretical Computer Science. Vol. 412. No. 38. Pages 5070-5094. 2011.
Exptime Tableaux for the Coalgebraic μ-Calculus. Corina Cirstea, Clemens Kupke and Dirk Pattinson. In Logical Methods in Computer Science. Vol. 7. No. 3. 2011.
Please also see my DBLP entry.
Doctoral Student Despoina Magka's paper entitled 'Ontology-Based Classification of Molecules: a Logic Programming Approach' has received the best paper prize at the 2012 Semantic Web Applications and Tools for Life Sciences workshop [more information].
Boris Motik was recently successful in gaining an EPSRC Early Career Fellowship. The 5 year project, MaSI3: A Massively Scalable Intelligent Information Infrastructure, focuses on Ontology-based Data Management Systems (ODMSs). These are a new kind of data management system specifically designed to deal with complex data, by using natural language queries often across multiple relevant sources [more information].
Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester [more information].
Ian Horrocks has been elected to join Academia Europæa, an eminent organization for European scholars. Academia Europæa was founded in 1988 and has over 2000 members, including around 40 Nobel Laureates [more information].
The Jaume I University of Castellon (Spain) has awarded a "Premio extraordinario de doctorado" (roughly translated as a Extraordinary Doctoral Award) to Ernesto Jimenez-Ruiz who is now a postdoctoral researcher at Oxford's Department of Computer Science [more information].