Robert C. Moore

3 papers in the IJCAI proceedings

IJCAI 1983

Semantical Considerations on Nonmonotonic Logic

Details PDF

IJCAI 1977

Reasoning About Knowledge and Action

Details PDF

IJCAI 1973

D-SCRlPT: A Computational Theory of Descriptions

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings