Norman Y. Foo - RankMe

93 papers A* 15A 6B 19Misc 2Journal 24Unranked 25

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Relevance in belief revision. Artif. Intell. Pavlos Peppas, Mary-Anne Williams, Samir Chopra, Norman Y. Foo
2011	J	`jnl`	Reasoning about Action: An Argumentation - Theoretic Approach CoRR Norman Y. Foo, Quoc Bao Vo
2009	—	`ch.`	The Coherence of Theories - Dependencies and Weights. Towards Mathematical Philosophy Jason Jingshi Li, Rex Bing Hung Kwok, Norman Y. Foo
2007	—	`conf`	Distance Semantics for Relevance-Sensitive Belief Revision. Formal Models of Belief Change in Rational Agents Pavlos Peppas, Samir Chopra, Norman Y. Foo
2007	—	`conf`	Forgetting in Logic Programs with Ordered Disjunction. Australian Conference on Artificial Intelligence Wu Chen, Norman Y. Foo, Mingyi Zhang
2007	—	`conf`	Social Agents. Australian Conference on Artificial Intelligence Norman Y. Foo
2006	J	`jnl`	A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
2006	J	`jnl`	Solving logic program conflict through strong and weak forgettings. Artif. Intell. Yan Zhang, Norman Y. Foo
2005	A*	`conf`	A Unified Framework for Representing Logic Program Updates. AAAI Yan Zhang, Norman Y. Foo
2005	J	`jnl`	Frame problem in dynamic logic. J. Appl. Non Class. Logics Dongmo Zhang, Norman Y. Foo
2005	J	`jnl`	Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. Quoc Bao Vo, Norman Y. Foo
2005	J	`jnl`	Semantics for a theory of defeasible reasoning. Ann. Math. Artif. Intell. Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
2005	A*	`conf`	Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI Yan Zhang, Norman Y. Foo, Kewen Wang
2004	—	`conf`	Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence Norman Y. Foo, Pavlos Peppas, Yan Zhang
2004	A*	`conf`	Distance Semantics for Relevance-Sensitive Belief Revision. KR Pavlos Peppas, Samir Chopra, Norman Y. Foo
2004	—	`conf`	LPOD Answer Sets and Nash Equilibria. ASIAN Norman Y. Foo, Thomas Meyer, Gerhard Brewka
2004	A*	`conf`	Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
2004	A*	`conf`	Logical Foundations of Negotiation: Strategies and Preferences. KR Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
2004	A*	`conf`	Negotiation as Mutual Belief Revision. AAAI Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok
2004	B	`conf`	On the Intended Interpretations of Actions. PRICAI Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
2004	A	`conf`	Simplicity in Solving the Frame Problem. ECAI Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
2004	—	`conf`	System Properties of Action Theories. AIS Norman Y. Foo, Pavlos Peppas
2004	—	`conf`	Systems Theory: Melding the AI and Simulation Perspectives. AIS Norman Y. Foo, Pavlos Peppas
2003	B	`conf`	A Syntax-Based Approach to Reasoning about Actions and Events. LPAR Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
2003	—	`conf`	Axiomatic Analysis of Negotiation Protocols. Australian Conference on Artificial Intelligence Dongmo Zhang, Norman Y. Foo
2003	A*	`conf`	Coherence of Laws. IJCAI Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak
2002	B	`conf`	Consistency of Action Descriptions. PRICAI Dongmo Zhang, Samir Chopra, Norman Y. Foo
2002	—	`conf`	Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence Dongmo Zhang, Norman Y. Foo
2002	B	`conf`	Hidden Variables in Knowledge Representation. PRICAI Norman Y. Foo
2002	B	`conf`	Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA Dongmo Zhang, Norman Y. Foo
2002	B	`conf`	Representing Actions over Dynamic Domains. PRICAI Yan Zhang, Norman Y. Foo
2002	B	`conf`	Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI Quoc Bao Vo, Norman Y. Foo
2001	J	`jnl`	A Trajectory Approach to Causality. Stud Logica Victor Jauregui, Norman Y. Foo, Maurice Pagnucco
2001	J	`jnl`	Apparent Nondeterminism in Actions. J. Res. Pract. Inf. Technol. Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang
2001	J	`jnl`	Conceptual Spaces-The Geometry of Thought: A Review. AI Mag. Norman Y. Foo
2001	A*	`conf`	EPDL: A Logic for Causal Reasoning. IJCAI Dongmo Zhang, Norman Y. Foo
2001	B	`conf`	Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
2001	J	`jnl`	Infinitary Belief Revision. J. Philos. Log. Dongmo Zhang, Norman Y. Foo
2001	J	`jnl`	Realization for Causal Nondeterministic Input-Output Systems. Stud Logica Norman Y. Foo, Pavlos Peppas
2001	—	`conf`	Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence Quoc Bao Vo, Norman Y. Foo
2001	—	`conf`	State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang
2000	B	`conf`	Autonomy of Autonomous Agents. PRICAI Dongmo Zhang, Norman Y. Foo
2000	B	`conf`	Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic Norman Y. Foo, Dongmo Zhang
2000	J	`jnl`	Measuring similarity in belief revision. J. Log. Comput. Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak
2000	J	`jnl`	Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Comput. Intell. Yan Zhang, Norman Y. Foo
1999	—	`conf`	A Trajectory Approach to Causality. Australian Joint Conference on Artificial Intelligence Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
1999	—	`conf`	Abduction without Minimality. Australian Joint Conference on Artificial Intelligence Abhaya C. Nayak, Norman Y. Foo
1999	—	`ed.`	Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings Australian Joint Conference on Artificial Intelligence Norman Y. Foo
1999	A*	`conf`	Diagrammatic Proofs. IJCAI Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak
1999	A*	`conf`	Preferential Semantics for Causal Systems. IJCAI Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak
1998	B	`conf`	A Closer Look at Preduction. PRICAI Allen P. Courtney, Norman Y. Foo
1998	B	`conf`	Coherence Measure Based on Average Use of Formulas. PRICAI Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo
1998	B	`conf`	Diagrammatic Reasoning About Linked Lists. PRICAI Norman Y. Foo
1998	B	`conf`	Reasoning about Continuous Change. PRICAI Tyrone O'Neill, Norman Y. Foo
1998	B	`conf`	Reasoning without Minimality. PRICAI Abhaya C. Nayak, Norman Y. Foo
1998	A	`conf`	Updating Logic Programs. ECAI Yan Zhang, Norman Y. Foo
1997	—	`conf`	A Notion of Correctness with Theories Containing Theoretical Terms. Australian Joint Conference on Artificial Intelligence Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo
1997	—	`conf`	Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
1997	—	`conf`	Answer Sets for Prioritized Logic Programs. ILPS Yan Zhang, Norman Y. Foo
1997	—	`conf`	Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. Australian Joint Conference on Artificial Intelligence Tyrone O'Neill, Norman Y. Foo
1997	J	`jnl`	Deriving Invariants and Constraints from Action Theories. Fundam. Informaticae Yan Zhang, Norman Y. Foo
1997	—	`conf`	Inductive Properties of States. Australian Joint Conference on Artificial Intelligence Norman Y. Foo, Pavlos Peppas, Yan Zhang
1997	—	`conf`	Preferential Semantics for Causal Fixpoints. Australian Joint Conference on Artificial Intelligence Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo
1997	—	`conf`	Towards Generalized Rule-based Updates. IJCAI (1) Yan Zhang, Norman Y. Foo
1996	B	`conf`	Changing Conditional Belief Unconditionally. TARK Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar
1996	—	`conf`	Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou
1996	B	`conf`	Conservative Expansion Concepts for Default Theories. PRICAI Grigoris Antoniou, Cara MacNish, Norman Y. Foo
1996	A	`conf`	Definitional Constraints. ECAI Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco
1996	B	`conf`	Exten: A System for Computing Default Logic Extensions. PRICAI Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo
1996	A	`conf`	Learning From Conditionals: Judy Benjamin's Other Problems. ECAI Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas
1996	B	`ed.`	PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings PRICAI Norman Y. Foo, Randy Goebel
1996	A	`conf`	Revision vs. Update: Taking a Closer Look. ECAI Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko
1996	—	`conf`	Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 Yan Zhang, Norman Y. Foo
1995	—	`conf`	Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. Deductive Databases / Abduction in Deductive Databases Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo
1995	J	`jnl`	Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. Yan Zhang, Norman Y. Foo
1995	A*	`conf`	Determining Explanations using Transmutations. IJCAI (1) Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims
1995	Misc	`conf`	Ontology Revison. ICCS Norman Y. Foo
1993	J	`jnl`	Comments on "Defining Software by Continuous Smooth Functions''. IEEE Trans. Software Eng. Norman Y. Foo
1993	A*	`conf`	Connections Between the ATMS and AGM Belief Revision. IJCAI Simon Dixon, Norman Y. Foo
1993	Misc	`conf`	Inverting Resolution with Conceptual Graphs. ICCS Maurice Pagnucco, Norman Y. Foo
1993	A*	`conf`	Reasoning About Persistence: A Theory of Actions. IJCAI Yan Zhang, Norman Y. Foo
1991	J	`jnl`	Belief revision in a microworld. Ann. Math. Artif. Intell. Norman Y. Foo, Anand S. Rao
1991	J	`jnl`	Metalogic as a basis for modelling systems dynamics. IEEE Trans. Syst. Man Cybern. Norman Y. Foo
1990	A	`conf`	Nonmonotonic Dynamics of Default Logic. ECAI Mary-Anne Williams, Norman Y. Foo
1989	J	`jnl`	A Denotational Semantics for Prolog. ACM Trans. Program. Lang. Syst. Tim Nicholson, Norman Y. Foo
1989	A*	`conf`	Formal Theories of Belief Revision. KR Anand S. Rao, Norman Y. Foo
1989	A*	`conf`	Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. IJCAI Anand S. Rao, Norman Y. Foo
1988	—	`conf`	Deduced Relevant Types and Constructive Negation. ICLP/SLP Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker
1987	J	`jnl`	Algebraic Specifications as Solutions of Implementation Equations. IEEE Trans. Software Eng. Norman Y. Foo
1986	J	`jnl`	Dewey Indexing of Prolog Traces. Comput. J. Norman Y. Foo
1981	J	`jnl`	Analysis of Algorithms on Threaded Trees. Comput. J. Keith Brinck, Norman Y. Foo
1979	—	`conf`	Algebraic Specifications and Transition Graphs. Language Design and Programming Methodology Norman Y. Foo
1978	J	`jnl`	Closure Properties and Homomorphisms of Time-varying Systems. Math. Syst. Theory Norman Y. Foo