Dynamic updates of non-monotonic knowledge bases
From MaRDI portal
Publication:4507852
DOI10.1016/S0743-1066(99)00065-5zbMath0957.68108OpenAlexW2105631606WikidataQ62038996 ScholiaQ62038996MaRDI QIDQ4507852
No author found.
Publication date: 10 October 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00065-5
Related Items
Dynamic Reasoning Systems, Logic programming in tensor spaces, Default Negation as Explicit Negation plus Update, A Unifying Perspective on Knowledge Updates, Semantic forgetting in answer set programming, The rise and fall of semantic rule updates based onSE-models, Belief revision within fragments of propositional logic, A unifying view for logic programming with non-monotonic reasoning, When you must forget: Beyond strong persistence when forgetting in answer set programming, Characterization of logic program revision as an extension of propositional revision, On the logic of theory change iteration of KM-update, Updating action domain descriptions, On updates of hybrid knowledge bases composed of ontologies and rules, On the limits of forgetting in answer set programming, Unnamed Item, Abductive logic programming agents with destructive databases, Reactive multi-context systems: heterogeneous reasoning in dynamic environments, Merging Logic Programs under Answer Set Semantics, Probabilistic behaviours of reactive agents, Towards closed world reasoning in dynamic open worlds, A program-level approach to revising logic programs under the answer set semantics, A proof-theoretic view of necessity, EVOLP: Tranformation-Based Semantics, Forgetting in ASP: The Forgotten Properties, The refinement extension principle for semantics of dynamic logic programming, LUPS -- A language for updating logic programs, Annotated revision programs
