Publication
Detail
Publication date: 01/06/2015TABDUAL: a Tabled Abduction System for Logic Programs
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 |