On properties of update sequences based on causal rejection
DOI10.1017/S1471068401001247zbMATH Open1105.68326OpenAlexW2058658036MaRDI QIDQ4452622FDOQ4452622
Giuliana Sabbatini, Michael Fink, Hans Tompits, Thomas Eiter
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
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Cited In (19)
- 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
- 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
- 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
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)
