Partial deduction of updateable definite logic programs

DOI10.1016/0743-1066(94)90039-6zbMATH Open0803.68015OpenAlexW2059554996MaRDI QIDQ4289930FDOQ4289930

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

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

zbMATH Keywords

partial deductionupdateable knowledge basesupdateable logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

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

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)