BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Germany
2 × USA
Collaborated with:
M.P.Georgeff N.Y.Foo L.Crnogorac K.Ramamohanarao A.Taylor A.Walker
Talks about:
architectur (2) recognit (2) theori (2) ration (2) agent (2) construct (1) classifi (1) abstract (1) reactiv (1) program (1)

Person: Anand S. Rao

DBLP DBLP: Rao:Anand_S=

Contributed to:

ECOOP 19981998
KR 19941994
KR 19921992
KR 19911991
KR 19891989
ICLP/SPL 19881988

Wrote 6 papers:

ECOOP-1998-CrnogoracRR #concurrent #inheritance #object-oriented #programming
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming (LC, ASR, KR), pp. 571–600.
KR-1994-Rao #formal method #recognition #towards
Means-End Plan Recognition — Towards a Theory of Reactive Recognition (ASR), pp. 497–508.
KR-1992-RaoG #architecture
An Abstract Architecture for Rational Agents (ASR, MPG), pp. 439–449.
KR-1991-RaoG #architecture #modelling
Modeling Rational Agents within a BDI-Architecture (ASR, MPG), pp. 473–484.
Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.
JICSCP-1988-FooRTW88 #deduction
Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.