| 2007 |
|---|
| 87 | EE | Norman Y. Foo:
Social Agents.
Australian Conference on Artificial Intelligence 2007: 14 |
| 86 | EE | Wu Chen,
Norman Y. Foo,
Mingyi Zhang:
Forgetting in Logic Programs with Ordered Disjunction.
Australian Conference on Artificial Intelligence 2007: 254-262 |
| 85 | EE | Pavlos Peppas,
Samir Chopra,
Norman Y. Foo:
Distance Semantics for Relevance-Sensitive Belief Revision.
Formal Models of Belief Change in Rational Agents 2007 |
| 2006 |
|---|
| 84 | EE | Yan Zhang,
Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings.
Artif. Intell. 170(8-9): 739-778 (2006) |
| 83 | EE | 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): 315-338 (2006) |
| 2005 |
|---|
| 82 | | Yan Zhang,
Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates.
AAAI 2005: 707-713 |
| 81 | EE | Yan Zhang,
Norman Y. Foo,
Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings.
IJCAI 2005: 627-634 |
| 80 | EE | Quoc Bao Vo,
Norman Y. Foo,
Joe Thurbon:
Semantics for a theory of defeasible reasoning.
Ann. Math. Artif. Intell. 44(1-2): 87-119 (2005) |
| 79 | EE | Quoc Bao Vo,
Norman Y. Foo:
Reasoning about Action: An Argumentation - Theoretic Approach.
J. Artif. Intell. Res. (JAIR) 24: 465-518 (2005) |
| 2004 |
|---|
| 78 | | Thomas Andreas Meyer,
Norman Y. Foo,
Rex Kwok,
Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation.
AAAI 2004: 293-298 |
| 77 | | Dongmo Zhang,
Norman Y. Foo,
Thomas Andreas Meyer,
Rex Kwok:
Negotiation as Mutual Belief Revision.
AAAI 2004: 317-323 |
| 76 | EE | Norman Y. Foo,
Pavlos Peppas:
Systems Theory: Melding the AI and Simulation Perspectives.
AIS 2004: 14-23 |
| 75 | EE | Norman Y. Foo,
Pavlos Peppas:
System Properties of Action Theories.
AIS 2004: 416-427 |
| 74 | EE | Norman Y. Foo,
Thomas Meyer,
Gerhard Brewka:
LPOD Answer Sets and Nash Equilibria.
ASIAN 2004: 343-351 |
| 73 | EE | Norman Y. Foo,
Pavlos Peppas,
Yan Zhang:
Constraints from STRIPS - Preliminary Report.
Australian Conference on Artificial Intelligence 2004: 670-680 |
| 72 | | Victor Jauregui,
Maurice Pagnucco,
Norman Y. Foo:
Simplicity in Solving the Frame Problem.
ECAI 2004: 640-646 |
| 71 | | Thomas Andreas Meyer,
Norman Y. Foo,
Rex Kwok,
Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences.
KR 2004: 311-318 |
| 70 | | Pavlos Peppas,
Samir Chopra,
Norman Y. Foo:
Distance Semantics for Relevance-Sensitive Belief Revision.
KR 2004: 319-328 |
| 69 | EE | Victor Jauregui,
Maurice Pagnucco,
Norman Y. Foo:
On the Intended Interpretations of Actions.
PRICAI 2004: 13-22 |
| 2003 |
|---|
| 68 | EE | Dongmo Zhang,
Norman Y. Foo:
Axiomatic Analysis of Negotiation Protocols.
Australian Conference on Artificial Intelligence 2003: 377-389 |
| 67 | | Rex Bing Hung Kwok,
Norman Y. Foo,
Abhaya C. Nayak:
Coherence of Laws.
IJCAI 2003: 1400-1401 |
| 66 | EE | Quoc Bao Vo,
Abhaya C. Nayak,
Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events.
LPAR 2003: 274-288 |
| 2002 |
|---|
| 65 | EE | Dongmo Zhang,
Norman Y. Foo:
Convergency of Learning Process.
Australian Joint Conference on Artificial Intelligence 2002: 547-556 |
| 64 | EE | Dongmo Zhang,
Norman Y. Foo:
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.
JELIA 2002: 357-368 |
| 63 | EE | Quoc Bao Vo,
Norman Y. Foo:
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach.
PRICAI 2002: 49-59 |
| 62 | EE | Yan Zhang,
Norman Y. Foo:
Representing Actions over Dynamic Domains.
PRICAI 2002: 60-69 |
| 61 | EE | Norman Y. Foo:
Hidden Variables in Knowledge Representation.
PRICAI 2002: 7-8 |
| 60 | EE | Dongmo Zhang,
Samir Chopra,
Norman Y. Foo:
Consistency of Action Descriptions.
PRICAI 2002: 70-79 |
| 2001 |
|---|
| 59 | EE | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco,
Dongmo Zhang:
State Minimization Re-visited.
Australian Joint Conference on Artificial Intelligence 2001: 153-164 |
| 58 | EE | Quoc Bao Vo,
Norman Y. Foo:
Solving the Qualification Problem.
Australian Joint Conference on Artificial Intelligence 2001: 519-531 |
| 57 | | Dongmo Zhang,
Norman Y. Foo:
EPDL: A Logic for Causal Reasoning.
IJCAI 2001: 131-138 |
| 56 | EE | Norman Y. Foo,
Dongmo Zhang,
Yan Zhang,
Samir Chopra,
Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic.
LPNMR 2001: 240-253 |
| 55 | | Norman Y. Foo:
Conceptual Spaces--The Geometry of Thought: A Review.
AI Magazine 22(1): 139-140 (2001) |
| 54 | | Norman Y. Foo,
Rex Bing Hung Kwok,
Yan Zhang:
Apparent Nondeterminism in Actions.
Journal of Research and Practice in Information Technology 33(4): 360-368 (2001) |
| 53 | | Victor Jauregui,
Norman Y. Foo,
Maurice Pagnucco:
A Trajectory Approach to Causality.
Studia Logica 67(3): 385-401 (2001) |
| 52 | | Norman Y. Foo,
Pavlos Peppas:
Realization for Causal Nondeterministic Input-Output Systems.
Studia Logica 67(3): 419-437 (2001) |
| 2000 |
|---|
| 51 | | Norman Y. Foo,
Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.
Advances in Modal Logic 2000: 173-191 |
| 50 | | Dongmo Zhang,
Norman Y. Foo:
Autonomy of Autonomous Agents.
PRICAI 2000: 318-328 |
| 49 | | Yan Zhang,
Norman Y. Foo:
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives.
Computational Intelligence 16(1): 29-52 (2000) |
| 48 | | Pavlos Peppas,
Norman Y. Foo,
Abhaya C. Nayak:
Measuring similarity in belief revision.
J. Log. Comput. 10(4): 603-619 (2000) |
| 1999 |
|---|
| 47 | | Norman Y. Foo:
Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings
Springer 1999 |
| 46 | | Abhaya C. Nayak,
Norman Y. Foo:
Abduction without Minimality.
Australian Joint Conference on Artificial Intelligence 1999: 365-377 |
| 45 | | Victor Jauregui,
Maurice Pagnucco,
Norman Y. Foo:
A Trajectory Approach to Causality.
Australian Joint Conference on Artificial Intelligence 1999: 484-485 |
| 44 | | Pavlos Peppas,
Maurice Pagnucco,
Mikhail Prokopenko,
Norman Y. Foo,
Abhaya C. Nayak:
Preferential Semantics for Causal Systems.
IJCAI 1999: 118-123 |
| 43 | | Norman Y. Foo,
Maurice Pagnucco,
Abhaya C. Nayak:
Diagrammatic Proofs.
IJCAI 1999: 378-383 |
| 1998 |
|---|
| 42 | | Yan Zhang,
Norman Y. Foo:
Updating Logic Programs.
ECAI 1998: 403-407 |
| 41 | | Abhaya C. Nayak,
Norman Y. Foo:
Reasoning without Minimality.
PRICAI 1998: 122-133 |
| 40 | | Tyrone O'Neill,
Norman Y. Foo:
Reasoning about Continuous Change.
PRICAI 1998: 294-304 |
| 39 | | Allen P. Courtney,
Norman Y. Foo:
A Closer Look at Preduction.
PRICAI 1998: 471-481 |
| 38 | | Rex Bing Hung Kwok,
Abhaya C. Nayak,
Norman Y. Foo:
Coherence Measure Based on Average Use of Formulas.
PRICAI 1998: 553-564 |
| 37 | | Norman Y. Foo:
Diagrammatic Reasoning About Linked Lists.
PRICAI 1998: 565-574 |
| 1997 |
|---|
| 36 | | Pavlos Peppas,
Maurice Pagnucco,
Mikhail Prokopenko,
Norman Y. Foo:
Preferential Semantics for Causal Fixpoints.
Australian Joint Conference on Artificial Intelligence 1997: 197-206 |
| 35 | | Tyrone O'Neill,
Norman Y. Foo:
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems.
Australian Joint Conference on Artificial Intelligence 1997: 207-216 |
| 34 | | 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: 217-226 |
| 33 | | Norman Y. Foo,
Pavlos Peppas,
Yan Zhang:
Inductive Properties of States.
Australian Joint Conference on Artificial Intelligence 1997: 227-235 |
| 32 | | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco,
Pavlos Peppas,
Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS.
IJCAI (1) 1997: 549-554 |
| 31 | | Yan Zhang,
Norman Y. Foo:
Towards Generalized Rule-based Updates.
IJCAI (1) 1997: 82-88 |
| 30 | | Yan Zhang,
Norman Y. Foo:
Answer Sets for Prioritized Logic Programs.
ILPS 1997: 69-83 |
| 29 | | Yan Zhang,
Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories.
Fundam. Inform. 30(1): 109-123 (1997) |
| 1996 |
|---|
| 28 | | Norman Y. Foo,
Randy Goebel:
PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings
Springer 1996 |
| 27 | | Yan Zhang,
Norman Y. Foo:
Updating Knowledge Bases with Disjunctive Information.
AAAI/IAAI, Vol. 1 1996: 562-568 |
| 26 | | Allen P. Courtney,
Norman Y. Foo,
Grigoris Antoniou:
Computing Default Logic Extensions: An Implementation.
AAAI/IAAI, Vol. 2 1996: 1381 |
| 25 | | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco:
Definitional Constraints.
ECAI 1996: 65-69 |
| 24 | | Abhaya C. Nayak,
Maurice Pagnucco,
Norman Y. Foo,
Pavlos Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems.
ECAI 1996: 75-79 |
| 23 | | 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: 95-99 |
| 22 | | Allen P. Courtney,
Grigoris Antoniou,
Norman Y. Foo:
Exten: A System for Computing Default Logic Extensions.
PRICAI 1996: 471-482 |
| 21 | | Grigoris Antoniou,
Cara MacNish,
Norman Y. Foo:
Conservative Expansion Concepts for Default Theories.
PRICAI 1996: 522-533 |
| 20 | | Abhaya C. Nayak,
Norman Y. Foo,
Maurice Pagnucco,
Abdul Sattar:
Changing Conditional Belief Unconditionally.
TARK 1996: 119-135 |
| 1995 |
|---|
| 19 | | Maurice Pagnucco,
Abhaya C. Nayak,
Norman Y. Foo:
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.
Deductive Databases / Abduction in Deductive Databases 1995: 143-158 |
| 18 | | Norman Y. Foo:
Ontology Revison.
ICCS 1995: 16-31 |
| 17 | | Mary-Anne Williams,
Maurice Pagnucco,
Norman Y. Foo,
Brailey Sims:
Determining Explanations using Transmutations.
IJCAI (1) 1995: 822-829 |
| 16 | | Yan Zhang,
Norman Y. Foo:
Applying the persistent set approach in temporal reasoning.
Ann. Math. Artif. Intell. 14(1): (1995) |
| 1993 |
|---|
| 15 | | Maurice Pagnucco,
Norman Y. Foo:
Inverting Resolution with Conceptual Graphs.
ICCS 1993: 238-253 |
| 14 | | Simon Dixon,
Norman Y. Foo:
Connections Between the ATMS and AGM Belief Revision.
IJCAI 1993: 534-539 |
| 13 | | Yan Zhang,
Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions.
IJCAI 1993: 718-723 |
| 12 | EE | Norman Y. Foo:
Comments on ``Defining Software by Continuous Smooth Functions''.
IEEE Trans. Software Eng. 19(3): 307-309 (1993) |
| 1991 |
|---|
| 11 | | Norman Y. Foo,
Anand S. Rao:
Belief revision in a microworld.
Ann. Math. Artif. Intell. 4: 135-155 (1991) |
| 1990 |
|---|
| 10 | | Mary-Anne Williams,
Norman Y. Foo:
Nonmonotonic Dynamics of Default Logic.
ECAI 1990: 702-707 |
| 1989 |
|---|
| 9 | | Anand S. Rao,
Norman Y. Foo:
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.
IJCAI 1989: 966-971 |
| 8 | | Anand S. Rao,
Norman Y. Foo:
Formal Theories of Belief Revision.
KR 1989: 369-380 |
| 7 | EE | Tim Nicholson,
Norman Y. Foo:
A Denotational Semantics for Prolog.
ACM Trans. Program. Lang. Syst. 11(4): 650-665 (1989) |
| 1988 |
|---|
| 6 | | Norman Y. Foo,
Anand S. Rao,
Andrew Taylor,
Adrian Walker:
Deduced Relevant Types and Constructive Negation.
ICLP/SLP 1988: 126-139 |
| 1987 |
|---|
| 5 | | Norman Y. Foo:
Algebraic Specifications as Solutions of Implementation Equations.
IEEE Trans. Software Eng. 13(12): 1364-1369 (1987) |
| 1986 |
|---|
| 4 | | Norman Y. Foo:
Dewey Indexing of Prolog Traces.
Comput. J. 29(1): 17-19 (1986) |
| 1981 |
|---|
| 3 | | Keith Brinck,
Norman Y. Foo:
Analysis of Algorithms on Threaded Trees.
Comput. J. 24(2): 148-155 (1981) |
| 1979 |
|---|
| 2 | | Norman Y. Foo:
Algebraic Specifications and Transition Graphs.
Language Design and Programming Methodology 1979: 129-142 |
| 1978 |
|---|
| 1 | | Norman Y. Foo:
Closure Properties and Homomorphisms of Time-varying Systems.
Mathematical Systems Theory 12: 41-58 (1978) |
