default search action
Norman Y. Foo
Person information
- affiliation: University of New South Wales, Sydney, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j23]Pavlos Peppas
, Mary-Anne Williams
Relevance in belief revision. Artif. Intell. 229: 126-138 (2015) - 2011
- [i2]Norman Y. Foo, Quoc Bao Vo:
Reasoning about Action: An Argumentation - Theoretic Approach. CoRR abs/1109.2138 (2011)
2000 – 2009
- 2009
- [p1]Jason Jingshi Li, Rex Bing Hung Kwok, Norman Y. Foo:
The Coherence of Theories - Dependencies and Weights. Towards Mathematical Philosophy 2009: 297-318 - 2007
- [c65]Norman Y. Foo:
Social Agents. Australian Conference on Artificial Intelligence 2007: 14 - [c64]Wu Chen, Norman Y. Foo, Mingyi Zhang:
Forgetting in Logic Programs with Ordered Disjunction. Australian Conference on Artificial Intelligence 2007: 254-262 - [i1]Pavlos Peppas, Samir Chopra, Norman Y. Foo:
Distance Semantics for Relevance-Sensitive Belief Revision. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j22]Yan Zhang, Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170(8-9): 739-778 (2006) - [j21]Quoc Bao Vo, Abhaya C. Nayak
A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. 16(3): 315-338 (2006) - 2005
- [j20]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) - [j19]Quoc Bao Vo, Norman Y. Foo:
Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. 24: 465-518 (2005) - [j18]Dongmo Zhang, Norman Y. Foo:
Frame problem in dynamic logic. J. Appl. Non Class. Logics 15(2): 215-239 (2005) - [c63]Yan Zhang, Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates. AAAI 2005: 707-713 - [c62]Yan Zhang, Norman Y. Foo, Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634 - 2004
- [c61]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI 2004: 293-298 - [c60]Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok:
Negotiation as Mutual Belief Revision. AAAI 2004: 317-323 - [c59]Norman Y. Foo, Pavlos Peppas:
Systems Theory: Melding the AI and Simulation Perspectives. AIS 2004: 14-23 - [c58]Norman Y. Foo, Pavlos Peppas:
System Properties of Action Theories. AIS 2004: 416-427 - [c57]Norman Y. Foo, Thomas Meyer
LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351 - [c56]Norman Y. Foo, Pavlos Peppas, Yan Zhang:
Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence 2004: 670-680 - [c55]Victor Jauregui, Maurice Pagnucco, Norman Y. Foo:
Simplicity in Solving the Frame Problem. ECAI 2004: 640-646 - [c54]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences. KR 2004: 311-318 - [c53]Pavlos Peppas, Samir Chopra, Norman Y. Foo:
Distance Semantics for Relevance-Sensitive Belief Revision. KR 2004: 319-328 - [c52]Victor Jauregui, Maurice Pagnucco, Norman Y. Foo:
On the Intended Interpretations of Actions. PRICAI 2004: 13-22 - 2003
- [c51]Dongmo Zhang, Norman Y. Foo:
Axiomatic Analysis of Negotiation Protocols. Australian Conference on Artificial Intelligence 2003: 377-389 - [c50]Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak:
Coherence of Laws. IJCAI 2003: 1400-1401 - [c49]Quoc Bao Vo, Abhaya C. Nayak
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288 - 2002
- [c48]Dongmo Zhang, Norman Y. Foo:
Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence 2002: 547-556 - [c47]Dongmo Zhang, Norman Y. Foo:
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA 2002: 357-368 - [c46]Norman Y. Foo:
Hidden Variables in Knowledge Representation. PRICAI 2002: 7-8 - [c45]Quoc Bao Vo, Norman Y. Foo:
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI 2002: 49-59 - [c44]Yan Zhang, Norman Y. Foo:
Representing Actions over Dynamic Domains. PRICAI 2002: 60-69 - [c43]Dongmo Zhang, Samir Chopra, Norman Y. Foo:
Consistency of Action Descriptions. PRICAI 2002: 70-79 - 2001
- [j17]Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang:
Apparent Nondeterminism in Actions. J. Res. Pract. Inf. Technol. 33(4): 360-368 (2001) - [j16]Norman Y. Foo:
Conceptual Spaces-The Geometry of Thought: A Review. AI Mag. 22(1): 139-140 (2001) - [j15]Dongmo Zhang, Norman Y. Foo:
Infinitary Belief Revision. J. Philos. Log. 30(6): 525-570 (2001) - [j14]Victor Jauregui, Norman Y. Foo, Maurice Pagnucco
A Trajectory Approach to Causality. Stud Logica 67(3): 385-401 (2001) - [j13]Norman Y. Foo, Pavlos Peppas
Realization for Causal Nondeterministic Input-Output Systems. Stud Logica 67(3): 419-437 (2001) - [c42]Norman Y. Foo, Abhaya C. Nayak
State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence 2001: 153-164 - [c41]Quoc Bao Vo, Norman Y. Foo:
Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence 2001: 519-531 - [c40]Dongmo Zhang, Norman Y. Foo:
EPDL: A Logic for Causal Reasoning. IJCAI 2001: 131-138 - [c39]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 - 2000
- [j12]Yan Zhang, Norman Y. Foo:
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Comput. Intell. 16(1): 29-52 (2000) - [j11]Pavlos Peppas
Measuring similarity in belief revision. J. Log. Comput. 10(4): 603-619 (2000) - [c38]Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic 2000: 173-191 - [c37]Dongmo Zhang, Norman Y. Foo:
Autonomy of Autonomous Agents. PRICAI 2000: 318-328
1990 – 1999
- 1999
- [c36]Abhaya C. Nayak
Abduction without Minimality. Australian Joint Conference on Artificial Intelligence 1999: 365-377 - [c35]Victor Jauregui, Maurice Pagnucco
A Trajectory Approach to Causality. Australian Joint Conference on Artificial Intelligence 1999: 484-485 - [c34]Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak:
Preferential Semantics for Causal Systems. IJCAI 1999: 118-123 - [c33]Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak:
Diagrammatic Proofs. IJCAI 1999: 378-383 - [e2]Norman Y. Foo:
Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1747, Springer 1999, ISBN 3-540-66822-5 [contents] - 1998
- [c32]Yan Zhang, Norman Y. Foo:
Updating Logic Programs. ECAI 1998: 403-407 - [c31]Abhaya C. Nayak
Reasoning without Minimality. PRICAI 1998: 122-133 - [c30]Tyrone O'Neill, Norman Y. Foo:
Reasoning about Continuous Change. PRICAI 1998: 294-304 - [c29]Allen P. Courtney, Norman Y. Foo:
A Closer Look at Preduction. PRICAI 1998: 471-481 - [c28]Rex Bing Hung Kwok, Abhaya C. Nayak
Coherence Measure Based on Average Use of Formulas. PRICAI 1998: 553-564 - [c27]Norman Y. Foo:
Diagrammatic Reasoning About Linked Lists. PRICAI 1998: 565-574 - 1997
- [j10]Yan Zhang, Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories. Fundam. Informaticae 30(1): 109-123 (1997) - [c26]Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko
Preferential Semantics for Causal Fixpoints. Australian Joint Conference on Artificial Intelligence 1997: 197-206 - [c25]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 - [c24]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 - [c23]Norman Y. Foo, Pavlos Peppas, Yan Zhang:
Inductive Properties of States. Australian Joint Conference on Artificial Intelligence 1997: 227-235 - [c22]Yan Zhang, Norman Y. Foo:
Towards Generalized Rule-based Updates. IJCAI (1) 1997: 82-88 - [c21]Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) 1997: 549-554 - [c20]Yan Zhang, Norman Y. Foo:
Answer Sets for Prioritized Logic Programs. ILPS 1997: 69-83 - 1996
- [c19]Yan Zhang, Norman Y. Foo:
Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 1996: 562-568 - [c18]Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou:
Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 1996: 1381 - [c17]Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco:
Definitional Constraints. ECAI 1996: 65-69 - [c16]Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems. ECAI 1996: 75-79 - [c15]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 - [c14]Allen P. Courtney, Grigoris Antoniou
Exten: A System for Computing Default Logic Extensions. PRICAI 1996: 471-482 - [c13]Grigoris Antoniou
Conservative Expansion Concepts for Default Theories. PRICAI 1996: 522-533 - [c12]Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar:
Changing Conditional Belief Unconditionally. TARK 1996: 119-135 - [e1]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. Lecture Notes in Computer Science 1114, Springer 1996, ISBN 3-540-61532-6 [contents] - 1995
- [j9]Yan Zhang, Norman Y. Foo:
Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. 14(1): 75-98 (1995) - [c11]Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo:
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. Deductive Databases / Abduction in Deductive Databases 1995: 143-158 - [c10]Norman Y. Foo:
Ontology Revison. ICCS 1995: 16-31 - [c9]Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims:
Determining Explanations using Transmutations. IJCAI (1) 1995: 822-829 - 1993
- [j8]Norman Y. Foo:
Comments on "Defining Software by Continuous Smooth Functions''. IEEE Trans. Software Eng. 19(3): 307-309 (1993) - [c8]Maurice Pagnucco, Norman Y. Foo:
Inverting Resolution with Conceptual Graphs. ICCS 1993: 238-253 - [c7]Simon Dixon, Norman Y. Foo:
Connections Between the ATMS and AGM Belief Revision. IJCAI 1993: 534-539 - [c6]Yan Zhang, Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions. IJCAI 1993: 718-723 - 1991
- [j7]Norman Y. Foo, Anand S. Rao:
Belief revision in a microworld. Ann. Math. Artif. Intell. 4: 135-155 (1991) - [j6]Norman Y. Foo:
Metalogic as a basis for modelling systems dynamics. IEEE Trans. Syst. Man Cybern. 21(6): 1478-1487 (1991) - 1990
- [c5]Mary-Anne Williams, Norman Y. Foo:
Nonmonotonic Dynamics of Default Logic. ECAI 1990: 702-707
1980 – 1989
- 1989
- [j5]Tim Nicholson, Norman Y. Foo:
A Denotational Semantics for Prolog. ACM Trans. Program. Lang. Syst. 11(4): 650-665 (1989) - [c4]Anand S. Rao, Norman Y. Foo:
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. IJCAI 1989: 966-971 - [c3]Anand S. Rao, Norman Y. Foo:
Formal Theories of Belief Revision. KR 1989: 369-380 - 1988
- [c2]Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker:
Deduced Relevant Types and Constructive Negation. ICLP/SLP 1988: 126-139 - 1987
- [j4]Norman Y. Foo:
Algebraic Specifications as Solutions of Implementation Equations. IEEE Trans. Software Eng. 13(12): 1364-1369 (1987) - 1986
- [j3]Norman Y. Foo:
Dewey Indexing of Prolog Traces. Comput. J. 29(1): 17-19 (1986) - 1981
- [j2]Keith Brinck, Norman Y. Foo:
Analysis of Algorithms on Threaded Trees. Comput. J. 24(2): 148-155 (1981)
1970 – 1979
- 1979
- [c1]Norman Y. Foo:
Algebraic Specifications and Transition Graphs. Language Design and Programming Methodology 1979: 129-142 - 1978
- [j1]Norman Y. Foo:
Closure Properties and Homomorphisms of Time-varying Systems. Math. Syst. Theory 12: 41-58 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: