The following pages link to (Q3995235):
Displaying 46 items.
- Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite (Q389229) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- First-order logical filtering (Q543591) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Updating action domain descriptions (Q622109) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Sound and efficient closed-world reasoning for planning (Q1399125) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- The complexity of belief update (Q1575185) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- Database repair via event-condition-action rules in dynamic logic (Q2103906) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Gricean belief change (Q2574882) (← 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)
- How Strong Can an Agent Believe Reported Information ? (Q3011960) (← links)
- On knowledge evolution: acquisition, revision, contraction (Q3128370) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- Combining Consistency and Confidentiality Requirements in First-Order Databases (Q3399206) (← links)
- Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints (Q3532460) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- A practical parallel algorithm for propositional knowledge base revision (Q4229567) (← links)
- A glance at revision and updating in knowledge bases (Q4293716) (← links)
- Database updates and transition constraints: A formula-based approach (Q4293725) (← links)
- Talkin'bout consistency, or: When logically possible becomes possible (Q4632294) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
- (Q5240214) (← links)
- A new semantics for ACL based on commitments and penalties (Q5450360) (← links)
- Declarative Semantics for Active Integrity Constraints (Q5504661) (← links)
- Fusion: General concepts and characteristics (Q5890401) (← links)
- Fusion: General concepts and characteristics (Q5890402) (← links)
- Regular database update logics (Q5940934) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Compromised updates in labelled databases (Q6560373) (← links)
- Reasoning about action and change (Q6602230) (← links)
