On properties of update sequences based on causal rejection

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

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)

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

• LUPS