Partial deduction of updateable definite logic programs

DOI10.1016/0743-1066(94)90039-6MaRDI QIDQ4289930zbMATH OpenOpenAlexFDO

Authors K. Benkerimi, John 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)

Recommendations

• Publication:4506395
• Computing definite logic programs by partial instantiation
• Partial deduction for structured logic programming
• Partial deduction in disjunctive logic programming
• Logics in Artificial Intelligence
• The expressivity of update logics
• A novel derivation framework for definite logic program
• Foundations of Information and Knowledge Systems
• Scientific article; zbMATH DE number 1890622

Cited in

(3)

• Update-programms can update programs
• Partial deduction for structured logic programming
• Knowledge base dynamics, abduction, and database updates

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4289930)