 | 2009 |
| 36 |  | Raghav Ramachandran,
Abhaya C. Nayak,
Mehmet A. Orgun:
Two Approaches to Iterated Belief Contraction.
KSEM 2009: 78-89 |
| 2008 |
| 35 |  | Ali Orhan Aydin,
Mehmet A. Orgun,
Abhaya C. Nayak:
The reactive-causal architecture: Combining intentional notion and theories of needs.
IEEE ICCI 2008: 50-59 |
| 34 |  | Ali Orhan Aydin,
Mehmet A. Orgun,
Abhaya C. Nayak:
The Reactive-Causal Architecture: Towards Development of Believable Agents.
IVA 2008: 468-469 |
| 2007 |
| 33 |  | Armin Hezart,
Abhaya C. Nayak,
Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules.
CLIMA VIII 2007: 193-213 |
| 32 |  | Abhaya C. Nayak,
Yin Chen,
Fangzhen Lin:
Forgetting and Update -- an exploration.
Formal Models of Belief Change in Rational Agents 2007 |
| 31 |  | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun:
Iterated Belief Contraction from First Principles.
IJCAI 2007: 2568-2573 |
| 2006 |
| 30 |  | Abhaya C. Nayak,
Yin Chen,
Fangzhen Lin:
Forgetting and Knowledge Update.
Australian Conference on Artificial Intelligence 2006: 131-140 |
| 29 |  | Mehmet A. Orgun,
Chuchang Liu,
Abhaya C. Nayak:
Representation and integration of knowledge based on multiple granularity of time using temporal logic.
IRI 2006: 256-261 |
| 28 |  | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun,
Tam Pham:
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.
KSEM 2006: 305-317 |
| 27 |  | Quoc 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 |
| 26 |  | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun,
Tam Pham:
Iterated Belief Change and the Levi Identity.
Belief Change in Rational Agents 2005 |
| 25 |  | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Gricean Belief Change.
Studia Logica 79(1): 97-113 (2005) |
| 2004 |
| 24 |  | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Conservative Belief Revision.
AAAI 2004: 251-256 |
| 23 |  | Maria del Pilar Pozos Parra,
Abhaya C. Nayak,
Robert Demolombe:
Theories of Intentions in the Framework of Situation Calculus.
DALT 2004: 19-34 |
| 2003 |
| 22 |  | James P. Delgrande,
Abhaya C. Nayak,
Maurice Pagnucco:
Prolegomenon to a Theory of Conservative Belief Revision.
IJCAI 2003: 1391-1393 |
| 21 |  | Rex Bing Hung Kwok,
Norman Y. Foo,
Abhaya C. Nayak:
Coherence of Laws.
IJCAI 2003: 1400-1401 |
| 20 |  | Quoc Bao Vo,
Abhaya C. Nayak,
Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events.
LPAR 2003: 274-288 |
| 19 |  | Abhaya C. Nayak,
Maurice Pagnucco,
Pavlos Peppas:
Dynamic belief revision operators.
Artif. Intell. 146(2): 193-228 (2003) |
| 2001 |
| 18 |  | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco,
Dongmo Zhang:
State Minimization Re-visited.
Australian Joint Conference on Artificial Intelligence 2001: 153-164 |
| 17 |  | Yusuf Pisan,
Abhaya C. Nayak:
Increasing Belivability: Agents That Justify Their Actions.
FUZZ-IEEE 2001: 1347-1350 |
| 2000 |
| 16 |  | Abhaya C. Nayak:
Acceptance Without Minimality.
JELIA 2000: 163-178 |
| 15 |  | Mikhail Prokopenko,
Maurice Pagnucco,
Pavlos Peppas,
Abhaya C. Nayak:
A Unifying Semantics for Causal Ramifications.
PRICAI 2000: 38-49 |
| 14 |  | Pavlos Peppas,
Norman Y. Foo,
Abhaya C. Nayak:
Measuring similarity in belief revision.
J. Log. Comput. 10(4): 603-619 (2000) |
| 1999 |
| 13 |  | Abhaya C. Nayak,
Norman Y. Foo:
Abduction without Minimality.
Australian Joint Conference on Artificial Intelligence 1999: 365-377 |
| 12 |  | Mikhail Prokopenko,
Maurice Pagnucco,
Pavlos Peppas,
Abhaya C. Nayak:
Causal Propagation Semantics - A Study.
Australian Joint Conference on Artificial Intelligence 1999: 378-392 |
| 11 |  | Pavlos Peppas,
Maurice Pagnucco,
Mikhail Prokopenko,
Norman Y. Foo,
Abhaya C. Nayak:
Preferential Semantics for Causal Systems.
IJCAI 1999: 118-123 |
| 10 |  | Norman Y. Foo,
Maurice Pagnucco,
Abhaya C. Nayak:
Diagrammatic Proofs.
IJCAI 1999: 378-383 |
| 1998 |
| 9 |  | Abhaya C. Nayak,
Norman Y. Foo:
Reasoning without Minimality.
PRICAI 1998: 122-133 |
| 8 |  | Rex Bing Hung Kwok,
Abhaya C. Nayak,
Norman Y. Foo:
Coherence Measure Based on Average Use of Formulas.
PRICAI 1998: 553-564 |
| 1997 |
| 7 |  | 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: 217-226 |
| 6 |  | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco,
Pavlos Peppas,
Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS.
IJCAI (1) 1997: 549-554 |
| 1996 |
| 5 |  | Norman Y. Foo,
Abhaya C. Nayak,
Maurice Pagnucco:
Definitional Constraints.
ECAI 1996: 65-69 |
| 4 |  | Abhaya C. Nayak,
Maurice Pagnucco,
Norman Y. Foo,
Pavlos Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems.
ECAI 1996: 75-79 |
| 3 |  | 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 |
| 2 |  | Abhaya C. Nayak,
Norman Y. Foo,
Maurice Pagnucco,
Abdul Sattar:
Changing Conditional Belief Unconditionally.
TARK 1996: 119-135 |
| 1995 |
| 1 |  | Maurice Pagnucco,
Abhaya C. Nayak,
Norman Y. Foo:
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.
Deductive Databases / Abduction in Deductive Databases 1995: 143-158 |