Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results

From MaRDI portal
(Redirected from Publication:2385448)