scientific article
From MaRDI portal
Publication:3995235
zbMath0728.68053MaRDI QIDQ3995235
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Unifying default reasoning and belief revision in a modal framework, Argumentation update in YALLA (yet another logic language for argumentation), Querying disjunctive databases through nonmonotonic logics, A Unifying Perspective on Knowledge Updates, A glance at revision and updating in knowledge bases, Database updates and transition constraints: A formula-based approach, The rise and fall of semantic rule updates based onSE-models, A description logic based situation calculus, Unnamed Item, Capturing model-based ontology evolution at the instance level: the case of DL-Lite, Hypothetical updates, priority and inconsistency in a logic programming language, Updating action domain descriptions, Sound and efficient closed-world reasoning for planning, Fixpoint semantics for active integrity constraints, Reducing belief revision to circumscription (and vice versa), On updates of hybrid knowledge bases composed of ontologies and rules, Foundations of instance level updates in expressive description logics, Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints, Rule Calculus: Semantics, Axioms and Applications, Talkin'bout consistency, or: When logically possible becomes possible, An abductive proof procedure for conditional logic programming, The size of a revised knowledge base, Propositional belief base update and minimal change, Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change, How Strong Can an Agent Believe Reported Information ?, On the complexity of propositional knowledge base revision, updates, and counterfactuals, First-order logical filtering, Regular database update logics, Belief revision and update: Complexity of model checking, Active integrity constraints for general-purpose knowledge bases, A new semantics for ACL based on commitments and penalties, Fusion: General concepts and characteristics, Fusion: General concepts and characteristics, Actions, Belief Update, and DDL, Combining Consistency and Confidentiality Requirements in First-Order Databases, Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting, The complexity of belief update, Declarative Semantics for Active Integrity Constraints, Gricean belief change, On knowledge evolution: acquisition, revision, contraction, A practical parallel algorithm for propositional knowledge base revision, Database repair via event-condition-action rules in dynamic logic, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI, Policy-based inconsistency management in relational databases
