Logic programming updating -- A guided approach

DOI10.1007/3-540-45632-5_15MaRDI QIDQ4707772zbMATH OpenFDO

Authors José Júlio Alferes, Luís Moniz Pereira

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080382.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Considerations on updates of logic programs
• Evolving logic programs
• Logic Programming and Nonmonotonic Reasoning
• Updates of logic programs
• LUPS -- a language for updating logic programs

Cited in

(13)

• Reasoning about update logic
• LUPS -- A language for updating logic programs
• The refinement extension principle for semantics of dynamic logic programming
• Program updating by incremental and answer subsumption tabling
• Early recovery in logic program updates
• Updating Epistemic Logic Programs
• Results on reasoning about updates in transaction logic
• Considerations on updates of logic programs
• Maintaining distributed logic programs incrementally
• scientific article; zbMATH DE number 1420815 (Why is no real title available?)
• Updating extended logic programs through abduction
• LUPS -- a language for updating logic programs
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Logic programming updating -- A guided approach

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