Publications in collaboration with researchers from Brest National Engineering School (3)

2019

  1. Towards Dynamic Answer Set Programming over Finite Traces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Towards dynamic answer set programming over finite traces

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2018

  1. Introducing temporal stable models for linear dynamic logic

    Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018