Follow
Michael Georgeff
Michael Georgeff
Unknown affiliation
Verified email at georgeff.com
Title
Cited by
Cited by
Year
BDI agents: from theory to practice.
AS Rao, MP Georgeff
Icmas 95, 312-319, 1995
49461995
Modeling rational agents within a BDI-architecture
AS Rao, MP Georgeff
Readings in agents, 317-328, 1997
39781997
Reactive reasoning and planning.
MP Georgeff, AL Lansky
AAAI 87, 677-682, 1987
16601987
The belief-desire-intention model of agency
M Georgeff, B Pell, M Pollack, M Tambe, M Wooldridge
Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th …, 1999
10141999
An abstract architecture for rational agents.
AS Rao, MP Georgeff
KR 92, 439-449, 1992
8021992
A methodology and modelling technique for systems of BDI agents
D Kinny, M Georgeff, A Rao
European workshop on modelling autonomous agents in a multi-agent world, 56-71, 1996
7701996
Decision-making in an embedded reasoning system
MP Georgeff, FF Ingrand
Australian Artificial Intelligence Institute, 1989
6371989
An architecture for real-time reasoning and system control
FF Ingrand, MP Georgeff, AS Rao
IEEE expert 7 (6), 34-44, 1992
6171992
Communication and interaction in multi-agent planning
M Georgeff
Readings in distributed artificial intelligence, 200-204, 1988
595*1988
Procedural knowledge
MP Georgeff, AL Lansky
Proceedings of the IEEE 74 (10), 1383-1398, 1986
5611986
Decision procedures for BDI logics
AS Rao, MP Georgeff
Oxford University Press 8 (3), 293-343, 1998
5561998
Commitment and E ectiveness of Situated Agents
D Kinny, M George
IJCAI-91, 82-88, 1991
3481991
Modelling and design of multi-agent systems
D Kinny, M Georgeff
International Workshop on Agent Theories, Architectures, and Languages, 1-20, 1996
3011996
The dMARS architecture: A specification of the distributed multi-agent reasoning system
M d'Inverno, M Luck, M Georgeff, D Kinny, M Wooldridge
Autonomous Agents and Multi-Agent Systems 9, 5-53, 2004
2652004
Social plans: A preliminary report
AS Rao, MP Georgeff, EA Sonenberg
Decentralized AI 3, 57-76, 1992
2311992
A model-theoretic approach to the verification of agent-oriented systems
AS Rao, MP Georgeff
International Joint Conference on Artificial Intelligence. Citeseer, 318-324, 1993
2131993
Asymmetry thesis and side-e ect problems in linear time and branching time intention logics
AS Rao, MP George
Proceedings of the Twelfth International Joint Conference on Artificial …, 1991
1721991
Formal methods in DAI: Logic-based representation and reasoning
MP Singh, AS Rao, MP Georgeff
Multiagent systems—a modern approach to distributed artificial intelligence …, 1999
1651999
Formal models and decision procedures for multi-agent systems
AS Rao, MP Georgeff
Australian Artificial Intelligence Institute, 1995
1441995
A general selection criterion for inductive inference
MP Georgeff, CS Wallace
Proceedings of the 6th European Conference on Artificial Intelligence, 219-228, 1984
1351984
The system can't perform the operation now. Try again later.
Articles 1–20