Norman Y. Foo

According to our database, Norman Y. Foo authored at least 88 papers between 1978 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Relevance in belief revision.

Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo

Artif. Intell., 2015

2009

The Coherence of Theories - Dependencies and Weights.

Jason Jingshi Li, Rex Bing Hung Kwok, Norman Y. Foo

Proceedings of the Towards Mathematical Philosophy, 2009

2007

Distance Semantics for Relevance-Sensitive Belief Revision.

Pavlos Peppas, Samir Chopra, Norman Y. Foo

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Social Agents.

Norman Y. Foo

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Forgetting in Logic Programs with Ordered Disjunction.

Wu Chen, Norman Y. Foo, Mingyi Zhang

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

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

Solving logic program conflict through strong and weak forgettings.

Yan Zhang, Norman Y. Foo

Artif. Intell., 2006

2005

Frame problem in dynamic logic.

Dongmo Zhang, Norman Y. Foo

J. Appl. Non Class. Logics, 2005

Reasoning about Action: An Argumentation - Theoretic Approach.

Quoc Bao Vo, Norman Y. Foo

J. Artif. Intell. Res., 2005

Semantics for a theory of defeasible reasoning.

Quoc Bao Vo, Norman Y. Foo, Joe Thurbon

Ann. Math. Artif. Intell., 2005

Solving Logic Program Conflict through Strong and Weak Forgettings.

Yan Zhang, Norman Y. Foo, Kewen Wang

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Unified Framework for Representing Logic Program Updates.

Yan Zhang, Norman Y. Foo

Proceedings of the Proceedings, 2005

2004

On the Intended Interpretations of Actions.

Victor Jauregui, Maurice Pagnucco, Norman Y. Foo

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Logical Foundations of Negotiation: Strategies and Preferences.

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Simplicity in Solving the Frame Problem.

Victor Jauregui, Maurice Pagnucco, Norman Y. Foo

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Constraints from STRIPS - Preliminary Report.

Norman Y. Foo, Pavlos Peppas, Yan Zhang

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

LPOD Answer Sets and Nash Equilibria.

Norman Y. Foo, Thomas Meyer, Gerhard Brewka

Proceedings of the Advances in Computer Science, 2004

System Properties of Action Theories.

Norman Y. Foo, Pavlos Peppas

Proceedings of the Artificial Intelligence and Simulation, 2004

Systems Theory: Melding the AI and Simulation Perspectives.

Norman Y. Foo, Pavlos Peppas

Proceedings of the Artificial Intelligence and Simulation, 2004

Negotiation as Mutual Belief Revision.

Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Logical Foundations of Negotiation: Outcome, Concession, and Adaptation.

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

A Syntax-Based Approach to Reasoning about Actions and Events.

Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Logic for Programming, 2003

Coherence of Laws.

Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak

Proceedings of the IJCAI-03, 2003

Axiomatic Analysis of Negotiation Protocols.

Dongmo Zhang, Norman Y. Foo

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

Representing Actions over Dynamic Domains.

Yan Zhang, Norman Y. Foo

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Consistency of Action Descriptions.

Dongmo Zhang, Samir Chopra, Norman Y. Foo

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach.

Quoc Bao Vo, Norman Y. Foo

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Hidden Variables in Knowledge Representation.

Norman Y. Foo

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.

Dongmo Zhang, Norman Y. Foo

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Convergency of Learning Process.

Dongmo Zhang, Norman Y. Foo

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

A Trajectory Approach to Causality.

Victor Jauregui, Norman Y. Foo, Maurice Pagnucco

Stud Logica, 2001

Realization for Causal Nondeterministic Input-Output Systems.

Norman Y. Foo, Pavlos Peppas

Stud Logica, 2001

Infinitary Belief Revision.

Dongmo Zhang, Norman Y. Foo

J. Philos. Log., 2001

Conceptual Spaces-The Geometry of Thought: A Review.

Norman Y. Foo

AI Mag., 2001

Apparent Nondeterminism in Actions.

Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang

J. Res. Pract. Inf. Technol., 2001

Encoding Solutions of the Frame Problem in Dynamic Logic.

Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

EPDL: A Logic for Causal Reasoning.

Dongmo Zhang, Norman Y. Foo

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Solving the Qualification Problem.

Quoc Bao Vo, Norman Y. Foo

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

State Minimization Re-visited.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Measuring similarity in belief revision.

Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak

J. Log. Comput., 2000

Updates with Disjunctive Information: From Syntactical and Semantical Perspectives.

