The following pages link to Kewen Wang (Q232836):
Displaying 5 items.
- Revising Possibilistic Knowledge Bases via Compatibility Degrees (Q2835879) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- Syntax-Preserving Belief Change Operators for Logic Programs (Q4579961) (← links)
- A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic (Q4621489) (← links)
- Three Methods for Revising Hybrid Knowledge Bases (Q5086205) (← links)
