2008 |
35 | EE | 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 | EE | Ali Orhan Aydin,
Mehmet A. Orgun,
Abhaya C. Nayak:
The Reactive-Causal Architecture: Towards Development of Believable Agents.
IVA 2008: 468-469 |
2007 |
33 | EE | Armin Hezart,
Abhaya C. Nayak,
Mehmet A. Orgun:
Towards Context Sensitive Defeasible Rules.
CLIMA VIII 2007: 193-213 |
32 | EE | Abhaya C. Nayak,
Yin Chen,
Fangzhen Lin:
Forgetting and Update -- an exploration.
Formal Models of Belief Change in Rational Agents 2007 |
31 | EE | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun:
Iterated Belief Contraction from First Principles.
IJCAI 2007: 2568-2573 |
2006 |
30 | EE | 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 | EE | 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 | EE | 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 | EE | Abhaya C. Nayak,
Randy Goebel,
Mehmet A. Orgun,
Tam Pham:
Iterated Belief Change and the Levi Identity.
Belief Change in Rational Agents 2005 |
25 | EE | 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 | EE | 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 | EE | Quoc Bao Vo,
Abhaya C. Nayak,
Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events.
LPAR 2003: 274-288 |
19 | EE | Abhaya C. Nayak,
Maurice Pagnucco,
Pavlos Peppas:
Dynamic belief revision operators.
Artif. Intell. 146(2): 193-228 (2003) |
2001 |
18 | EE | 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 | EE | 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 |