Computing extended abduction through transaction programs

DOI10.1023/A:1018926021566MaRDI QIDQ1978011zbMATH OpenFDO

Authors Katsumi Inoue, Chiaki Sakama

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

extended abduction

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1696831
• scientific article; zbMATH DE number 1453062
• An abductive framework for computing knowledge base updates
• An abductive framework for extended logic programming
• Abductive Logic Programming

Cited in

(3)

• Recycling computed answers in rewrite systems for abduction
• scientific article; zbMATH DE number 1696831 (Why is no real title available?)
• Computing abduction by using TMS with top-down expectation

This page was built for publication: Computing extended abduction through transaction programs

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