| 2005 | AAAI | A Unified Framework for Representing Logic Program Updates. | Yan Zhang, Norman Y. Foo |
| 2005 | IJCAI | Solving Logic Program Conflict through Strong and Weak Forgettings. | Yan Zhang, Norman Y. Foo, Kewen Wang |
| 2004 | AAAI | Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
| 2004 | AAAI | Negotiation as Mutual Belief Revision. | Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok |
| 2004 | ECAI | Simplicity in Solving the Frame Problem. | Victor Jauregui, Maurice Pagnucco, Norman Y. Foo |
| 2004 | KR | Logical Foundations of Negotiation: Strategies and Preferences. | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
| 2004 | KR | Distance Semantics for Relevance-Sensitive Belief Revision. | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
| 2004 | PRICAI | On the Intended Interpretations of Actions. | Victor Jauregui, Maurice Pagnucco, Norman Y. Foo |
| 2003 | IJCAI | Coherence of Laws. | Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak |
| 2003 | LPAR | A Syntax-Based Approach to Reasoning about Actions and Events. | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
| 2002 | JELIA | Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. | Dongmo Zhang, Norman Y. Foo |
| 2002 | PRICAI | Hidden Variables in Knowledge Representation. | Norman Y. Foo |
| 2002 | PRICAI | Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. | Quoc Bao Vo, Norman Y. Foo |
| 2002 | PRICAI | Consistency of Action Descriptions. | Dongmo Zhang, Samir Chopra, Norman Y. Foo |
| 2002 | PRICAI | Representing Actions over Dynamic Domains. | Yan Zhang, Norman Y. Foo |
| 2001 | IJCAI | EPDL: A Logic for Causal Reasoning. | Dongmo Zhang, Norman Y. Foo |
| 2001 | LPNMR | Encoding Solutions of the Frame Problem in Dynamic Logic. | Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo |
| 2000 | AiML | Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. | Norman Y. Foo, Dongmo Zhang |
| 2000 | PRICAI | Autonomy of Autonomous Agents. | Dongmo Zhang, Norman Y. Foo |
| 1999 | IJCAI | Diagrammatic Proofs. | Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak |
| 1999 | IJCAI | Preferential Semantics for Causal Systems. | Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak |
| 1998 | ECAI | Updating Logic Programs. | Yan Zhang, Norman Y. Foo |
| 1998 | PRICAI | A Closer Look at Preduction. | Allen P. Courtney, Norman Y. Foo |
| 1998 | PRICAI | Diagrammatic Reasoning About Linked Lists. | Norman Y. Foo |
| 1998 | PRICAI | Coherence Measure Based on Average Use of Formulas. | Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo |
| 1998 | PRICAI | Reasoning without Minimality. | Abhaya C. Nayak, Norman Y. Foo |
| 1998 | PRICAI | Reasoning about Continuous Change. | Tyrone O'Neill, Norman Y. Foo |
| 1997 | IJCAI | Action Localness, Genericity and Invariants in STRIPS. | Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang |
| 1997 | IJCAI | Towards Generalized Rule-based Updates. | Yan Zhang, Norman Y. Foo |
| 1996 | AAAI | Computing Default Logic Extensions: An Implementation. | Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou |
| 1996 | AAAI | Updating Knowledge Bases with Disjunctive Information. | Yan Zhang, Norman Y. Foo |
| 1996 | ECAI | Definitional Constraints. | Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco |
| 1996 | ECAI | Learning From Conditionals: Judy Benjamin's Other Problems. | Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas |
| 1996 | ECAI | Revision vs. Update: Taking a Closer Look. | Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko |
| 1996 | PRICAI | Conservative Expansion Concepts for Default Theories. | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
| 1996 | PRICAI | Exten: A System for Computing Default Logic Extensions. | Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
| 1996 | TARK | Changing Conditional Belief Unconditionally. | Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar |
| 1995 | ICCS | Ontology Revison. | Norman Y. Foo |
| 1995 | IJCAI | Determining Explanations using Transmutations. | Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims |
| 1993 | ICCS | Inverting Resolution with Conceptual Graphs. | Maurice Pagnucco, Norman Y. Foo |
| 1993 | IJCAI | Connections Between the ATMS and AGM Belief Revision. | Simon Dixon, Norman Y. Foo |
| 1993 | IJCAI | Reasoning About Persistence: A Theory of Actions. | Yan Zhang, Norman Y. Foo |
| 1990 | ECAI | Nonmonotonic Dynamics of Default Logic. | Mary-Anne Williams, Norman Y. Foo |
| 1989 | IJCAI | Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. | Anand S. Rao, Norman Y. Foo |
| 1989 | KR | Formal Theories of Belief Revision. | Anand S. Rao, Norman Y. Foo |
| 1988 | ICLP | Deduced Relevant Types and Constructive Negation. | Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker |