On properties of update sequences based on causal rejection

DOI10.1017/S1471068401001247zbMATH Open1105.68326OpenAlexW2058658036MaRDI QIDQ4452622FDOQ4452622

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

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

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)

Cited In (21)

• The refinement extension principle for semantics of dynamic logic programming
• Merging Logic Programs under Answer Set Semantics
• A Unifying Perspective on Knowledge Updates
• 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
• Main issues in belief revision, belief merging and information fusion
• An algebraic approach to revising propositional rule-based knowledge bases
• Characterization of logic program revision as an extension of propositional revision
• Updates in answer set programming: An approach based on basic structural properties
• On the logic of theory change iteration of KM-update
• Towards causality-based conflict resolution in answer set programs
• \textsc{Argonauts}: a working system for motivated cooperative agents
• Solving logic program conflict through strong and weak forgettings
• Updates of logic programs
• Forgetting in ASP: The Forgotten Properties
• Title not available (Why is that?)
• Semantic forgetting in answer set programming
• EVOLP: Tranformation-Based Semantics
• Belief revision within fragments of propositional logic

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)