Michael Vanden Boom

Dr Michael Vanden Boom

Departmental Lecturer

Leaving date: 31st August 2017

Themes:

• Quantum
• Data, Knowledge and Action

Selected Publications

View AllManage publications

• Characterizing Definability in Decidable Fixpoint Logics

  Michael Benedikt‚ Pierre Bourhis and Michael Vanden Boom

  In 44th International Colloquium on Automata‚ Languages‚ and Programming‚ ICALP 2017‚ July 10−14‚ 2017‚ Warsaw‚ Poland. Pages 107:1–107:14. 2017.

  Details about Characterizing Definability in Decidable Fixpoint Logics | BibTeX data for Characterizing Definability in Decidable Fixpoint Logics | DOI (10.4230/LIPIcs.ICALP.2017.107) | Link to Characterizing Definability in Decidable Fixpoint Logics

• Effective Interpolation and Preservation in Guarded Logics

  Michael Benedikt‚ Balder ten Cate and Michael Vanden Boom

  In ACM Trans. Comput. Log.. Vol. 17. No. 2. Pages 8. 2016.

  Details about Effective Interpolation and Preservation in Guarded Logics | BibTeX data for Effective Interpolation and Preservation in Guarded Logics | DOI (10.1145/2814570) | Link to Effective Interpolation and Preservation in Guarded Logics

• Query Answering with Transitive and Linear−Ordered Data

  Antoine Amarilli‚ Michael Benedikt‚ Pierre Bourhis and Michael Vanden Boom

  In Proceedings of the Twenty−Fifth International Joint Conference on Artificial Intelligence‚ IJCAI 2016‚ New York‚ NY‚ USA‚ 9−15 July 2016. Pages 893–899. 2016.

  Details about Query Answering with Transitive and Linear−Ordered Data | BibTeX data for Query Answering with Transitive and Linear−Ordered Data | Link to Query Answering with Transitive and Linear−Ordered Data