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

(7)

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

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)