| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Norman Y. Foo, Quoc Bao Vo |
Reasoning about Action: An Argumentation - Theoretic Approach  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo |
Social Agents. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu Chen, Norman Y. Foo, Mingyi Zhang |
Forgetting in Logic Programs with Ordered Disjunction. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
Distance Semantics for Relevance-Sensitive Belief Revision. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
A Syntax-based Approach to Reasoning about Action and Belief Update. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Solving logic program conflict through strong and weak forgettings. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Quoc Bao Vo, Norman Y. Foo |
Reasoning about Action: An Argumentation - Theoretic Approach. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Quoc Bao Vo, Norman Y. Foo, Joe Thurbon |
Semantics for a theory of defeasible reasoning. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning |
| 1 | Yan Zhang, Norman Y. Foo, Kewen Wang |
Solving Logic Program Conflict through Strong and Weak Forgettings. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
A Unified Framework for Representing Logic Program Updates. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Victor Jauregui, Maurice Pagnucco, Norman Y. Foo |
Simplicity in Solving the Frame Problem. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo, Pavlos Peppas, Yan Zhang |
Constraints from STRIPS - Preliminary Report. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Thomas Meyer, Gerhard Brewka |
LPOD Answer Sets and Nash Equilibria. |
ASIAN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Pavlos Peppas |
System Properties of Action Theories. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Pavlos Peppas |
Systems Theory: Melding the AI and Simulation Perspectives. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
Logical Foundations of Negotiation: Strategies and Preferences. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
Distance Semantics for Relevance-Sensitive Belief Revision. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Victor Jauregui, Maurice Pagnucco, Norman Y. Foo |
On the Intended Interpretations of Actions. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok |
Negotiation as Mutual Belief Revision. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak |
Coherence of Laws. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
A Syntax-Based Approach to Reasoning about Actions and Events. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo |
Axiomatic Analysis of Negotiation Protocols. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo |
Convergency of Learning Process. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
iterated belief change, Belief revision, learning process |
| 1 | Dongmo Zhang, Norman Y. Foo |
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Quoc Bao Vo, Norman Y. Foo |
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongmo Zhang, Samir Chopra, Norman Y. Foo |
Consistency of Action Descriptions. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo |
Hidden Variables in Knowledge Representation. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Representing Actions over Dynamic Domains. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Pavlos Peppas |
Realization for Causal Nondeterministic Input-Output Systems. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Jauregui, Norman Y. Foo, Maurice Pagnucco |
A Trajectory Approach to Causality. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo |
Infinitary Belief Revision. |
J. Philosophical Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang |
Apparent Nondeterminism in Actions. |
Journal of Research and Practice in Information Technology |
2001 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo |
Conceptual Spaces--The Geometry of Thought: A Review. |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo |
EPDL: A Logic for Causal Reasoning. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Quoc Bao Vo, Norman Y. Foo |
Solving the Qualification Problem. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang |
State Minimization Re-visited. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo |
Encoding Solutions of the Frame Problem in Dynamic Logic. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
relationships between formalisms, dynamic logic, frame problem |
| 1 | Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak |
Measuring similarity in belief revision. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. |
Computational Intelligence |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Dongmo Zhang |
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dongmo Zhang, Norman Y. Foo |
Autonomy of Autonomous Agents. |
PRICAI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo, Abhaya C. Nayak |
Preferential Semantics for Causal Systems. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak |
Diagrammatic Proofs. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo (eds.) |
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 |
1999 |
DBLP BibTeX RDF |
|
| 1 | Victor Jauregui, Maurice Pagnucco, Norman Y. Foo |
A Trajectory Approach to Causality. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Norman Y. Foo |
Abduction without Minimality. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
belief revision, common-sense reasoning, philosophical foundations |
| 1 | Yan Zhang, Norman Y. Foo |
Updating Logic Programs. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo |
Diagrammatic Reasoning About Linked Lists. |
PRICAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo |
Coherence Measure Based on Average Use of Formulas. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyrone O'Neill, Norman Y. Foo |
Reasoning about Continuous Change. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Norman Y. Foo |
Reasoning without Minimality. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen P. Courtney, Norman Y. Foo |
A Closer Look at Preduction. |
PRICAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Deriving Invariants and Constraints from Action Theories. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang |
Action Localness, Genericity and Invariants in STRIPS. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Towards Generalized Rule-based Updates. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo |
Preferential Semantics for Causal Fixpoints. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Pavlos Peppas, Yan Zhang |
Inductive Properties of States. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
induction, actions, states, automaton, situation calculus |
| 1 | Tyrone O'Neill, Norman Y. Foo |
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Answer Sets for Prioritized Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas |
Learning From Conditionals: Judy Benjamin's Other Problems. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco |
Definitional Constraints. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
Conservative Expansion Concepts for Default Theories. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
Exten: A System for Computing Default Logic Extensions. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo, Randy Goebel (eds.) |
PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings |
PRICAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar |
Changing Conditional Belief Unconditionally. |
TARK |
1996 |
DBLP BibTeX RDF |
|
| 1 | Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou |
Computing Default Logic Extensions: An Implementation. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Updating Knowledge Bases with Disjunctive Information. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang, Norman Y. Foo |
Applying the persistent set approach in temporal reasoning. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims |
Determining Explanations using Transmutations. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo |
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. |
Deductive Databases / Abduction in Deductive Databases |
1995 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo |
Ontology Revison. |
ICCS |
1995 |
DBLP DOI BibTeX RDF |
theoretical term, predicate invention, theory change, type hierarchy, ontology, induction, action, concept formation |
| 1 | Norman Y. Foo |
Comments on ``Defining Software by Continuous Smooth Functions''. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
comparable complexity, natural measure, computational complexity, software metrics, programs, Boolean functions, Boolean functions, smooth functions |
| 1 | Yan Zhang, Norman Y. Foo |
Reasoning About Persistence: A Theory of Actions. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Simon Dixon, Norman Y. Foo |
Connections Between the ATMS and AGM Belief Revision. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maurice Pagnucco, Norman Y. Foo |
Inverting Resolution with Conceptual Graphs. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
inverse resolution, machine learning, Inductive inference, constructive induction |
| 1 | Norman Y. Foo, Anand S. Rao |
Belief revision in a microworld. |
Ann. Math. Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary-Anne Williams, Norman Y. Foo |
Nonmonotonic Dynamics of Default Logic. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Tim Nicholson, Norman Y. Foo |
A Denotational Semantics for Prolog. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Anand S. Rao, Norman Y. Foo |
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Anand S. Rao, Norman Y. Foo |
Formal Theories of Belief Revision. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker |
Deduced Relevant Types and Constructive Negation. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Norman Y. Foo |
Algebraic Specifications as Solutions of Implementation Equations. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo |
Dewey Indexing of Prolog Traces. |
Comput. J. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Brinck, Norman Y. Foo |
Analysis of Algorithms on Threaded Trees. |
Comput. J. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo |
Algebraic Specifications and Transition Graphs. |
Language Design and Programming Methodology |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Y. Foo |
Closure Properties and Homomorphisms of Time-varying Systems. |
Mathematical Systems Theory |
1978 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")