On properties of update sequences based on causal rejection
From MaRDI portal
Publication:4452622
DOI10.1017/S1471068401001247zbMath1105.68326OpenAlexW2058658036MaRDI QIDQ4452622
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
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items
Default Negation as Explicit Negation plus Update, Belief Base Change Operations for Answer Set Programming, A Unifying Perspective on Knowledge Updates, Semantic forgetting in answer set programming, Belief revision within fragments of propositional logic, Characterization of logic program revision as an extension of propositional revision, On the logic of theory change iteration of KM-update, An algebraic approach to revising propositional rule-based knowledge bases, Towards causality-based conflict resolution in answer set programs, Solving logic program conflict through strong and weak forgettings, Merging Logic Programs under Answer Set Semantics, A program-level approach to revising logic programs under the answer set semantics, EVOLP: Tranformation-Based Semantics, \textsc{Argonauts}: a working system for motivated cooperative agents, Forgetting in ASP: The Forgotten Properties, The refinement extension principle for semantics of dynamic logic programming
Uses Software
