Partial deduction of updateable definite logic programs

DOI10.1016/0743-1066(94)90039-6zbMath0803.68015OpenAlexW2059554996MaRDI QIDQ4289930

K. Benkerimi, John C. Shepherdson

Publication date: 2 January 1995

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(94)90039-6

zbMATH Keywords

partial deductionupdateable knowledge basesupdateable logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Knowledge base dynamics, abduction, and database updates

This page was built for publication: Partial deduction of updateable definite logic programs