Dynamic updates of non-monotonic knowledge bases
From MaRDI portal
Recommendations
- Knowledge base dynamics, abduction, and database updates
- An abductive framework for computing knowledge base updates
- Reasoning about evolving nonmonotonic knowledge bases
- Reasoning about evolving nonmonotonic knowledge bases
- scientific article; zbMATH DE number 4187148
- Repairing non-monotonic knowledge bases
- Updating knowledge bases
- A glance at revision and updating in knowledge bases
- Updating inconsistent description logic knowledge bases
Cited in
(47)- A unifying view for logic programming with non-monotonic reasoning
- LUPS -- A language for updating logic programs
- Annotated revision programs
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- On the limits of forgetting in answer set programming
- Semantic forgetting in answer set programming
- A proof-theoretic view of necessity
- The refinement extension principle for semantics of dynamic logic programming
- Forgetting in ASP: the forgotten properties
- A language for multi-dimensional updates
- A Unifying Perspective on Knowledge Updates
- The rise and fall of semantic rule updates based on SE-models
- Reasoning about evolving nonmonotonic knowledge bases
- Splitting and updating hybrid knowledge bases
- Irrelevant Updates and Nonmonotonic Assumptions
- Towards closed world reasoning in dynamic open worlds
- A program-level approach to revising logic programs under the answer set semantics
- EVOLP: Tranformation-Based Semantics
- Belief revision within fragments of propositional logic
- scientific article; zbMATH DE number 33190 (Why is no real title available?)
- scientific article; zbMATH DE number 67441 (Why is no real title available?)
- On properties of update sequences based on causal rejection
- scientific article; zbMATH DE number 2084427 (Why is no real title available?)
- scientific article; zbMATH DE number 1763869 (Why is no real title available?)
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- Characterization of logic program revision as an extension of propositional revision
- Merging Logic Programs under Answer Set Semantics
- scientific article; zbMATH DE number 2085237 (Why is no real title available?)
- scientific article; zbMATH DE number 1878314 (Why is no real title available?)
- An abductive framework for computing knowledge base updates
- Probabilistic behaviours of reactive agents
- scientific article; zbMATH DE number 1453061 (Why is no real title available?)
- scientific article; zbMATH DE number 7455718 (Why is no real title available?)
- Default Negation as Explicit Negation plus Update
- Reasoning about evolving nonmonotonic knowledge bases
- Dynamic reasoning systems
- Updates of logic programs
- On the logic of theory change iteration of KM-update
- Updating action domain descriptions
- On dynamics in structured argumentation formalisms
- Abductive logic programming agents with destructive databases
- Main issues in belief revision, belief merging and information fusion
- On establishing robust consistency in answer set programs
- A brief history of updates of answer-set programs
- Forgetting in answer set programming -- a survey
- Logic programming in tensor spaces
- On updates of hybrid knowledge bases composed of ontologies and rules
This page was built for publication: Dynamic updates of non-monotonic knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507852)
