Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.
Saved in:
| Title: | Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement. |
|---|---|
| Authors: | Kuhlmann, Isabelle1, ISABELLE.KUHLMANN@FERNUNI-HAGEN.DE, Gessler, Anna2, ANNA.GESSLER.WORK@GMAIL.COM, Laszlo, Vivien1, VIVIEN.LASZLO@FERNUNI-HAGEN.DE, Thimm, Matthias1, MATTHIAS.THIMM@FERNUNI-HAGEN.DE |
| Source: | Journal of Artificial Intelligence Research; 2025, Vol. 82, p563-685, 123p |
| Database: | Applied Science & Technology Source |
| ISSN: | 10769757 |
|---|---|
| DOI: | 10.1613/jair.1.16888 |
