Closure Properties and Homomorphisms of Time-varying Systems. - Norman Y. Foo (Math. Syst. Theory, 1978)

Algebraic Specifications and Transition Graphs. - Norman Y. Foo (Language Design and Programming Methodology, 1979)

Analysis of Algorithms on Threaded Trees. - Keith Brinck; Norman Y. Foo (Comput. J., 1981)

Dewey Indexing of Prolog Traces. - Norman Y. Foo (Comput. J., 1986)

Algebraic Specifications as Solutions of Implementation Equations. - Norman Y. Foo (IEEE Trans. Software Eng., 1987)

Deduced Relevant Types and Constructive Negation. - Norman Y. Foo; Anand S. Rao; Andrew Taylor; Adrian Walker (ICLP/SLP, 1988)

Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. - Anand S. Rao; Norman Y. Foo (IJCAI, 1989)

Formal Theories of Belief Revision. - Anand S. Rao; Norman Y. Foo (KR, 1989)

A Denotational Semantics for Prolog. - Tim Nicholson; Norman Y. Foo (ACM Trans. Program. Lang. Syst., 1989)

Nonmonotonic Dynamics of Default Logic. - Mary-Anne Williams; Norman Y. Foo (ECAI, 1990)

Belief revision in a microworld. - Norman Y. Foo; Anand S. Rao (Ann. Math. Artif. Intell., 1991)

Metalogic as a basis for modelling systems dynamics. - Norman Y. Foo (IEEE Trans. Syst. Man Cybern., 1991)

Inverting Resolution with Conceptual Graphs. - Maurice Pagnucco; Norman Y. Foo (ICCS, 1993)

Connections Between the ATMS and AGM Belief Revision. - Simon Dixon; Norman Y. Foo (IJCAI, 1993)

Reasoning About Persistence: A Theory of Actions. - Yan Zhang 003; Norman Y. Foo (IJCAI, 1993)

Comments on "Defining Software by Continuous Smooth Functions''. - Norman Y. Foo (IEEE Trans. Software Eng., 1993)

Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. - Maurice Pagnucco; Abhaya C. Nayak; Norman Y. Foo (Deductive Databases / Abduction in Deductive Databases, 1995)

Ontology Revison. - Norman Y. Foo (ICCS, 1995)

Determining Explanations using Transmutations. - Mary-Anne Williams; Maurice Pagnucco; Norman Y. Foo; Brailey Sims (IJCAI (1), 1995)

Applying the persistent set approach in temporal reasoning. - Yan Zhang 003; Norman Y. Foo (Ann. Math. Artif. Intell., 1995)

Computing Default Logic Extensions: An Implementation. - Allen P. Courtney; Norman Y. Foo; Grigoris Antoniou (AAAI/IAAI, Vol. 2, 1996)

Updating Knowledge Bases with Disjunctive Information. - Yan Zhang 003; Norman Y. Foo (AAAI/IAAI, Vol. 1, 1996)

Definitional Constraints. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco (ECAI, 1996)

Learning From Conditionals: Judy Benjamin's Other Problems. - Abhaya C. Nayak; Maurice Pagnucco; Norman Y. Foo; Pavlos Peppas (ECAI, 1996)

Revision vs. Update: Taking a Closer Look. - Pavlos Peppas; Abhaya C. Nayak; Maurice Pagnucco; Norman Y. Foo; Rex Bing Hung Kwok; Mikhail Prokopenko (ECAI, 1996)

Conservative Expansion Concepts for Default Theories. - Grigoris Antoniou; Cara MacNish; Norman Y. Foo (PRICAI, 1996)

Exten: A System for Computing Default Logic Extensions. - Allen P. Courtney; Grigoris Antoniou; Norman Y. Foo (PRICAI, 1996)

Changing Conditional Belief Unconditionally. - Abhaya C. Nayak; Norman Y. Foo; Maurice Pagnucco; Abdul Sattar 001 (TARK, 1996)

