Michael Fisher

Department of Computer Science , University of Liverpool , Liverpool L69 3BX , UK

4 papers in the IJCAI proceedings

IJCAI 2007

Tractable Temporal Reasoning

with Clare Dixon, Boris Konev

Details PDF

IJCAI 1999

Programming Resource-Bounded Deliberative Agents

with Chiara Ghidini

Details PDF

IJCAI 1997

Implementing BDI-like Systems by Direct Execution

Details PDF

IJCAI 1991

A Resolution Method for Temporal Logic

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings