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: | Mathematics Source |
Be the first to leave a comment!
