Reiter, Raymond

12 publications

IJCAI 2001 Symbolic Dynamic Programming for First-Order MDPs Craig Boutilier, Raymond Reiter, Bob Price

AAAI 2000 Decision-Theoretic, High-Level Agent Programming in the Situation Calculus Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun

AAAI 2000 Open World Planning in the Situation Calculus Alberto Finzi, Fiora Pirri, Raymond Reiter

IJCAI 1995 How to Progress a Database II: The STRIPS Connection Fangzhen Lin, Raymond Reiter

AAAI 1990 Characterizing Diagnoses Johan de Kleer, Alan K. Mackworth, Raymond Reiter

AAAI 1987 Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report Raymond Reiter, Johan de Kleer

IJCAI 1983 A Panel on AI and Databases Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber

AAAI 1983 On Inheritance Hierarchies with Exceptions David W. Etherington, Raymond Reiter

AAAI 1982 Circumscription Implies Predicate Completion (Sometimes) Raymond Reiter

IJCAI 1981 On Interacting Defaults Raymond Reiter, Giovanni Criscuolo

IJCAI 1977 Anaphora and Logical Form: On Formal Meaning Representations for Natural Language Bonnie Nash-Webber, Raymond Reiter

IJCAI 1973 A Semantically Guided Deductive System for Automatic Theorem-Proving Raymond Reiter