Efficiently Coupling the I-DLV Grounder with ASP Solvers

  • Main
  • 2018 / 12
  • Efficiently Coupling the I-DLV Grounder with ASP Solvers
Theory and Practice of Logic Programming 2018 / 12

Efficiently Coupling the I-DLV Grounder with ASP Solvers

FUSCÀ, DAVIDE, CALIMERI, FRANCESCO, ZANGARI, JESSICA, PERRI, SIMONA, DODARO, CARMINE
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068418000546
Date:
December, 2018
File:
PDF, 511 KB
english, 2018
Conversion to is in progress
Conversion to is failed