ASPAL. Proof of soundness and completeness
File(s)DTR11-5.pdf (205.21 KB)
Published version
Author(s)
Corapi, Domerico
Russo, Alessandra
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.
and completeness of the ILP system ASPAL. This document is in support
of our ICLP 2011 submission, for the reviewers' bene ts.
Date Issued
2011-11-01
Citation
Departmental Technical Report: 11/5, 2011, pp.1-7
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