Proceedings

Norman Y. Foo

School of Comp. Sci. & Eng . University of New South Wales NSW 2052 , Australia

11 papers in the IJCAI proceedings

IJCAI 2005

Solving Logic Program Conflict through Strong and Weak Forgettings
with Yan Zhang, Kewen Wang
Details PDF

IJCAI 2003

Coherence of Laws
with Rex Bing Hung Kwok, Abhaya C. Nayak
Details PDF

IJCAI 2001

EPDL: A Logic for Causal Reasoning
with Dongmo Zhang
Details PDF

IJCAI 1999

Diagrammatic Proofs
with Maurice Pagnucco, Abhaya C. Nayak
Details PDF
Preferential Semantics for Causal Systems
with Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Abhaya C. Nayak
Details PDF

IJCAI 1997

Action Localness, Genericity and Invariants in STRIPS
with Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
Details PDF
Towards Generalized Rule-based Updates
with Yan Zhang
Details PDF

IJCAI 1995

Determining Explanations using Transmutations
with Mary-Anne Williams, Maurice Pagnucco, Brailey Sims
Details PDF

IJCAI 1993

Connections Between the ATMS and AGM Belief Revision
with Simon Dixon
Details PDF
Reasoning About Persistence: A Theory of Actions
with Yan Zhang
Details PDF

IJCAI 1989

Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
with Anand S. Rao
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards