Efficiently Coupling the I-DLV Grounder with ASP Solvers.
Saved in:
| Title: | Efficiently Coupling the I-DLV Grounder with ASP Solvers. |
|---|---|
| Authors: | CALIMERI, FRANCESCO1 (AUTHOR) calimeri@mat.unical.it, DODARO, CARMINE2 (AUTHOR) dodaro@dibris.unige.it, FUSCÀ, DAVIDE1 (AUTHOR) fusca@mat.unical.it, PERRI, SIMONA1 (AUTHOR) perri@mat.unical.it, ZANGARI, JESSICA1 (AUTHOR) zangari@mat.unical.it |
| Source: | Theory & Practice of Logic Programming. Mar2020, Vol. 20 Issue 2, p205-224. 20p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068418000546 |
