scientific article; zbMATH DE number 2243355

zbMATH Open1080.68570arXiv1107.0030MaRDI QIDQ5715664FDOQ5715664

Marc Denecker, Ofer Arieli, Maurice Bruynooghe, Bert Van Nuffelen

Publication date: 4 January 2006

Full work available at URL: https://arxiv.org/abs/1107.0030

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

Recommendations

• Coherent composition of distributed knowledge-bases through abduction
• scientific article; zbMATH DE number 2085288
• Integrating induction and abduction in logic programming
• scientific article; zbMATH DE number 1954112
• scientific article; zbMATH DE number 2089452

Mathematics Subject Classification ID

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

Cited In (12)

• Logic Programming and Nonmonotonic Reasoning
• Reasoning with prioritized information by iterative aggregation of distance functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
• Integrating ADTs in KeY and their application to history-based reasoning about collection
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• A graded approach to database repair by context-aware distance semantics
• From causes for database queries to repairs and model-based diagnosis and back
• A paraconsistent logic programming approach for querying inconsistent databases
• Distance semantics for database repair
• Computational methods for database repair by signed formulae

Uses Software

• LUPS

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 Q5715664)