| 2007 |
|---|
| 38 | | Paolo Petta,
Jörg P. Müller,
Matthias Klusch,
Michael P. Georgeff:
Multiagent System Technologies, 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings
Springer 2007 |
| 2004 |
|---|
| 37 | EE | Mark d'Inverno,
Michael Luck,
Michael P. Georgeff,
David Kinny,
Michael Wooldridge:
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Autonomous Agents and Multi-Agent Systems 9(1-2): 5-53 (2004) |
| 1998 |
|---|
| 36 | | Michael P. Georgeff,
Barney Pell,
Martha E. Pollack,
Milind Tambe,
Michael Wooldridge:
The Belief-Desire-Intention Model of Agency.
ATAL 1998: 1-10 |
| 35 | | Nicholas R. Jennings,
Katia P. Sycara,
Michael P. Georgeff:
Editorial.
Autonomous Agents and Multi-Agent Systems 1(1): 5 (1998) |
| 34 | | Anand S. Rao,
Michael P. Georgeff:
Decision Procedures for BDI Logics.
J. Log. Comput. 8(3): 293-342 (1998) |
| 1997 |
|---|
| 33 | | David Kinny,
Michael P. Georgeff:
Modelling and Design of Multi-Agent Systems.
ATAL 1997: 1-20 |
| 1996 |
|---|
| 32 | | David Kinny,
Michael P. Georgeff,
Anand S. Rao:
A Methodology and Modelling Technique for Systems of BDI Agents.
MAAMAW 1996: 56-71 |
| 31 | EE | Michael P. Georgeff,
Anand S. Rao:
A profile of the Australian Artificial Intelligence Institute.
IEEE Expert 11(6): 89-92 (1996) |
| 1995 |
|---|
| 30 | | Anand S. Rao,
Michael P. Georgeff:
BDI Agents: From Theory to Practice.
ICMAS 1995: 312-319 |
| 29 | | Michael P. Georgeff,
Anand S. Rao:
The Semantics of Intention Maintenance for Rational Agents.
IJCAI (1) 1995: 704-710 |
| 28 | | James Bailey,
Michael P. Georgeff,
David B. Kemp,
David Kinny,
Kotagiri Ramamohanarao:
Active Databases and Agent Systems - A Comparison.
Rules in Database Systems 1995: 342-356 |
| 1994 |
|---|
| 27 | | Michael P. Georgeff:
Editorial.
J. Log. Comput. 4(5): 463-465 (1994) |
| 26 | | 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 |
|---|
| 25 | | Anand S. Rao,
Michael P. Georgeff:
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems.
IJCAI 1993: 318-324 |
| 1992 |
|---|
| 24 | | Anand S. Rao,
Michael P. Georgeff:
An Abstract Architecture for Rational Agents.
KR 1992: 439-449 |
| 23 | 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 |
|---|
| 22 | | Anand S. Rao,
Michael P. Georgeff:
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics.
IJCAI 1991: 498-505 |
| 21 | | Periklis Belegrinos,
Michael P. Georgeff:
A Model of Events and Processes.
IJCAI 1991: 506-511 |
| 20 | | David Kinny,
Michael P. Georgeff:
Commitment and Effectiveness of Situated Agents.
IJCAI 1991: 82-88 |
| 19 | | Anand S. Rao,
Michael P. Georgeff:
Modeling Rational Agents within a BDI-Architecture.
KR 1991: 473-484 |
| 18 | EE | Anand S. Rao,
Michael P. Georgeff:
Deliberation and its Role in the Formation of Intentions.
UAI 1991: 300-307 |
| 1989 |
|---|
| 17 | | Michael P. Georgeff,
François Felix Ingrand:
Decision-Making in an Embedded Reasoning System.
IJCAI 1989: 972-978 |
| 1987 |
|---|
| 16 | | Michael P. Georgeff,
Amy L. Lansky:
Reactive Reasoning and Planning.
AAAI 1987: 677-682 |
| 1986 |
|---|
| 15 | | Michael R. Fehling,
Malcolm Acock,
James F. Allen,
Michael P. Georgeff,
Victor R. Lesser,
Robert C. Moore:
Panel: Real-Time Performance in Problem Solving.
AAAI 1986: 1150 |
| 14 | | Michael P. Georgeff:
The Representation of Events in Multiagent Domains.
AAAI 1986: 70-75 |
| 13 | | Michael P. Georgeff,
Gopal K. Gupta:
Resources Needed for a University Computer Science Department.
Comput. J. 29(1): 90-95 (1986) |
| 1985 |
|---|
| 12 | | Michael P. Georgeff,
Amy L. Lansky,
Pierre Bessière:
A Procedural Logic.
IJCAI 1985: 516-523 |
| 1984 |
|---|
| 11 | | Michael P. Georgeff:
A Theory of Action for MultiAgent Planning.
AAAI 1984: 121-125 |
| 10 | | Michael P. Georgeff,
Chris S. Wallace:
A General Selection Criterion for Inductive Inference.
ECAI 1984: 219-228 |
| 9 | EE | Michael P. Georgeff:
Transformations and Reduction Strategies for Typed Lambda Expressions.
ACM Trans. Program. Lang. Syst. 6(4): 603-631 (1984) |
| 1983 |
|---|
| 8 | | Michael P. Georgeff:
Communication and Interaction in Multi-Agent Planning.
AAAI 1983: 125-129 |
| 7 | | Michael P. Georgeff,
Umberto Bonollo:
Procedural Expert Systems.
IJCAI 1983: 151-157 |
| 6 | | Michael P. Georgeff:
Strategies in Heuristic Search.
Artif. Intell. 20(4): 393-425 (1983) |
| 1982 |
|---|
| 5 | | Michael P. Georgeff:
A Scheme for Implementing Functional Values on a Stack Machine.
Symposium on LISP and Functional Programming 1982: 188-195 |
| 4 | | Michael P. Georgeff:
Procedural Control in Production Systems.
Artif. Intell. 18(2): 175-201 (1982) |
| 1981 |
|---|
| 3 | | Michael P. Georgeff:
Search Methods Using Heuristic Strategies.
IJCAI 1981: 563-568 |
| 2 | | Michael P. Georgeff,
Ivan Fris,
J. Kautsky:
The Effect of Operators on Parsing and Evaluation in APL.
Comput. Lang. 6(2): 67-78 (1981) |
| 1 | | Michael P. Georgeff:
Interdependent Translation Schemes.
J. Comput. Syst. Sci. 22(2): 198-219 (1981) |
