Michael Georgeff
Michael Georgeff
Nieznane powiązanie
Zweryfikowany adres z georgeff.com
Tytuł
Cytowane przez
Cytowane przez
Rok
BDI agents: From theory to practice.
AS Rao, MP Georgeff
Icmas 95, 312-319, 1995
44871995
Modeling rational agents within a BDI-architecture.
AS Rao, MP Georgeff
KR 91, 473-484, 1991
36681991
Reactive reasoning and planning.
MP Georgeff, AL Lansky
AAAI 87, 677-682, 1987
15841987
The belief-desire-intention model of agency
M Georgeff, B Pell, M Pollack, M Tambe, M Wooldridge
International workshop on agent theories, architectures, and languages, 1-10, 1998
8951998
An abstract architecture for rational agents
MP Georgeff, A Rao
Proc. of the Third International Conference on Principles of Knowledge …, 1992
7481992
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
7371996
Decision-making in an embedded reasoning system
M Georgeff, F Ingrand
International Joint Conference on Artificial Intelligence, 1989
6221989
An architecture for real-time reasoning and system control
FF Ingrand, MP Georgeff, AS Rao
IEEE expert 7 (6), 34-44, 1992
5841992
Communication and interaction in multi-agent planning
M Georgeff
Readings in distributed artificial intelligence, 200-204, 1988
568*1988
Decision procedures for BDI logics
AS Rao, MP Georgeff
Journal of logic and computation 8 (3), 293-343, 1998
5171998
Procedural knowledge
MP Georgeff, AL Lansky
Proceedings of the IEEE 74 (10), 1383-1398, 1986
5111986
Modelling and design of multi-agent systems
D Kinny, M Georgeff
International Workshop on Agent Theories, Architectures, and Languages, 1-20, 1996
2921996
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 (1), 5-53, 2004
2572004
Social plans: A preliminary report
AS Rao, MP Georgeff, EA Sonenberg
Decentralized AI 3, 57-76, 1992
2231992
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
2051993
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
1611999
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
1571991
Formal models and decision procedures for multi-agent systems
AS Rao, MP Georgeff
Australian Artificial Intelligence Institute, 1995
1401995
A general selection criterion for inductive inference
MP Georgeff, CS Wallace
Proceedings of the 6th European Conference on Artificial Intelligence, 219-228, 1984
1241984
Procedural control in production systems
MP Georgeff
Artificial Intelligence 18 (2), 175-201, 1982
1071982
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20