scientific article; zbMATH DE number 1538055

zbMATH Open0962.68028MaRDI QIDQ4518912FDOQ4518912

Authors: Fariba Sadri, Francesca Toni 

Publication date: 13 June 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

abductive logic programming

Mathematics Subject Classification ID

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

Cited In (7)

• 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
• Computational Logic in Multi-Agent Systems

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)