dblp.uni-trier.dewww.uni-trier.de

Norman Y. Foo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
87EENorman Y. Foo: Social Agents. Australian Conference on Artificial Intelligence 2007: 14
86EEWu Chen, Norman Y. Foo, Mingyi Zhang: Forgetting in Logic Programs with Ordered Disjunction. Australian Conference on Artificial Intelligence 2007: 254-262
85EEPavlos Peppas, Samir Chopra, Norman Y. Foo: Distance Semantics for Relevance-Sensitive Belief Revision. Formal Models of Belief Change in Rational Agents 2007
2006
84EEYan Zhang, Norman Y. Foo: Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170(8-9): 739-778 (2006)
83EEQuoc 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
81EEYan Zhang, Norman Y. Foo, Kewen Wang: Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634
80EEQuoc Bao Vo, Norman Y. Foo, Joe Thurbon: Semantics for a theory of defeasible reasoning. Ann. Math. Artif. Intell. 44(1-2): 87-119 (2005)
79EEQuoc 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
76EENorman Y. Foo, Pavlos Peppas: Systems Theory: Melding the AI and Simulation Perspectives. AIS 2004: 14-23
75EENorman Y. Foo, Pavlos Peppas: System Properties of Action Theories. AIS 2004: 416-427
74EENorman Y. Foo, Thomas Meyer, Gerhard Brewka: LPOD Answer Sets and Nash Equilibria. ASIAN 2004: 343-351
73EENorman 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
69EEVictor Jauregui, Maurice Pagnucco, Norman Y. Foo: On the Intended Interpretations of Actions. PRICAI 2004: 13-22
2003
68EEDongmo 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
66EEQuoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo: A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288
2002
65EEDongmo Zhang, Norman Y. Foo: Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence 2002: 547-556
64EEDongmo Zhang, Norman Y. Foo: Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA 2002: 357-368
63EEQuoc Bao Vo, Norman Y. Foo: Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI 2002: 49-59
62EEYan Zhang, Norman Y. Foo: Representing Actions over Dynamic Domains. PRICAI 2002: 60-69
61EENorman Y. Foo: Hidden Variables in Knowledge Representation. PRICAI 2002: 7-8
60EEDongmo Zhang, Samir Chopra, Norman Y. Foo: Consistency of Action Descriptions. PRICAI 2002: 70-79
2001
59EENorman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang: State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence 2001: 153-164
58EEQuoc 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
56EENorman 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
46EEAbhaya C. Nayak, Norman Y. Foo: Abduction without Minimality. Australian Joint Conference on Artificial Intelligence 1999: 365-377
45EEVictor 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
41EEAbhaya C. Nayak, Norman Y. Foo: Reasoning without Minimality. PRICAI 1998: 122-133
40EETyrone O'Neill, Norman Y. Foo: Reasoning about Continuous Change. PRICAI 1998: 294-304
39EEAllen P. Courtney, Norman Y. Foo: A Closer Look at Preduction. PRICAI 1998: 471-481
38EERex 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
36EEPavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo: Preferential Semantics for Causal Fixpoints. Australian Joint Conference on Artificial Intelligence 1997: 197-206
35EETyrone O'Neill, Norman Y. Foo: Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. Australian Joint Conference on Artificial Intelligence 1997: 207-216
34EERex 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
33EENorman 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
22EEAllen P. Courtney, Grigoris Antoniou, Norman Y. Foo: Exten: A System for Computing Default Logic Extensions. PRICAI 1996: 471-482
21EEGrigoris 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
18EENorman 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
15EEMaurice 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
12EENorman 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
7EETim 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)

Coauthor Index

1Grigoris Antoniou [21] [22] [26]
2Gerhard Brewka [74]
3Keith Brinck [3]
4Wu Chen [86]
5Samir Chopra [56] [60] [70] [85]
6Allen P. Courtney [22] [26] [39]
7Simon Dixon [14]
8Randy Goebel [28]
9Victor Jauregui [45] [53] [69] [72]
10Rex Kwok [71] [77] [78]
11Rex Bing Hung Kwok [23] [34] [38] [54] [67]
12Cara MacNish [21]
13Thomas Meyer [74]
14Thomas Andreas Meyer (Tommie Meyer) [71] [77] [78]
15Abhaya C. Nayak [19] [20] [23] [24] [25] [32] [34] [38] [41] [43] [44] [46] [48] [59] [66] [67] [83]
16Tim Nicholson [7]
17Tyrone O'Neill [35] [40]
18Maurice Pagnucco [15] [17] [19] [20] [23] [24] [25] [32] [36] [43] [44] [45] [53] [59] [69] [72]
19Pavlos Peppas [23] [24] [32] [33] [36] [44] [48] [52] [70] [73] [75] [76] [85]
20Mikhail Prokopenko [23] [36] [44]
21Anand S. Rao [6] [8] [9] [11]
22Abdul Sattar [20]
23Brailey Sims [17]
24Andrew Taylor [6]
25Joe Thurbon [80]
26Quoc Bao Vo [56] [58] [63] [66] [79] [80] [83]
27Adrian Walker [6]
28Kewen Wang [81]
29Mary-Anne Williams [10] [17]
30Dongmo Zhang [50] [51] [56] [57] [59] [60] [64] [65] [68] [71] [77] [78]
31Mingyi Zhang [86]
32Yan Zhang [13] [16] [27] [29] [30] [31] [32] [33] [42] [49] [54] [56] [62] [73] [81] [82] [84]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)