Pages that link to "Item:Q4452622"

The following pages link to On properties of update sequences based on causal rejection (Q4452622):

Displaying 16 items.

• Belief revision within fragments of propositional logic (Q386044) (← links)
• \textsc{Argonauts}: a working system for motivated cooperative agents (Q766275) (← links)
• Semantic forgetting in answer set programming (Q2389674) (← links)
• An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
• Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
• The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
• Towards causality-based conflict resolution in answer set programs (Q2694586) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• Belief Base Change Operations for Answer Set Programming (Q2915080) (← links)
• A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
• A program-level approach to revising logic programs under the answer set semantics (Q3585168) (← links)
• EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
• Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
• Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
• Default Negation as Explicit Negation plus Update (Q5059691) (← links)
• On the logic of theory change iteration of KM-update (Q6088375) (← links)