Publikationen in Zusammenarbeit mit Forschern von Université de Toulouse (3)

2020

  1. Reasoning About Inconsistent Formulas

    Proceedings of the twenty-ninth International Joint Conference on Artificial Intelligence

  2. Reasoning About Strong Inconsistency in ASP

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

  3. Reasoning about inconsistent formulas

    IJCAI International Joint Conference on Artificial Intelligence