Norman F. Foo (foo)

Contributions à Philosophie.ch

Bibliography

Dixon, Simon and Foo, Norman F. 1992. “Encoding the ATMS in AGM Logic (revised).” 441. Sydney: Computer Science Department, University of Sydney.
Dixon, Simon and Foo, Norman F. 1993. “Connections between the ATMS and AGM Belief Revision.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 534–539. San Francisco, California: Morgan Kaufmann Publishers.
Foo, Norman F. and Goebel, Randy, eds. 1996. PRICAI96: Topics in Artificial Intelligence. Berlin: Springer.
Foo, Norman F. and Peppas, Pavlos. 2001. “Realization for Causal Non-Deterministic Input-Output Systems.” Studia Logica: An International Journal for Symbolic Logic 67(3): 439–440.
Foo, Norman F. and Zhang, Dongmo. 1999. “Convergency of Iterated Belief Changes.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 73–78. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Foo, Norman F. and Zhang, Dongmo. 2002. “Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 173–191. Singapore: World Scientific Publishing Co.
Jauregui, Victor, Pagnucco, Maurice and Foo, Norman F. 2001. “A Trajectory Approach to Causality.” Studia Logica: An International Journal for Symbolic Logic 67(3): 385–401.
Jingshi Li, Jason, Kwok, Rex Bing Hung and Foo, Norman F. 2009. “The Coherence of Theories – Dependencies and Weights.” in Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV, edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 297–318. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Nayak, Abhaya C., Foo, Norman F., Pagnucco, Maurice and Sattar, Abdul. 1996. “Changing Conditional Beliefs Unconditionally.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 119–135. San Francisco, California: Morgan Kaufmann Publishers.
Peppas, Pavlos, Foo, Norman F. and Williams, Mary-Anne. 1992. “On the Expressibility of Propositions.” Logique et Analyse 35(139–140): 251–272.
Rao, Anand S. and Foo, Norman F. 1989. “Formal Theories of Belief Revision.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 369–380. San Francisco, California: Morgan Kaufmann Publishers.
Zhang, Dongmo and Foo, Norman F. 2001. “Infinitary Belief Revision.” The Journal of Philosophical Logic 30(6): 525–570.
Zheng, Yan and Foo, Norman F. 1993. “Reasoning about Persistence: A Theory of Actions.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 718–723. San Francisco, California: Morgan Kaufmann Publishers.