Pages that link to "Item:Q1978467"
From MaRDI portal
The following pages link to The size of a revised knowledge base (Q1978467):
Displaying 14 items.
- On the succinctness of some modal logics (Q360052) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- First-order logical filtering (Q543591) (← links)
- Compiling propositional weighted bases (Q814606) (← links)
- Disjunctive merging: quota and Gmin merging operators (Q991021) (← links)
- On compact representations of propositional circumscription (Q1391128) (← links)
- Is intractability of nonmonotonic reasoning a real drawback? (Q1391905) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- The complexity of belief update (Q1575185) (← links)
- Preprocessing of intractable problems (Q1854544) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)
