Research
PhD Supervision
Accepting applications on topics related but not limited to machine learning for combinatorial optimisation, explanable AI, verification of AI.
Funding available for overseas students.
Please contact me if you are interested!
Interests
- Machine Learning for Combinatorial Optimisation
- Verification of neural-symbolic systems, Explainable and Trustworthy AI
- Description Logics, Query Answering, Query Rewriting, Ontology-Based Data Access
- Data Exchange, Knowledge Base Exchange, Modularity
- Databases, Non-relational Databases, Nested Data, MongoDB
- Non-monotonic reasoning, Circumscription
Publications
Articles
2022
- Formal verification of neural agents in non-deterministic environments. In Auton. Agents Multi Agent Syst., 36 (1): 6, 2022. doi.. BibTeX..
2019
- Query inseparability for ALC ontologies. In Artif. Intell., 272: 1-51, 2019. pdf.. BibTeX..
- Ontology-based data access - Beyond relational sources. In Intelligenza Artificiale, 13 (1): 21-36, 2019. BibTeX..
2016
- Knowledge Base Exchange: The Case of OWL 2 QL. In Artificial Intelligence, 238: 11-62, 2016. pdf.. doi.. BibTeX..
- Games for Query Inseparability of Description Logic Knowledge Bases. In Artificial Intelligence, 234: 78-119, 2016. pdf.. doi.. BibTeX..
In Proceedings
2020
- Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 22-32, IJCAI Press, 2020. pdf.. BibTeX..
- Formal Verification of Neural Agents in Non-deterministic Environments. In Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), pages 25-33, IFAAMAS, 2020. pdf.. BibTeX..
- Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pages 3291-3299, AAAI Press, 2020. pdf.. BibTeX..
2018
- Efficient Handling of SPARQL OPTIONAL for OBDA. In Proc. of the 17th International Semantic Web Conference (ISWC 2018), pages 354-373, Springer, Lecture Notes in Computer Science 11136, 2018. pdf.. BibTeX..
- Expressivity and Complexity of MongoDB Queries. In Proc. of the 21st Int. Conf. on Database Theory (ICDT 2018), pages 9:1-9:23, 2018. pdf.. slides.. poster.. BibTeX..
2017
- A Note on Computing Certain Answers to Queries over Incomplete Databases. In Proc. of the 11th Alberto Mendelzon Int. Workshop on Foundations of Data Management and the Web (AMW 2017), 2017. pdf.. BibTeX..
- Formalizing MongoDB Queries. In Proc. of the 11th Alberto Mendelzon Int. Workshop on Foundations of Data Management and the Web (AMW 2017), 2017. pdf.. BibTeX..
2016
- Query-Based Entailment and Inseparability for ALC Ontologies. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016), pages 1001-1007, AAAI Press, 2016. pdf.. slides.. poster.. BibTeX..
- When is Query Inseparability for ALC Ontologies Decidable?. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf.. BibTeX..
- OBDA Beyond Relational DBs: A Study for MongoDB. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf.. BibTeX..
- Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), 2016. pdf.. BibTeX..
- Beyond OWL 2 QL in OBDA: Rewritings and Approximations. In Proc. of the 30th AAAI Conf. on Artificial Intelligence (AAAI 2016), pages 921-928, AAAI Press, 2016. pdf.. poster.. BibTeX..
2015
- When Are Description Logic Knowledge Bases Indistinguishable?. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 4240-4246, AAAI Press, 2015. pdf.. poster.. BibTeX..
2014
- Query Inseparability By Games. In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), 2014. pdf.. BibTeX..
- Query Inseparability for Description Logic Knowledge Bases. In Proc. of the 14th Int. Conf. on Knowledge Representation and Reasoning (KR 2014), pages 238-247, AAAI Press, 2014. pdf.. slides.. BibTeX..
2013
- Exchanging OWL 2 QL Knowledge Bases. In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), pages 703-710, 2013. pdf.. poster.. BibTeX..
- Computing Solutions in OWL 2 QL Knowledge Base Exchange. In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), 2013. pdf.. slides.. BibTeX..
2012
- Description Logic Knowledge Base Exchange. In Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pages 266-271, 2012. slides.. poster.. BibTeX..
- Circumscribing DL-Lite. In Belief change, Non-monotonic reasoning and Conflict resolution (BNC@ECAI 2012), 2012. pdf.. slides.. BibTeX..
- Exchanging Description Logic Knowledge Bases. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pages 563-567, AAAI Press, 2012. pdf.. poster.. BibTeX..
- Representability in DL-LiteR Knowledge Base Exchange. In Proc. of the 25th Int. Workshop on Description Logics (DL 2012), 2012. pdf.. slides.. BibTeX..
2011
- Knowledge Base Exchange. In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), 2011. pdf.. slides.. BibTeX..
2010
- Expressive Approximations in DL-Lite Ontologies. In Proc. of the 14th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010), pages 21-31, Springer, Lecture Notes in Computer Science 6304, 2010. BibTeX..
- Query Rewriting in DL-LiteHNhorn. In Proc. of the 23rd Int. Workshop on Description Logics (DL 2010), pages 267-278, CEUR Electronic Workshop Proceedings, http://ceur-ws.org/ 573, 2010. pdf.. slides.. BibTeX..
PhD Theses
2014
- Description Logic Knowledge Base Exchange. Ph.D. Thesis, Free University of Bozen-Bolzano, 2014. pdf.. slides.. BibTeX..