Michael P. Georgeff

10 papers in the IJCAI proceedings

IJCAI 1995

The Semantics of Intention Maintenance for Rational Agents

with Anand S. Rao

Details PDF

IJCAI 1993

A Model-Theoretic Approach to the Verification of Situated Reasoning Systems

with Anand S. Rao

Details PDF

IJCAI 1991

A Model of Events and Processes

with Periklis Belegrinos

Details PDF

Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics

with Anand S. Rao

Details PDF

Commitment and Effectiveness of Situated Agents

with David Kinny

Details PDF

IJCAI 1989

Decision-Making in an Embedded Reasoning System

with François Felix Ingrand

Details PDF

IJCAI 1985

A Procedural Logic

with Amy L. Lansky, Pierre Bessière

Details PDF

IJCAI 1983

Procedural Expert Systems

with Umberto Bonollo

Details PDF

IJCAI 1981

Search Methods Using Heuristic Strategies

Details PDF

IJCAI 1979

A Framework for Control in Production Systems

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings