Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

Geprüft:Bibliothek

Inhaltszusammenfassung


  • Answer Set Programming
  • Inconsistency Measurement
  • SAT

Autoren


Kuhlmann, Isabelle (Autor)
Gessler, Anna (Autor)
Laszlo, Vivien (Autor)
Thimm, Matthias (Autor)