Anand S. Rao

Anand S. Rao, Michael P. Georgeff: Deliberation and its Role in the Formation of Intentions. CoRR abs/1303.5742 (2013)

Jörg P. Müller, Munindar P. Singh, Anand S. Rao (Eds.): Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL '98, Paris, France, July 4-7, 1998, Proceedings. Lecture Notes in Computer Science 1555, Springer 1999, isbn 3-540-65713-4

Anand S. Rao, Michael P. Georgeff: Decision Procedures for BDI Logics. J. Log. Comput. 8(3): 293-342 (1998)

Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao: Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming. ECOOP 1998: 571-600

Gil Tidhar, Liz Sonenberg, Anand S. Rao: On Team Knowledge and Common Knowledge. ICMAS 1998: 301-308

Munindar P. Singh, Anand S. Rao, Michael Wooldridge (Eds.): Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. Lecture Notes in Computer Science 1365, Springer 1998, isbn 3-540-64162-9

Arvind K. Bansal, Kotagiri Ramamohanarao, Anand S. Rao: Distributed Storage of Replicated Beliefs to Facilitate Recovery of Distributed Intelligent Agents. ATAL 1997: 77-91

Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao: Analysis of Inheritance Mechanisms in Agent-Oriented Programming. IJCAI (1) 1997: 647-654

Lawrence Cavedon, Anand S. Rao, Liz Sonenberg, Gil Tidhar: Teamwork via Team Plans in Intelligent Autonomous Agent Systems. WWCA 1997: 106-121

Lawrence Cavedon, Anand S. Rao, Wayne Wobcke (Eds.): Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996. Lecture Notes in Computer Science 1209, Springer 1997, isbn 3-540-62686-7

Michael P. Georgeff, Anand S. Rao: A profile of the Australian Artificial Intelligence Institute. IEEE Expert 11(6): 89-92 (1996)

Anand S. Rao: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. MAAMAW 1996: 42-55

David Kinny, Michael P. Georgeff, Anand S. Rao: A Methodology and Modelling Technique for Systems of BDI Agents. MAAMAW 1996: 56-71

Lawrence Cavedon, Anand S. Rao, Gil Tidhar: Social and Individual Commitment. PRICAI Workshop on Intelligent Agent Systems 1996: 152-163

Lawrence Cavedon, Anand S. Rao: Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture. PRICAI 1996: 601-612

Anand S. Rao: Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics. ATAL 1995: 33-48

Anand S. Rao: Integrated Agent Architecture: Execution and Recognition of Mental-States. DAI 1995: 159-173

Anand S. Rao, Michael P. Georgeff: BDI Agents: From Theory to Practice. ICMAS 1995: 312-319

Michael P. Georgeff, Anand S. Rao: The Semantics of Intention Maintenance for Rational Agents. IJCAI (1) 1995: 704-710

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)

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

Anand S. Rao: Means-End Plan Recognition - Towards a Theory of Reactive Recognition. KR 1994: 497-508

Anand S. Rao, Michael P. Georgeff: A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. IJCAI 1993: 318-324

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)

Anand S. Rao, Michael P. Georgeff: An Abstract Architecture for Rational Agents. KR 1992: 439-449

David Kinny, Magnus Ljungberg, Anand S. Rao, Liz Sonenberg, Gil Tidhar, Eric Werner: Planned Team Activity. MAAMAW 1992: 227-256

Norman Y. Foo, Anand S. Rao: Belief revision in a microworld. Ann. Math. Artif. Intell. 4: 135-155 (1991)

Anand S. Rao, Michael P. Georgeff: Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. IJCAI 1991: 498-505

Anand S. Rao, Michael P. Georgeff: Modeling Rational Agents within a BDI-Architecture. KR 1991: 473-484

Anand S. Rao, Michael P. Georgeff: Deliberation and its Role in the Formation of Intentions. UAI 1991: 300-307

Anand S. Rao, Norman Y. Foo: Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. IJCAI 1989: 966-971

Anand S. Rao, Norman Y. Foo: Formal Theories of Belief Revision. KR 1989: 369-380

Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker: Deduced Relevant Types and Constructive Negation. ICLP/SLP 1988: 126-139