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