Rule-generating abduction for recursive Prolog

DOI10.1007/3-540-58520-6_59MaRDI QIDQ4470542zbMATH OpenFDO

Authors Kouichi Hirata

Publication date 1 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2324/3072

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 898328
• Rule based abduction
• On rules of abduction.
• scientific article; zbMATH DE number 67456
• scientific article; zbMATH DE number 1568687

Cited in

(5)

• Scalable algorithms for abduction via enumerative syntax-guided synthesis
• Rule based abduction
• Discovering Rules by Meta-level Abduction
• scientific article; zbMATH DE number 67456 (Why is no real title available?)
• scientific article; zbMATH DE number 898328 (Why is no real title available?)

This page was built for publication: Rule-generating abduction for recursive Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4470542)