I am interested in query answering when there are conflicts in the database. In particular, I work with inconsistency-tolerant semantics in the ontology language of Datalog +/-. Understanding the complexity of existing inconsistency tolerant semantics and developing new more accurate semantics are my main interests.
In addition to that, I am interested in optimisation problems and their theoretical study.
I have obtained BA and MMath degrees in Mathematics at the University of Oxford. My master thesis "A Study of Weighted Clones" was awarded a Gibbs prize as one of the two best Mathematics master thesis at Oxford.
Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄− under Cardinality−Based Repairs
Thomas Lukasiewicz‚ Enrico Malizia and Andrius Vaicenavičius
In Proceedings of the 33rd National Conference on Artificial Intelligence‚ AAAI 2019‚ Honolulu‚ Hawaii‚ USA‚ January 27 − February 1‚ 2019. AAAI Press. January, 2019.
Minimal Weighted Clones with Boolean Support