Proceedings

Michael P. Georgeff

Australian Artificial Intelligence Institute Level 6 , 171 La Trobe Street , Melbourne Victoria 3000 , Australia

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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards