Raymond Reiter

Dept. of Computer Science University of Toronto Toronto , ON. M5S 3H5

6 papers in the IJCAI proceedings

IJCAI 2001

Symbolic Dynamic Programming for First-Order MDPs

with Craig Boutilier, Bob Price

Details PDF

IJCAI 1995

How to Progress a Database II: The STRIPS Connection

with Fangzhen Lin

Details PDF

IJCAI 1983

A Panel on AI and Databases

with Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber

Details PDF

IJCAI 1981

On Interacting Defaults

with Giovanni Criscuolo

Details PDF

IJCAI 1977

Anaphora and Logical Form: On Formal Meaning Representations for Natural Language

with Bonnie L. Webber

Details PDF

IJCAI 1973

A Semantically Guided Deductive System for Automatic Theorem-Proving

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings