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