scientific article; zbMATH DE number 1759366

MaRDI QIDQ4536313zbMATH OpenFDO

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)

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

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)