DOI10.1017/S1471068402001631zbMath1087.68562OpenAlexW2062585187MaRDI QIDQ4452597
Ernest Teniente, Toni Urpí
Publication date: 1 March 2004 Published in: Theory and Practice of Logic Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1017/s1471068402001631
zbMATH Keywords
abductiondatabase updatingdatabase validationdeduction.
Mathematics Subject Classification ID
Database theory (68P15)
Related Items