scientific article; zbMATH DE number 1759366

MaRDI QIDQ4536313zbMATHFDO

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

Publication date 25 June 2002

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• On properties of update sequences based on causal rejection
• scientific article; zbMATH DE number 1890622
• scientific article; zbMATH DE number 1926644
• Updates of logic programs

Cited in

(19)

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

Describes a project that uses

Uses Software

• LUPS

This page was built for publication:

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