Pages that link to "Item:Q1199919"
From MaRDI portal
The following pages link to On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919):
Displaying 50 items.
- Belief revision within fragments of propositional logic (Q386044) (← 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)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- First-order logical filtering (Q543591) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- Updating action domain descriptions (Q622109) (← links)
- A syntax-based approach to measuring the degree of inconsistency for belief bases (Q648367) (← links)
- Knowledgebase transformations (Q676426) (← links)
- Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases (Q814499) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Weakening conflicting information for iterated revision and knowledge integration (Q814566) (← links)
- \(\text{DA}^2\) merging operators (Q814605) (← links)
- On getting rid of the preprocessing minimization step in MUC-finding algorithms (Q903912) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- Using local search to find MSSes and MUSes (Q1042194) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- A polynomial-time algorithm for reducing the number of variables in MAX SAT problem (Q1367267) (← links)
- Sound and efficient closed-world reasoning for planning (Q1399125) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- The complexity of belief update (Q1575185) (← links)
- Operational and complete approaches to belief revision (Q1579730) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- The complexity of theory revision (Q1606294) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- An extension-based approach to belief revision in abstract argumentation (Q1726407) (← links)
- Minimal-change integrity maintenance using tuple deletions (Q1776402) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- Classical and weighted knowledgebase transformations (Q1816654) (← links)
- A logical framework for knowledge base maintenance (Q1894319) (← links)
- Propositional truth maintenance systems: Classification and complexity analysis (Q1924776) (← links)
- Propositional semantics for disjunctive logic programs (Q1924819) (← links)
- The sequence modeling method based on ECC in developing program specifications (Q1964365) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Approaches to measuring inconsistency for stratified knowledge bases (Q2353972) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- Local-search extraction of mUSes (Q2385174) (← links)
- A general framework for computing maximal contractions (Q2418637) (← links)
- Belief revision in Horn theories (Q2512985) (← links)
- GenB: A General Solver for AGM Revision (Q2835903) (← links)
- Considerations on Belief Revision in an Action Theory (Q2900517) (← links)
- A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES (Q3225383) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
