scientific article; zbMATH DE number 1759366

zbMATH Open0998.68029MaRDI QIDQ4536313FDOQ4536313

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

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (17)

• The refinement extension principle for semantics of dynamic logic programming
• Inference and update
• LUPS -- A language for updating logic programs
• Updating Epistemic Logic Programs
• Title not available (Why is that?)
• Foundations of Information and Knowledge Systems
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• Logic program-based updates
• Title not available (Why is that?)
• 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

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)