5
IRUS TotalDownloads
Altmetric
ASPAL. Proof of soundness and completeness
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTR11-5.pdf | Published version | 205.21 kB | Adobe PDF | View/Open |
| Title: | ASPAL. Proof of soundness and completeness |
| Authors: | Corapi, D Russo, A |
| Item Type: | Report |
| Abstract: | We provide here a brief introduction and proof of soundness and completeness of the ILP system ASPAL. This document is in support of our ICLP 2011 submission, for the reviewers' bene ts. |
| Issue Date: | 1-Nov-2011 |
| URI: | http://hdl.handle.net/10044/1/95166 |
| DOI: | https://doi.org/10.25561/95166 |
| Publisher: | Department of Computing, Imperial College London |
| Start Page: | 1 |
| End Page: | 7 |
| Journal / Book Title: | Departmental Technical Report: 11/5 |
| Copyright Statement: | © 2011 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
| Publication Status: | Published |
| Article Number: | 11/5 |
| Appears in Collections: | Computing Computing Technical Reports |
This item is licensed under a Creative Commons License
