Yan Zhung (zhung-y)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Baral, Chitta and Zhung, Yan. 2002. “The Complexity of Model Checking for Knowledge Update.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 82–93. San Francisco, California: Morgan Kaufmann Publishers.