Inductive Properties of States. - Norman Y. Foo; Pavlos Peppas; Yan Zhang 003 (Australian Joint Conference on Artificial Intelligence, 1997)

A Notion of Correctness with Theories Containing Theoretical Terms. - Rex Bing Hung Kwok; Abhaya C. Nayak; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1997)

Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. - Tyrone O'Neill; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1997)

Preferential Semantics for Causal Fixpoints. - Pavlos Peppas; Maurice Pagnucco; Mikhail Prokopenko; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1997)

Action Localness, Genericity and Invariants in STRIPS. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Pavlos Peppas; Yan Zhang 003 (IJCAI (1), 1997)

Towards Generalized Rule-based Updates. - Yan Zhang 003; Norman Y. Foo (IJCAI (1), 1997)

Answer Sets for Prioritized Logic Programs. - Yan Zhang 003; Norman Y. Foo (ILPS, 1997)

Deriving Invariants and Constraints from Action Theories. - Yan Zhang 003; Norman Y. Foo (Fundam. Informaticae, 1997)

Updating Logic Programs. - Yan Zhang 003; Norman Y. Foo (ECAI, 1998)

A Closer Look at Preduction. - Allen P. Courtney; Norman Y. Foo (PRICAI, 1998)

Diagrammatic Reasoning About Linked Lists. - Norman Y. Foo (PRICAI, 1998)

Coherence Measure Based on Average Use of Formulas. - Rex Bing Hung Kwok; Abhaya C. Nayak; Norman Y. Foo (PRICAI, 1998)

Reasoning without Minimality. - Abhaya C. Nayak; Norman Y. Foo (PRICAI, 1998)

Reasoning about Continuous Change. - Tyrone O'Neill; Norman Y. Foo (PRICAI, 1998)

Abduction without Minimality. - Abhaya C. Nayak; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1999)

Diagrammatic Proofs. - Norman Y. Foo; Maurice Pagnucco; Abhaya C. Nayak (IJCAI, 1999)

Preferential Semantics for Causal Systems. - Pavlos Peppas; Maurice Pagnucco; Mikhail Prokopenko; Norman Y. Foo; Abhaya C. Nayak (IJCAI, 1999)

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. - Norman Y. Foo; Dongmo Zhang (Advances in Modal Logic, 2000)

Autonomy of Autonomous Agents. - Dongmo Zhang; Norman Y. Foo (PRICAI, 2000)

Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. - Yan Zhang 003; Norman Y. Foo (Comput. Intell., 2000)

Measuring similarity in belief revision. - Pavlos Peppas; Norman Y. Foo; Abhaya C. Nayak (J. Log. Comput., 2000)

State Minimization Re-visited. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Dongmo Zhang (Australian Joint Conference on Artificial Intelligence, 2001)

Solving the Qualification Problem. - Quoc Bao Vo; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 2001)

EPDL: A Logic for Causal Reasoning. - Dongmo Zhang; Norman Y. Foo (IJCAI, 2001)

Encoding Solutions of the Frame Problem in Dynamic Logic. - Norman Y. Foo; Dongmo Zhang; Yan Zhang 003; Samir Chopra; Quoc Bao Vo (LPNMR, 2001)

Apparent Nondeterminism in Actions. - Norman Y. Foo; Rex Bing Hung Kwok; Yan Zhang 003 (J. Res. Pract. Inf. Technol., 2001)

Conceptual Spaces-The Geometry of Thought: A Review. - Norman Y. Foo (AI Mag., 2001)

Infinitary Belief Revision. - Dongmo Zhang; Norman Y. Foo (J. Philos. Log., 2001)

Realization for Causal Nondeterministic Input-Output Systems. - Norman Y. Foo; Pavlos Peppas (Stud Logica, 2001)

A Trajectory Approach to Causality. - Victor Jauregui; Norman Y. Foo; Maurice Pagnucco (Stud Logica, 2001)

Convergency of Learning Process. - Dongmo Zhang; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 2002)

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. - Dongmo Zhang; Norman Y. Foo (JELIA, 2002)

