News
Paper accepted at KR 2020
03.06.2020
In joint work with Diego Figueira, Adwait Godbole, and Shankara Narayanan Krishna, our paper on Containment of Simple Conjunctive Regular Path Queries was accepted at KR 2020. We are very happy about this, since the International Conference on Principles of Knowledge Representation and Reasoning is one of the worldwide top conferences in Artificial Intelligence.