On properties of update sequences based on causal rejection

DOI10.1017/S1471068401001247MaRDI QIDQ4452622zbMATH OpenOpenAlexFDO

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

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068401001247

zbMATH Keywords

nonmonotonic reasoningknowledge-based updates

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Recommendations

• Updates of logic programs
• scientific article; zbMATH DE number 1759366
• Dynamic updates of non-monotonic knowledge bases
• Update by means of inference rules
• scientific article; zbMATH DE number 1453062

Cited in

(25)

• The refinement extension principle for semantics of dynamic logic programming
• Merging Logic Programs under Answer Set Semantics
• A Unifying Perspective on Knowledge Updates
• Moviola: interpreting dynamic logic programs via multi-shot answer set programming
• Default Negation as Explicit Negation plus Update
• A program-level approach to revising logic programs under the answer set semantics
• Belief Base Change Operations for Answer Set Programming
• Foundations of Information and Knowledge Systems
• An algebraic approach to revising propositional rule-based knowledge bases
• Main issues in belief revision, belief merging and information fusion
• On establishing robust consistency in answer set programs
• Forgetting in answer set programming -- a survey
• Forgetting in ASP: the forgotten properties
• Characterization of logic program revision as an extension of propositional revision
• Towards causality-based conflict resolution in answer set programs
• Updates in answer set programming: An approach based on basic structural properties
• On the logic of theory change iteration of KM-update
• \textsc{Argonauts}: a working system for motivated cooperative agents
• Solving logic program conflict through strong and weak forgettings
• Update by means of inference rules
• Updates of logic programs
• scientific article; zbMATH DE number 1759366 (Why is no real title available?)
• Semantic forgetting in answer set programming
• EVOLP: Tranformation-Based Semantics
• Belief revision within fragments of propositional logic

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: On properties of update sequences based on causal rejection

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