Considerations on updates of logic programs

DOI10.1007/3-540-40006-0_2MaRDI QIDQ4536313zbMATH OpenFDO

Authors Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

Publication date 25 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-40006-0_2

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• On properties of update sequences based on causal rejection
• An update front-end for extended logic programs
• Logic programming updating -- A guided approach
• Updates of logic programs

Cited in

(19)

• Inference and update
• LUPS -- A language for updating logic programs
• Semantic forgetting in answer set programming
• The refinement extension principle for semantics of dynamic logic programming
• Early recovery in logic program updates
• The rise and fall of semantic rule updates based on SE-models
• On semantic update operators for answer-set programs
• Updating Epistemic Logic Programs
• On properties of update sequences based on causal rejection
• Logic programming updating -- A guided approach
• An update front-end for extended logic programs
• scientific article; zbMATH DE number 1420815 (Why is no real title available?)
• Logic program-based updates
• Updates of logic programs
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Foundations of Information and Knowledge Systems
• Update-programms can update programs
• Update programs versus revision programs

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: Considerations on updates of logic programs

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