Taxonomic Syntax for First Order Inference. - David A. McAllester; Robert Givan; Tanveer Fatima (KR, 1989)

Natural Language Based Inference Procedures Applied to Schubert's Steamroller. - Robert Givan; David A. McAllester; Sameer Shalaby (AAAI, 1991)

New Results on Local Inference Relations. - Robert Givan; David A. McAllester (KR, 1992)

Natural Language Syntax and First-Order Inference. - David A. McAllester; Robert Givan (Artif. Intell., 1992)

Taxonomic Syntax for First Order Inference. - David A. McAllester; Robert Givan (J. ACM, 1993)

Inferring Program Specifications in Polynomial-Time. - Robert Givan (SAS, 1996)

Automatically inferring properties of computer programs. - Robert Givan (1996)

Model Minimization in Markov Decision Processes. - Thomas L. Dean; Robert Givan (AAAI/IAAI, 1997)

Obvious Properties of Computer Programs. - Robert Givan (AAAI/IAAI, 1997)

Model Minimization, Regression, and Propositional STRIPS Planning. - Robert Givan; Thomas L. Dean (IJCAI, 1997)

Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. - Thomas L. Dean; Robert Givan; Sonia M. Leach (UAI, 1997)

Solving Stochastic Planning Problems with Large State and Action Spaces. - Thomas L. Dean; Robert Givan; Kee-Eung Kim (AIPS, 1998)

On-line Scheduling via Sampling. - Hyeong Soo Chang; Robert Givan; Edwin K. P. Chong (AIPS, 2000)

A framework for simulation-based network control via hindsight optimization. - Edwin K. P. Chong; Robert Givan; Hyeong Soo Chang (CDC, 2000)

Bounded-parameter Markov decision processes. - Robert Givan; Sonia M. Leach; Thomas L. Dean (Artif. Intell., 2000)

Congestion Control via Online Sampling. - Gang Wu; Edwin K. P. Chong; Robert Givan (INFOCOM, 2001)

Specific-to-General Learning for Temporal Events. - Alan Fern; Robert Givan; Jeffrey Mark Siskind (AAAI/IAAI, 2002)

Learning Temporal, Relational, Force-Dynamic Event Definitions from Video. - Alan Fern; Jeffrey Mark Siskind; Robert Givan (AAAI/IAAI, 2002)

Streaming Stored Video over AIMD Transport Protocols. - Gang Wu; Edwin K. P. Chong; Robert Givan (ISMSE, 2002)

Inductive Policy Selection for First-Order MDPs. - Sung Wook Yoon; Alan Fern; Robert Givan (UAI, 2002)

Tarskian Set Constraints. - Robert Givan; David A. McAllester; Carl Witty; Dexter Kozen (Inf. Comput., 2002)

Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video. - Alan Fern; Robert Givan; Jeffrey Mark Siskind (J. Artif. Intell. Res., 2002)

The Complexity of Decentralized Control of Markov Decision Processes. - Daniel S. Bernstein; Robert Givan; Neil Immerman; Shlomo Zilberstein (Math. Oper. Res., 2002)

Scheduling Multiclass Packet Streams to Minimize Weighted Loss. - Robert Givan; Edwin K. P. Chong; Hyeong Soo Chang (Queueing Syst. Theory Appl., 2002)

Burst-level congestion control using hindsight optimization. - Gang Wu; Edwin K. P. Chong; Robert Givan (IEEE Trans. Autom. Control., 2002)

Polynomial-time computation via local inference relations. - Robert Givan; David A. McAllester (ACM Trans. Comput. Log., 2002)

Congestion control using policy rollout. - Gang Wu; Edwin K. P. Chong; Robert Givan (CDC, 2003)

Buffer control at video-streaming proxy. - Gang Wu; Edwin K. P. Chong; Robert Givan (GLOBECOM, 2003)

Approximate Policy Iteration with a Policy Language Bias. - Alan Fern; Sung Wook Yoon; Robert Givan (NIPS, 2003)

Equivalence notions and model minimization in Markov decision processes. - Robert Givan; Thomas L. Dean; Matthew Greig (Artif. Intell., 2003)

Online Ensemble Learning: An Empirical Study. - Alan Fern; Robert Givan (Mach. Learn., 2003)

Learning Domain-Specific Control Knowledge from Random Walks. - Alan Fern; Sung Wook Yoon; Robert Givan (ICAPS, 2004)

Relational sequential inference with reliable observations. - Alan Fern; Robert Givan (ICML, 2004)

Online pricing for bandwidth provisioning in multi-class networks. - Uday Savagaonkar; Edwin K. P. Chong; Robert Givan (Comput. Networks, 2004)

Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes. - Hyeong Soo Chang; Robert Givan; Edwin K. P. Chong (Discret. Event Dyn. Syst., 2004)

Learning Measures of Progress for Planning Domains. - Sung Wook Yoon; Alan Fern; Robert Givan (AAAI, 2005)

Simultaneous Heuristic Search for Conjunctive Subgoals. - Lin Zhu; Robert Givan (AAAI, 2005)

Feature-Discovering Approximate Value Iteration Methods. - Jia-Hong Wu; Robert Givan (SARA, 2005)

Learning Heuristic Functions from Relaxed Plans. - Sung Wook Yoon; Alan Fern; Robert Givan (ICAPS, 2006)

Sequential inference with reliable observations: Learning to construct force-dynamic models. - Alan Fern; Robert Givan (Artif. Intell., 2006)

Predictive buffer control in delivering remotely stored video using proxy servers. - Gang Wu; Edwin K. P. Chong; Robert Givan (Comput. Networks, 2006)

Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes. - Alan Fern; Sung Wook Yoon; Robert Givan (J. Artif. Intell. Res., 2006)

Dynamic feature selection for hardware prediction. - Alan Fern; Robert Givan; Babak Falsafi; T. N. Vijaykumar (J. Syst. Archit., 2006)

Relational State-Space Feature Learning and Its Applications in Planning. - Jia-Hong Wu; Robert Givan (AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development, 2007)

Discovering Relational Domain Features for Probabilistic Planning. - Jia-Hong Wu; Robert Givan (ICAPS, 2007)

FF-Replan: A Baseline for Probabilistic Planning. - Sung Wook Yoon; Alan Fern; Robert Givan (ICAPS, 2007)

Using Learned Policies in Heuristic-Search Planning. - Sung Wook Yoon; Alan Fern; Robert Givan (IJCAI, 2007)

Probabilistic Planning via Determinization in Hindsight. - Sung Wook Yoon; Alan Fern; Robert Givan; Subbarao Kambhampati (AAAI, 2008)

Learning Control Knowledge for Forward Search Planning. - Sung Wook Yoon; Alan Fern; Robert Givan (J. Mach. Learn. Res., 2008)

Preface: Reinforcement Learning. - Kostas Stathis; Artur S. d'Avila Garcez; Robert Givan (J. Algorithms, 2009)

Preface. - Berthe Y. Choueiry; Bob Givan (Ann. Math. Artif. Intell., 2010)

Automatic Induction of Bellman-Error Features for Probabilistic Planning. - Jia-Hong Wu; Robert Givan (J. Artif. Intell. Res., 2010)

Stochastic Enforced Hill-Climbing. - Jia-Hong Wu; Rajesh Kalyanam; Robert Givan (J. Artif. Intell. Res., 2011)

Estimating Densities with Non-Parametric Exponential Families - Lin Yuan; Sergey Kirshner; Robert Givan (CoRR, 2012)