1999 |
32 | | Jörg P. Müller,
Munindar P. Singh,
Anand S. Rao:
Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL '98, Paris, France, July 4-7, 1998, Proceedings
Springer 1999 |
1998 |
31 | | Munindar P. Singh,
Anand S. Rao,
Michael Wooldridge:
Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
Springer 1998 |
30 | EE | Lobel Crnogorac,
Anand S. Rao,
Kotagiri Ramamohanarao:
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming.
ECOOP 1998: 571-600 |
29 | | Gil Tidhar,
Liz Sonenberg,
Anand S. Rao:
On Team Knowledge and Common Knowledge.
ICMAS 1998: 301-308 |
28 | | Anand S. Rao,
Michael P. Georgeff:
Decision Procedures for BDI Logics.
J. Log. Comput. 8(3): 293-342 (1998) |
1997 |
27 | | Lawrence Cavedon,
Anand S. Rao,
Wayne Wobcke:
Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996
Springer 1997 |
26 | | Arvind K. Bansal,
Kotagiri Ramamohanarao,
Anand S. Rao:
Distributed Storage of Replicated Beliefs to Facilitate Recovery of Distributed Intelligent Agents.
ATAL 1997: 77-91 |
25 | | Lobel Crnogorac,
Anand S. Rao,
Kotagiri Ramamohanarao:
Analysis of Inheritance Mechanisms in Agent-Oriented Programming.
IJCAI (1) 1997: 647-654 |
24 | | Lawrence Cavedon,
Anand S. Rao,
Liz Sonenberg,
Gil Tidhar:
Teamwork via Team Plans in Intelligent Autonomous Agent Systems.
WWCA 1997: 106-121 |
1996 |
23 | | Anand S. Rao:
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language.
MAAMAW 1996: 42-55 |
22 | | David Kinny,
Michael P. Georgeff,
Anand S. Rao:
A Methodology and Modelling Technique for Systems of BDI Agents.
MAAMAW 1996: 56-71 |
21 | | Lawrence Cavedon,
Anand S. Rao:
Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture.
PRICAI 1996: 601-612 |
20 | | Lawrence Cavedon,
Anand S. Rao,
Gil Tidhar:
Social and Individual Commitment.
PRICAI Workshop on Intelligent Agent Systems 1996: 152-163 |
19 | EE | Michael P. Georgeff,
Anand S. Rao:
A profile of the Australian Artificial Intelligence Institute.
IEEE Expert 11(6): 89-92 (1996) |
1995 |
18 | | Anand S. Rao:
Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics.
ATAL 1995: 33-48 |
17 | | Anand S. Rao:
Integrated Agent Architecture: Execution and Recognition of Mental-States.
DAI 1995: 159-173 |
16 | | Anand S. Rao,
Michael P. Georgeff:
BDI Agents: From Theory to Practice.
ICMAS 1995: 312-319 |
15 | | Michael P. Georgeff,
Anand S. Rao:
The Semantics of Intention Maintenance for Rational Agents.
IJCAI (1) 1995: 704-710 |
1994 |
14 | | Devindra Weerasooriya,
Anand S. Rao,
Kotagiri Ramamohanarao:
Design of a Concurrent Agent-Oriented Language.
ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 386-401 |
13 | | Anand S. Rao:
Means-End Plan Recognition - Towards a Theory of Reactive Recognition.
KR 1994: 497-508 |
12 | | David N. Morley,
Michael P. Georgeff,
Anand S. Rao:
A Monotonic Formalism for Events and Systems of Events.
J. Log. Comput. 4(5): 701-720 (1994) |
1993 |
11 | | Anand S. Rao,
Michael P. Georgeff:
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems.
IJCAI 1993: 318-324 |
1992 |
10 | | Anand S. Rao,
Michael P. Georgeff:
An Abstract Architecture for Rational Agents.
KR 1992: 439-449 |
9 | | David Kinny,
Magnus Ljungberg,
Anand S. Rao,
Liz Sonenberg,
Gil Tidhar,
Eric Werner:
Planned Team Activity.
MAAMAW 1992: 227-256 |
8 | EE | François Felix Ingrand,
Michael P. Georgeff,
Anand S. Rao:
An architecture for Real-Time Reasoning and System Control.
IEEE Expert 7(6): 34-44 (1992) |
1991 |
7 | | Anand S. Rao,
Michael P. Georgeff:
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics.
IJCAI 1991: 498-505 |
6 | | Anand S. Rao,
Michael P. Georgeff:
Modeling Rational Agents within a BDI-Architecture.
KR 1991: 473-484 |
5 | EE | Anand S. Rao,
Michael P. Georgeff:
Deliberation and its Role in the Formation of Intentions.
UAI 1991: 300-307 |
4 | | Norman Y. Foo,
Anand S. Rao:
Belief revision in a microworld.
Ann. Math. Artif. Intell. 4: 135-155 (1991) |
1989 |
3 | | Anand S. Rao,
Norman Y. Foo:
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.
IJCAI 1989: 966-971 |
2 | | Anand S. Rao,
Norman Y. Foo:
Formal Theories of Belief Revision.
KR 1989: 369-380 |
1988 |
1 | | Norman Y. Foo,
Anand S. Rao,
Andrew Taylor,
Adrian Walker:
Deduced Relevant Types and Constructive Negation.
ICLP/SLP 1988: 126-139 |