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)- Logic programming in tensor spaces
- The refinement extension principle for semantics of dynamic logic programming
- Merging Logic Programs under Answer Set Semantics
- A unifying view for logic programming with non-monotonic reasoning
- Annotated revision programs
- LUPS -- A language for updating logic programs
- Probabilistic behaviours of reactive agents
- A Unifying Perspective on Knowledge Updates
- Default Negation as Explicit Negation plus Update
- Splitting and updating hybrid knowledge bases
- When you must forget: Beyond strong persistence when forgetting in answer set programming
- Reasoning about evolving nonmonotonic knowledge bases
- A proof-theoretic view of necessity
- Abductive logic programming agents with destructive databases
- scientific article; zbMATH DE number 1763869 (Why is no real title available?)
- A program-level approach to revising logic programs under the answer set semantics
- Dynamic reasoning systems
- A language for multi-dimensional updates
- scientific article; zbMATH DE number 67441 (Why is no real title available?)
- scientific article; zbMATH DE number 33190 (Why is no real title available?)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- 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
- Updating action domain descriptions
- Forgetting in ASP: the forgotten properties
- scientific article; zbMATH DE number 1453061 (Why is no real title available?)
- Characterization of logic program revision as an extension of propositional revision
- scientific article; zbMATH DE number 2085237 (Why is no real title available?)
- On the logic of theory change iteration of KM-update
- Towards closed world reasoning in dynamic open worlds
- On updates of hybrid knowledge bases composed of ontologies and rules
- Updates of logic programs
- On the limits of forgetting in answer set programming
- On dynamics in structured argumentation formalisms
- On properties of update sequences based on causal rejection
- Reasoning about evolving nonmonotonic knowledge bases
- scientific article; zbMATH DE number 2084427 (Why is no real title available?)
- The rise and fall of semantic rule updates based on SE-models
- Semantic forgetting in answer set programming
- scientific article; zbMATH DE number 7455718 (Why is no real title available?)
- Irrelevant Updates and Nonmonotonic Assumptions
- scientific article; zbMATH DE number 1878314 (Why is no real title available?)
- EVOLP: Tranformation-Based Semantics
- Belief revision within fragments of propositional logic
- An abductive framework for computing knowledge base updates
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)