Hidden Variables in Knowledge Representation. - Norman Y. Foo (PRICAI, 2002)

Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. - Quoc Bao Vo; Norman Y. Foo (PRICAI, 2002)

Consistency of Action Descriptions. - Dongmo Zhang; Samir Chopra; Norman Y. Foo (PRICAI, 2002)

Representing Actions over Dynamic Domains. - Yan Zhang 003; Norman Y. Foo (PRICAI, 2002)

Axiomatic Analysis of Negotiation Protocols. - Dongmo Zhang; Norman Y. Foo (Australian Conference on Artificial Intelligence, 2003)

Coherence of Laws. - Rex Bing Hung Kwok; Norman Y. Foo; Abhaya C. Nayak (IJCAI, 2003)

A Syntax-Based Approach to Reasoning about Actions and Events. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (LPAR, 2003)

Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. - Thomas Andreas Meyer; Norman Y. Foo; Rex Kwok; Dongmo Zhang (AAAI, 2004)

Negotiation as Mutual Belief Revision. - Dongmo Zhang; Norman Y. Foo; Thomas Andreas Meyer; Rex Kwok (AAAI, 2004)

Systems Theory: Melding the AI and Simulation Perspectives. - Norman Y. Foo; Pavlos Peppas (AIS, 2004)

System Properties of Action Theories. - Norman Y. Foo; Pavlos Peppas (AIS, 2004)

LPOD Answer Sets and Nash Equilibria. - Norman Y. Foo; Thomas Meyer 002; Gerhard Brewka (ASIAN, 2004)

Constraints from STRIPS - Preliminary Report. - Norman Y. Foo; Pavlos Peppas; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2004)

Simplicity in Solving the Frame Problem. - Victor Jauregui; Maurice Pagnucco; Norman Y. Foo (ECAI, 2004)

Logical Foundations of Negotiation: Strategies and Preferences. - Thomas Andreas Meyer; Norman Y. Foo; Rex Kwok; Dongmo Zhang (KR, 2004)

Distance Semantics for Relevance-Sensitive Belief Revision. - Pavlos Peppas; Samir Chopra; Norman Y. Foo (KR, 2004)

On the Intended Interpretations of Actions. - Victor Jauregui; Maurice Pagnucco; Norman Y. Foo (PRICAI, 2004)

A Unified Framework for Representing Logic Program Updates. - Yan Zhang 003; Norman Y. Foo (AAAI, 2005)

Solving Logic Program Conflict through Strong and Weak Forgettings. - Yan Zhang 003; Norman Y. Foo; Kewen Wang 001 (IJCAI, 2005)

Semantics for a theory of defeasible reasoning. - Quoc Bao Vo; Norman Y. Foo; Joe Thurbon (Ann. Math. Artif. Intell., 2005)

Reasoning about Action: An Argumentation - Theoretic Approach. - Quoc Bao Vo; Norman Y. Foo (J. Artif. Intell. Res., 2005)

Frame problem in dynamic logic. - Dongmo Zhang; Norman Y. Foo (J. Appl. Non Class. Logics, 2005)

Solving logic program conflict through strong and weak forgettings. - Yan Zhang 003; Norman Y. Foo (Artif. Intell., 2006)

A Syntax-based Approach to Reasoning about Action and Belief Update. - Quoc Bao Vo; Abhaya C. Nayak; Norman Y. Foo (J. Log. Comput., 2006)

Forgetting in Logic Programs with Ordered Disjunction. - Wu Chen; Norman Y. Foo; Mingyi Zhang (Australian Conference on Artificial Intelligence, 2007)

Social Agents. - Norman Y. Foo (Australian Conference on Artificial Intelligence, 2007)

The Coherence of Theories - Dependencies and Weights. - Jason Jingshi Li; Rex Bing Hung Kwok; Norman Y. Foo (Towards Mathematical Philosophy, 2009)

Relevance in belief revision. - Pavlos Peppas; Mary-Anne Williams; Samir Chopra; Norman Y. Foo (Artif. Intell., 2015)