Automated abduction

DOI10.1007/3-540-45632-5_13MaRDI QIDQ4707770zbMATH OpenFDO

Authors Katsumi Inoue

Publication date 11 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080311.htm

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1531965
• scientific article; zbMATH DE number 970611
• scientific article; zbMATH DE number 1568684
• Abduction and induction. Essays on their relation and integration
• Generation and selection of abductive explanations for non-omniscient agents

Cited in

(8)

• Automated inferencing
• Brave induction: a logical framework for learning from incomplete information
• Identifying efficient abductive hypotheses using multicriteria dominance relation
• Brave Induction
• scientific article; zbMATH DE number 1531965 (Why is no real title available?)
• scientific article; zbMATH DE number 1568684 (Why is no real title available?)
• scientific article; zbMATH DE number 1568685 (Why is no real title available?)
• scientific article; zbMATH DE number 877749 (Why is no real title available?)

This page was built for publication: Automated abduction

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