The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Norman Y. Foo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Yan Zhang, Norman Y. Foo
    A Unified Framework for Representing Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:707-713 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Norman Y. Foo, Pavlos Peppas
    Systems Theory: Melding the AI and Simulation Perspectives. [Citation Graph (0, 0)][DBLP]
    AIS, 2004, pp:14-23 [Conf]
  8. Norman Y. Foo, Pavlos Peppas
    System Properties of Action Theories. [Citation Graph (0, 0)][DBLP]
    AIS, 2004, pp:416-427 [Conf]
  9. Norman Y. Foo, Thomas Meyer, Gerhard Brewka
    LPOD Answer Sets and Nash Equilibria. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:343-351 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco
    Definitional Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:65-69 [Conf]
  23. Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
    Simplicity in Solving the Frame Problem. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:640-646 [Conf]
  24. 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]
  25. 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]
  26. Mary-Anne Williams, Norman Y. Foo
    Nonmonotonic Dynamics of Default Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:702-707 [Conf]
  27. Yan Zhang, Norman Y. Foo
    Updating Logic Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:403-407 [Conf]
  28. Norman Y. Foo
    Ontology Revison. [Citation Graph (0, 0)][DBLP]
    ICCS, 1995, pp:16-31 [Conf]
  29. Maurice Pagnucco, Norman Y. Foo
    Inverting Resolution with Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1993, pp:238-253 [Conf]
  30. 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]
  31. Simon Dixon, Norman Y. Foo
    Connections Between the ATMS and AGM Belief Revision. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:534-539 [Conf]
  32. 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]
  33. Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak
    Diagrammatic Proofs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:378-383 [Conf]
  34. Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak
    Coherence of Laws. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1400-1401 [Conf]
  35. 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]
  36. 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]
  37. 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]
  38. Dongmo Zhang, Norman Y. Foo
    EPDL: A Logic for Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:131-138 [Conf]
  39. Yan Zhang, Norman Y. Foo
    Reasoning About Persistence: A Theory of Actions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:718-723 [Conf]
  40. Yan Zhang, Norman Y. Foo
    Towards Generalized Rule-based Updates. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:82-88 [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. Anand S. Rao, Norman Y. Foo
    Formal Theories of Belief Revision. [Citation Graph (0, 0)][DBLP]
    KR, 1989, pp:369-380 [Conf]
  46. Norman Y. Foo
    Algebraic Specifications and Transition Graphs. [Citation Graph (0, 0)][DBLP]
    Language Design and Programming Methodology, 1979, pp:129-142 [Conf]
  47. 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]
  48. 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]
  49. Grigoris Antoniou, Cara MacNish, Norman Y. Foo
    Conservative Expansion Concepts for Default Theories. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:522-533 [Conf]
  50. 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]
  51. Allen P. Courtney, Norman Y. Foo
    A Closer Look at Preduction. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:471-481 [Conf]
  52. Norman Y. Foo
    Hidden Variables in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2002, pp:7-8 [Conf]
  53. Norman Y. Foo
    Diagrammatic Reasoning About Linked Lists. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:565-574 [Conf]
  54. Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
    On the Intended Interpretations of Actions. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:13-22 [Conf]
  55. 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]
  56. Abhaya C. Nayak, Norman Y. Foo
    Reasoning without Minimality. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:122-133 [Conf]
  57. Tyrone O'Neill, Norman Y. Foo
    Reasoning about Continuous Change. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:294-304 [Conf]
  58. 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]
  59. Dongmo Zhang, Samir Chopra, Norman Y. Foo
    Consistency of Action Descriptions. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2002, pp:70-79 [Conf]
  60. Dongmo Zhang, Norman Y. Foo
    Autonomy of Autonomous Agents. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:318-328 [Conf]
  61. Yan Zhang, Norman Y. Foo
    Representing Actions over Dynamic Domains. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2002, pp:60-69 [Conf]
  62. Yan Zhang, Norman Y. Foo
    Answer Sets for Prioritized Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:69-83 [Conf]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. Norman Y. Foo
    Dewey Indexing of Prolog Traces. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:1, pp:17-19 [Journal]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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]
  81. 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]
  82. 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]

  83. Social Agents. [Citation Graph (, )][DBLP]


  84. Forgetting in Logic Programs with Ordered Disjunction. [Citation Graph (, )][DBLP]


  85. Distance Semantics for Relevance-Sensitive Belief Revision. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002