Foo, Norman Y.

17 publications

AAAI 2005 A Unified Framework for Representing Logic Program Updates Yan Zhang, Norman Y. Foo

JAIR 2005 Reasoning About Action: An Argumentation - Theoretic Approach Quoc Bao Vo, Norman Y. Foo

IJCAI 2005 Solving Logic Program Conflict Through Strong and Weak Forgettings Yan Zhang, Norman Y. Foo, Kewen Wang

AAAI 2004 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

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

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

IJCAI 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 1997 Action Localness, Genericity and Invariants in STRIPS Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang

IJCAI 1997 Towards Generalized Rule-Based Updates Yan Zhang, Norman Y. Foo

AAAI 1996 Computing Default Logic Extensions: An Implementation Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou

AAAI 1996 Updating Knowledge Bases with Disjunctive Information Yan Zhang, Norman Y. Foo

IJCAI 1995 Determining Explanations Using Transmutations Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims

IJCAI 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, Norman Y. Foo

IJCAI 1989 Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning About Actions Anand S. Rao, Norman Y. Foo