Article dans une revue, LaHDAK, Informatique

Union and Intersection of All Justifications

Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang. Union and Intersection of All Justifications. Lecture Notes in Computer Science, 2022, Lecture Notes in Computer Science, 13261, pp.56-73. ⟨10.1007/978-3-031-06981-9_4⟩. ⟨hal-04247200⟩

Publié le