Churn-Jung Liau
Institute of Information Science, Academia Sinica, Taipei, Taiwan
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about knowledge