Detail

Publication date: 01/06/2015

TABDUAL: a Tabled Abduction System for Logic Programs

Authors

Ari Saptawijaya, Luís Moniz Pereira,

URL http://www.collegepublications.co.uk/journals/ifcolog/?00004
Journal IfColog Journal of Logics and their Applications
Publisher College Publications
Volume 2
Number 1
ISSN 978-1-84890-178-0
URL http://www.collegepublications.co.uk/journals/ifcolog/?00004
Journal IfColog Journal of Logics and their Applications
Publisher College Publications
Volume 2
Number 1
ISSN 978-1-84890-178-0