Conference
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
| Τίτλος: | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding |
|---|---|
| Συγγραφείς: | Calimeri, Francesco, Ianni, Giovambattista, Pacenza, Francesco, Perri, Simona, Zangari, Jessica |
| Πηγή: | Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-9 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3551357.3551371 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3551357.3551371 |
|---|