Yan Zhang, Norman Y. Foo

Comput. Intell., 2000

Autonomy of Autonomous Agents.

Dongmo Zhang, Norman Y. Foo

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.

Norman Y. Foo, Dongmo Zhang

Proceedings of the Advances in Modal Logic 3, 2000

1999

Preferential Semantics for Causal Systems.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Diagrammatic Proofs.

Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Abduction without Minimality.

Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

Reasoning about Continuous Change.

Tyrone O'Neill, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

Reasoning without Minimality.

Abhaya C. Nayak, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

Coherence Measure Based on Average Use of Formulas.

Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

Diagrammatic Reasoning About Linked Lists.

Norman Y. Foo

Proceedings of the PRICAI'98, 1998

A Closer Look at Preduction.

Allen P. Courtney, Norman Y. Foo

Proceedings of the PRICAI'98, 1998

Updating Logic Programs.

Yan Zhang, Norman Y. Foo

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Deriving Invariants and Constraints from Action Theories.

Yan Zhang, Norman Y. Foo

Fundam. Informaticae, 1997

Answer Sets for Prioritized Logic Programs.

Yan Zhang, Norman Y. Foo

Proceedings of the Logic Programming, 1997

Towards Generalized Rule-based Updates.

Yan Zhang, Norman Y. Foo

Proceedings of the Fifteenth International 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

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Preferential Semantics for Causal Fixpoints.

Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Belief Update, the Markovian Situation Calculus, and Discrete Event Systems.

Tyrone O'Neill, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

A Notion of Correctness with Theories Containing Theoretical Terms.

Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Inductive Properties of States.

Norman Y. Foo, Pavlos Peppas, Yan Zhang

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Changing Conditional Belief Unconditionally.

Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Exten: A System for Computing Default Logic Extensions.

Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Conservative Expansion Concepts for Default Theories.

Grigoris Antoniou, Cara MacNish, Norman Y. Foo

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Revision vs. Update: Taking a Closer Look.

Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Learning From Conditionals: Judy Benjamin's Other Problems.

Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Definitional Constraints.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Updating Knowledge Bases with Disjunctive Information.

Yan Zhang, Norman Y. Foo

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Computing Default Logic Extensions: An Implementation.

Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Applying the persistent set approach in temporal reasoning.

Yan Zhang, Norman Y. Foo

Ann. Math. Artif. Intell., 1995

Determining Explanations using Transmutations.

Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Ontology Revison.

Norman Y. Foo

Proceedings of the Conceptual Structures: Applications, 1995

Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.

Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo

Proceedings of the Deductive Databases and Logic Programming, 1995

1993

Comments on "Defining Software by Continuous Smooth Functions''.

Norman Y. Foo

IEEE Trans. Software Eng., 1993

Reasoning About Persistence: A Theory of Actions.

Yan Zhang, Norman Y. Foo

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Connections Between the ATMS and AGM Belief Revision.

Simon Dixon, Norman Y. Foo

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Inverting Resolution with Conceptual Graphs.

Maurice Pagnucco, Norman Y. Foo

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

1991

Metalogic as a basis for modelling systems dynamics.

Norman Y. Foo

IEEE Trans. Syst. Man Cybern., 1991

Belief revision in a microworld.

Norman Y. Foo, Anand S. Rao

Ann. Math. Artif. Intell., 1991

1990

Nonmonotonic Dynamics of Default Logic.

Mary-Anne Williams, Norman Y. Foo

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

A Denotational Semantics for Prolog.

Tim Nicholson, Norman Y. Foo

ACM Trans. Program. Lang. Syst., 1989

Formal Theories of Belief Revision.

Anand S. Rao, Norman Y. Foo

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.

Anand S. Rao, Norman Y. Foo

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Deduced Relevant Types and Constructive Negation.

Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker

Proceedings of the Logic Programming, 1988

1987

Algebraic Specifications as Solutions of Implementation Equations.

Norman Y. Foo

IEEE Trans. Software Eng., 1987

1986

Dewey Indexing of Prolog Traces.

Norman Y. Foo

Comput. J., 1986

1981

Analysis of Algorithms on Threaded Trees.

Keith Brinck, Norman Y. Foo

Comput. J., 1981

1979

Algebraic Specifications and Transition Graphs.

Norman Y. Foo

Proceedings of the Language Design and Programming Methodology, 1979

1978

Closure Properties and Homomorphisms of Time-varying Systems.

Norman Y. Foo

Math. Syst. Theory, 1978