Georgeff, Michael P.

15 publications

IJCAI 1995 The Semantics of Intention Maintenance for Rational Agents Michael P. Georgeff, Anand S. Rao

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

IJCAI 1991 A Model of Events and Processes Periklis Belegrinos, Michael P. Georgeff

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

IJCAI 1991 Commitment and Effectiveness of Situated Agents David Kinny, Michael P. Georgeff

IJCAI 1989 Decision-Making in an Embedded Reasoning System Michael P. Georgeff, François Felix Ingrand

AAAI 1987 Reactive Reasoning and Planning Michael P. Georgeff, Amy L. Lansky

AAAI 1986 Panel: Real-Time Performance in Problem Solving Michael R. Fehling, Malcolm Acock, James F. Allen, Michael P. Georgeff, Victor R. Lesser, Robert C. Moore

AAAI 1986 The Representation of Events in Multiagent Domains Michael P. Georgeff

IJCAI 1985 A Procedural Logic Michael P. Georgeff, Amy L. Lansky, Pierre Bessière

AAAI 1984 A Theory of Action for MultiAgent Planning Michael P. Georgeff

AAAI 1983 Communication and Interaction in Multi-Agent Planning Michael P. Georgeff

IJCAI 1983 Procedural Expert Systems Michael P. Georgeff, Umberto Bonollo

IJCAI 1981 Search Methods Using Heuristic Strategies Michael P. Georgeff

IJCAI 1979 A Framework for Control in Production Systems Michael P. Georgeff