Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement
Journal of Artificial Intelligence Research. H. 82. El Segundo, CA: AI Access Foundation 2025 S. 563 - 685
Erscheinungsjahr: 2025
ISBN/ISSN: 1943-5037
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: https://doi.org/10.1613/jair.1.16888
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Kuhlmann, Isabelle (Autor)
Gessler, Anna (Autor)
Laszlo, Vivien (Autor)
Thimm, Matthias (Autor)