Pages that link to "Item:Q4507852"

The following pages link to Dynamic updates of non-monotonic knowledge bases (Q4507852):

Displaying 35 items.

• Belief revision within fragments of propositional logic (Q386044) (← links)
• Updating action domain descriptions (Q622109) (← links)
• Abductive logic programming agents with destructive databases (Q656819) (← links)
• Logic programming in tensor spaces (Q825007) (← links)
• On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
• A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
• LUPS -- A language for updating logic programs (Q1603734) (← links)
• Annotated revision programs (Q1603740) (← links)
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
• On the limits of forgetting in answer set programming (Q2211850) (← links)
• Semantic forgetting in answer set programming (Q2389674) (← links)
• A proof-theoretic view of necessity (Q2500817) (← links)
• The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• A language for multi-dimensional updates (Q2844914) (← links)
• A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
• The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
• Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
• A program-level approach to revising logic programs under the answer set semantics (Q3585168) (← links)
• EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
• Updating knowledge bases. II (Q3988794) (← links)
• (Q4012160) (← links)
• (Q4539245) (← links)
• When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
• Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
• Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
• An abductive framework for computing knowledge base updates (Q4819001) (← links)
• Probabilistic behaviours of reactive agents (Q4923528) (← links)
• (Q4955334) (← links)
• (Q5020978) (← links)
• Default Negation as Explicit Negation plus Update (Q5059691) (← links)
• Dynamic Reasoning Systems (Q5277897) (← links)
• On the logic of theory change iteration of KM-update (Q6088375) (← links)
• On dynamics in structured argumentation formalisms (Q6488791) (← links)
• Main issues in belief revision, belief merging and information fusion (Q6602229) (← links)