scientific article; zbMATH DE number 1538055

MaRDI QIDQ4518912zbMATH OpenFDO

Authors Fariba Sadri, Francesca Toni

Publication date 13 June 2001

zbMATH Keywords

abductive logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• An abductive proof procedure handling active rules
• Abductive Logic Programming
• Logics in Artificial Intelligence
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• Representing Incomplete Knowledge in Abductive Logic Programming

Cited in

(8)

• Runtime addition of integrity constraints in an abductive proof procedure
• Abduction-based search for cooperative answers
• Devising the set of abnormalities for a given defeasible rule
• Abductive Logic Programming
• Logics in Artificial Intelligence
• Computational Logic in Multi-Agent Systems
• An abductive proof procedure handling active rules
• Abductive logic programming agents with destructive databases

This page was built for publication:

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