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