The following pages link to (Q5750466):
Displaying 23 items.
- Action emulation (Q375313) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Some computational aspects of DISTANCE SAT (Q877840) (← 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)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- A programmable approach to maintenance of a finite knowledge base (Q1400054) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- The complexity of belief update (Q1575185) (← links)
- Propositional distances and compact preference representation (Q1885764) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- Relevant Minimal Change in Belief Update (Q2915083) (← links)
- Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change (Q3305693) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- Relevance in Belief Update (Q5026181) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Reasoning about action and change (Q6602230) (← links)
