| 2008 | AAAI | Probabilistic Planning via Determinization in Hindsight. | Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati |
| 2007 | IJCAI | Using Learned Policies in Heuristic-Search Planning. | Sung Wook Yoon, Alan Fern, Robert Givan |
| 2005 | AAAI | Learning Measures of Progress for Planning Domains. | Sung Wook Yoon, Alan Fern, Robert Givan |
| 2005 | AAAI | Simultaneous Heuristic Search for Conjunctive Subgoals. | Lin Zhu, Robert Givan |
| 2004 | ICML | Relational sequential inference with reliable observations. | Alan Fern, Robert Givan |
| 2003 | GLOBECOM | Buffer control at video-streaming proxy. | Gang Wu, Edwin K. P. Chong, Robert Givan |
| 2002 | AAAI | Specific-to-General Learning for Temporal Events. | Alan Fern, Robert Givan, Jeffrey Mark Siskind |
| 2002 | AAAI | Learning Temporal, Relational, Force-Dynamic Event Definitions from Video. | Alan Fern, Jeffrey Mark Siskind, Robert Givan |
| 2002 | UAI | Inductive Policy Selection for First-Order MDPs. | Sung Wook Yoon, Alan Fern, Robert Givan |
| 2001 | INFOCOM | Congestion Control via Online Sampling. | Gang Wu, Edwin K. P. Chong, Robert Givan |
| 2000 | ICML | Online Ensemble Learning: An Empirical Study. | Alan Fern, Robert Givan |
| 1997 | AAAI | Model Minimization in Markov Decision Processes. | Thomas L. Dean, Robert Givan |
| 1997 | AAAI | Obvious Properties of Computer Programs. | Robert Givan |
| 1997 | IJCAI | Model Minimization, Regression, and Propositional STRIPS Planning. | Robert Givan, Thomas L. Dean |
| 1997 | UAI | Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. | Thomas L. Dean, Robert Givan, Sonia M. Leach |
| 1996 | LICS | Tarskian Set Constraints. | David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen |
| 1996 | SAS | Inferring Program Specifications in Polynomial-Time. | Robert Givan |
| 1992 | KR | New Results on Local Inference Relations. | Robert Givan, David A. McAllester |
| 1991 | AAAI | Natural Language Based Inference Procedures Applied to Schubert's Steamroller. | Robert Givan, David A. McAllester, Sameer Shalaby |
| 1989 | KR | Taxonomic Syntax for First Order Inference. | David A. McAllester, Robert Givan, Tanveer Fatima |