Norman Y. Foo

Publication Activity (10 Years)

Years Active: 1978-2015
Publications (10 Years): 1

Top Topics

Cost Based Abduction

Possibilistic Logic

Plausible Inference

Belief Revision

Top Venues

Publications

Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo
Relevance in belief revision. Artif. Intell. 229 (2015)
Norman Y. Foo, Quoc Bao Vo
Reasoning about Action: An Argumentation - Theoretic Approach CoRR (2011)
Wu Chen, Norman Y. Foo, Mingyi Zhang
Forgetting in Logic Programs with Ordered Disjunction. Australian Conference on Artificial Intelligence (2007)
Norman Y. Foo
Social Agents. Australian Conference on Artificial Intelligence (2007)
Pavlos Peppas, Samir Chopra, Norman Y. Foo
Distance Semantics for Relevance-Sensitive Belief Revision. Formal Models of Belief Change in Rational Agents (2007)
Yan Zhang, Norman Y. Foo
Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170 (8-9) (2006)
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. 16 (3) (2006)
Yan Zhang, Norman Y. Foo, Kewen Wang
Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI (2005)
Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
Semantics for a theory of defeasible reasoning. Ann. Math. Artif. Intell. 44 (1-2) (2005)
Yan Zhang, Norman Y. Foo
A Unified Framework for Representing Logic Program Updates. AAAI (2005)
Dongmo Zhang, Norman Y. Foo
Frame problem in dynamic logic. J. Appl. Non Class. Logics 15 (2) (2005)
Quoc Bao Vo, Norman Y. Foo
Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. 24 (2005)
Pavlos Peppas, Samir Chopra, Norman Y. Foo
Distance Semantics for Relevance-Sensitive Belief Revision. KR (2004)
Norman Y. Foo, Pavlos Peppas
Systems Theory: Melding the AI and Simulation Perspectives. AIS (2004)
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
On the Intended Interpretations of Actions. PRICAI (2004)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI (2004)
Norman Y. Foo, Pavlos Peppas, Yan Zhang
Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence (2004)
Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok
Negotiation as Mutual Belief Revision. AAAI (2004)
Norman Y. Foo, Thomas Meyer, Gerhard Brewka
LPOD Answer Sets and Nash Equilibria. ASIAN (2004)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Strategies and Preferences. KR (2004)
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
Simplicity in Solving the Frame Problem. ECAI (2004)
Norman Y. Foo, Pavlos Peppas
System Properties of Action Theories. AIS (2004)
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR (2003)
Dongmo Zhang, Norman Y. Foo
Axiomatic Analysis of Negotiation Protocols. Australian Conference on Artificial Intelligence (2003)
Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak
Coherence of Laws. IJCAI (2003)
Dongmo Zhang, Samir Chopra, Norman Y. Foo
Consistency of Action Descriptions. PRICAI (2002)
Dongmo Zhang, Norman Y. Foo
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA (2002)
Quoc Bao Vo, Norman Y. Foo
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI (2002)
Norman Y. Foo
Hidden Variables in Knowledge Representation. PRICAI (2002)
Yan Zhang, Norman Y. Foo
Representing Actions over Dynamic Domains. PRICAI (2002)
Dongmo Zhang, Norman Y. Foo
Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence (2002)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang
State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence (2001)
Norman Y. Foo
Conceptual Spaces-The Geometry of Thought: A Review. AI Mag. 22 (1) (2001)
Norman Y. Foo, Pavlos Peppas
Realization for Causal Nondeterministic Input-Output Systems. Stud Logica 67 (3) (2001)
Victor Jauregui, Norman Y. Foo, Maurice Pagnucco
A Trajectory Approach to Causality. Stud Logica 67 (3) (2001)
Dongmo Zhang, Norman Y. Foo
Infinitary Belief Revision. J. Philos. Log. 30 (6) (2001)
Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR (2001)
Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang
Apparent Nondeterminism in Actions. J. Res. Pract. Inf. Technol. 33 (4) (2001)
Dongmo Zhang, Norman Y. Foo
EPDL: A Logic for Causal Reasoning. IJCAI (2001)
Quoc Bao Vo, Norman Y. Foo
Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence (2001)
Norman Y. Foo, Dongmo Zhang
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic (2000)
Dongmo Zhang, Norman Y. Foo
Autonomy of Autonomous Agents. PRICAI (2000)
Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak
Measuring similarity in belief revision. J. Log. Comput. 10 (4) (2000)
Yan Zhang, Norman Y. Foo
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Comput. Intell. 16 (1) (2000)
Abhaya C. Nayak, Norman Y. Foo
Abduction without Minimality. Australian Joint Conference on Artificial Intelligence (1999)
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak
Preferential Semantics for Causal Systems. IJCAI (1999)
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
A Trajectory Approach to Causality. Australian Joint Conference on Artificial Intelligence (1999)
Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak
Diagrammatic Proofs. IJCAI (1999)
Norman Y. Foo
Diagrammatic Reasoning About Linked Lists. PRICAI (1998)
Allen P. Courtney, Norman Y. Foo
A Closer Look at Preduction. PRICAI (1998)
Yan Zhang, Norman Y. Foo
Updating Logic Programs. ECAI (1998)
Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo
Coherence Measure Based on Average Use of Formulas. PRICAI (1998)
Abhaya C. Nayak, Norman Y. Foo
Reasoning without Minimality. PRICAI (1998)
Tyrone O'Neill, Norman Y. Foo
Reasoning about Continuous Change. PRICAI (1998)
Norman Y. Foo, Pavlos Peppas, Yan Zhang
Inductive Properties of States. Australian Joint Conference on Artificial Intelligence (1997)
Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo
A Notion of Correctness with Theories Containing Theoretical Terms. Australian Joint Conference on Artificial Intelligence (1997)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) (1997)
Yan Zhang, Norman Y. Foo
Towards Generalized Rule-based Updates. IJCAI (1) (1997)
Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo
Preferential Semantics for Causal Fixpoints. Australian Joint Conference on Artificial Intelligence (1997)
Tyrone O'Neill, Norman Y. Foo
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. Australian Joint Conference on Artificial Intelligence (1997)
Yan Zhang, Norman Y. Foo
Answer Sets for Prioritized Logic Programs. ILPS (1997)
Yan Zhang, Norman Y. Foo
Deriving Invariants and Constraints from Action Theories. Fundam. Informaticae 30 (1) (1997)
Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou
Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 (1996)
Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo
Exten: A System for Computing Default Logic Extensions. PRICAI (1996)
Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko
Revision vs. Update: Taking a Closer Look. ECAI (1996)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco
Definitional Constraints. ECAI (1996)
Grigoris Antoniou, Cara MacNish, Norman Y. Foo
Conservative Expansion Concepts for Default Theories. PRICAI (1996)
Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar
Changing Conditional Belief Unconditionally. TARK (1996)
Yan Zhang, Norman Y. Foo
Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 (1996)
Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas
Learning From Conditionals: Judy Benjamin's Other Problems. ECAI (1996)
Yan Zhang, Norman Y. Foo
Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. 14 (1) (1995)
Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. Deductive Databases / Abduction in Deductive Databases (1995)
Norman Y. Foo
Ontology Revison. ICCS (1995)
Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims
Determining Explanations using Transmutations. IJCAI (1) (1995)
Maurice Pagnucco, Norman Y. Foo
Inverting Resolution with Conceptual Graphs. ICCS (1993)
Yan Zhang, Norman Y. Foo
Reasoning About Persistence: A Theory of Actions. IJCAI (1993)
Norman Y. Foo
Comments on "Defining Software by Continuous Smooth Functions''. IEEE Trans. Software Eng. 19 (3) (1993)
Simon Dixon, Norman Y. Foo
Connections Between the ATMS and AGM Belief Revision. IJCAI (1993)
Norman Y. Foo, Anand S. Rao
Belief revision in a microworld. Ann. Math. Artif. Intell. 4 (1991)
Norman Y. Foo
Metalogic as a basis for modelling systems dynamics. IEEE Trans. Syst. Man Cybern. 21 (6) (1991)
Mary-Anne Williams, Norman Y. Foo
Nonmonotonic Dynamics of Default Logic. ECAI (1990)
Anand S. Rao, Norman Y. Foo
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. IJCAI (1989)
Tim Nicholson, Norman Y. Foo
A Denotational Semantics for Prolog. ACM Trans. Program. Lang. Syst. 11 (4) (1989)
Anand S. Rao, Norman Y. Foo
Formal Theories of Belief Revision. KR (1989)
Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker
Deduced Relevant Types and Constructive Negation. ICLP/SLP (1988)
Norman Y. Foo
Algebraic Specifications as Solutions of Implementation Equations. IEEE Trans. Software Eng. 13 (12) (1987)
Norman Y. Foo
Dewey Indexing of Prolog Traces. Comput. J. 29 (1) (1986)
Keith Brinck, Norman Y. Foo
Analysis of Algorithms on Threaded Trees. Comput. J. 24 (2) (1981)
Norman Y. Foo
Algebraic Specifications and Transition Graphs. Language Design and Programming Methodology (1979)
Norman Y. Foo
Closure Properties and Homomorphisms of Time-varying Systems. Math. Syst. Theory 12 (1978)