Equivalence issues in abduction and induction

DOI10.1016/J.JAL.2008.10.006zbMATH Open1176.68165OpenAlexW2049731261MaRDI QIDQ833733FDOQ833733

Authors: Chiaki Sakama, Katsumi Inoue 

Publication date: 14 August 2009

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.006

Recommendations

• Inductive Logic Programming
• Abductive Equivalence in First-order Logic
• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Abduction and induction. Essays on their relation and integration
• Complexity results for abductive logic programming

zbMATH Keywords

equivalenceabductioninduction

Mathematics Subject Classification ID

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

Cites Work

• On the computational cost of disjunctive logic programming: Propositional case
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strongly equivalent logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logical framework for default reasoning
• Abduction and induction. Essays on their relation and integration
• Logics in Artificial Intelligence
• Inductive Logic Programming
• Negation as failure in the head
• Logic Programming and Nonmonotonic Reasoning

Cited In (7)

• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Natural Deduction for Equality: The Missing Entity
• Title not available (Why is that?)
• Inductive Logic Programming
• Abductive Equivalence in First-order Logic
• Title not available (Why is that?)
• Abduction and induction. Essays on their relation and integration

This page was built for publication: Equivalence issues in abduction and induction

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