Robert Givan

Publication Activity (10 Years)

Years Active: 1989-2014
Publications (10 Years): 0

Top Venues

CoRR

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Jia-Hong Wu, Robert Givan
Automatic Induction of Bellman-Error Features for Probabilistic Planning. CoRR (2014)
Sung Wook Yoon, Alan Fern, Robert Givan
Inductive Policy Selection for First-Order MDPs CoRR (2013)
Thomas L. Dean, Robert Givan, Sonia M. Leach
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes CoRR (2013)
Lin Yuan, Sergey Kirshner, Robert Givan
Estimating Densities with Non-Parametric Exponential Families CoRR (2012)
Jia-Hong Wu, Rajesh Kalyanam, Robert Givan
Stochastic Enforced Hill-Climbing. J. Artif. Intell. Res. 42 (2011)
Alan Fern, Robert Givan, Sung Wook Yoon
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes CoRR (2011)
Alan Fern, Robert Givan, Jeffrey Mark Siskind
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video CoRR (2011)
Jia-Hong Wu, Robert Givan
Automatic Induction of Bellman-Error Features for Probabilistic Planning. J. Artif. Intell. Res. 38 (2010)
Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan
Preface: Reinforcement Learning. J. Algorithms 64 (4) (2009)
Jia-Hong Wu, Rajesh Kalyanam, Robert Givan
Stochastic Enforced Hill-Climbing. ICAPS (2008)
Sung Wook Yoon, Alan Fern, Robert Givan
Learning Control Knowledge for Forward Search Planning. J. Mach. Learn. Res. 9 (2008)
Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati
Probabilistic Planning via Determinization in Hindsight. AAAI (2008)
Jia-Hong Wu, Robert Givan
Discovering Relational Domain Features for Probabilistic Planning. ICAPS (2007)
Sung Wook Yoon, Alan Fern, Robert Givan
Using Learned Policies in Heuristic-Search Planning. IJCAI (2007)
Sung Wook Yoon, Alan Fern, Robert Givan
FF-Replan: A Baseline for Probabilistic Planning. ICAPS (2007)
Jia-Hong Wu, Robert Givan
Relational State-Space Feature Learning and Its Applications in Planning. AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development (2007)
Gang Wu, Edwin K. P. Chong, Robert Givan
Predictive buffer control in delivering remotely stored video using proxy servers. Comput. Networks 50 (18) (2006)
Alan Fern, Robert Givan, Babak Falsafi, T. N. Vijaykumar
Dynamic feature selection for hardware prediction. J. Syst. Archit. 52 (4) (2006)
Alan Fern, Sung Wook Yoon, Robert Givan
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes. J. Artif. Intell. Res. 25 (2006)
Alan Fern, Robert Givan
Sequential inference with reliable observations: Learning to construct force-dynamic models. Artif. Intell. 170 (14-15) (2006)
Sung Wook Yoon, Alan Fern, Robert Givan
Learning Heuristic Functions from Relaxed Plans. ICAPS (2006)
Jia-Hong Wu, Robert Givan
Feature-Discovering Approximate Value Iteration Methods. SARA (2005)
Lin Zhu, Robert Givan
Simultaneous Heuristic Search for Conjunctive Subgoals. AAAI (2005)
Sung Wook Yoon, Alan Fern, Robert Givan
Learning Measures of Progress for Planning Domains. AAAI (2005)
Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong
Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes. Discret. Event Dyn. Syst. 14 (3) (2004)
Alan Fern, Robert Givan
Relational sequential inference with reliable observations. ICML (2004)
Alan Fern, Sung Wook Yoon, Robert Givan
Learning Domain-Specific Control Knowledge from Random Walks. ICAPS (2004)
Uday Savagaonkar, Edwin K. P. Chong, Robert Givan
Online pricing for bandwidth provisioning in multi-class networks. Comput. Networks 44 (6) (2004)
Gang Wu, Edwin K. P. Chong, Robert Givan
Buffer control at video-streaming proxy. GLOBECOM (2003)
Alan Fern, Sung Wook Yoon, Robert Givan
Approximate Policy Iteration with a Policy Language Bias. NIPS (2003)
Robert Givan, Thomas L. Dean, Matthew Greig
Equivalence notions and model minimization in Markov decision processes. Artif. Intell. 147 (1-2) (2003)
Alan Fern, Robert Givan
Online Ensemble Learning: An Empirical Study. Mach. Learn. 53 (1-2) (2003)
Gang Wu, Edwin K. P. Chong, Robert Givan
Congestion control using policy rollout. CDC (2003)
Alan Fern, Robert Givan, Jeffrey Mark Siskind
Specific-to-General Learning for Temporal Events. AAAI/IAAI (2002)
Alan Fern, Jeffrey Mark Siskind, Robert Givan
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video. AAAI/IAAI (2002)
Gang Wu, Edwin K. P. Chong, Robert Givan
Burst-level congestion control using hindsight optimization. IEEE Trans. Autom. Control. 47 (6) (2002)
Robert Givan, David A. McAllester
Polynomial-time computation via local inference relations. ACM Trans. Comput. Log. 3 (4) (2002)
Sung Wook Yoon, Alan Fern, Robert Givan
Inductive Policy Selection for First-Order MDPs. UAI (2002)
Gang Wu, Edwin K. P. Chong, Robert Givan
Streaming Stored Video over AIMD Transport Protocols. ISMSE (2002)
Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen
Tarskian Set Constraints. Inf. Comput. 174 (2) (2002)
Alan Fern, Robert Givan, Jeffrey Mark Siskind
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video. J. Artif. Intell. Res. 17 (2002)
Robert Givan, Edwin K. P. Chong, Hyeong Soo Chang
Scheduling Multiclass Packet Streams to Minimize Weighted Loss. Queueing Syst. Theory Appl. 41 (3) (2002)
Daniel S. Bernstein, Robert Givan, Neil Immerman, Shlomo Zilberstein
The Complexity of Decentralized Control of Markov Decision Processes. Math. Oper. Res. 27 (4) (2002)
Gang Wu, Edwin K. P. Chong, Robert Givan
Congestion Control via Online Sampling. INFOCOM (2001)
Alan Fern, Robert Givan
Online Ensemble Learning: An Empirical Study. ICML (2000)
Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong
On-line Scheduling via Sampling. AIPS (2000)
Robert Givan, Sonia M. Leach, Thomas L. Dean
Bounded-parameter Markov decision processes. Artif. Intell. 122 (1-2) (2000)
Edwin K. P. Chong, Robert Givan, Hyeong Soo Chang
A framework for simulation-based network control via hindsight optimization. CDC (2000)
Robert Givan, David A. McAllester
Polynomial-time Computation via Local Inference Relations CoRR (2000)
Thomas L. Dean, Robert Givan, Kee-Eung Kim
Solving Stochastic Planning Problems with Large State and Action Spaces. AIPS (1998)
Thomas L. Dean, Robert Givan
Model Minimization in Markov Decision Processes. AAAI/IAAI (1997)
Robert Givan, Thomas L. Dean
Model Minimization, Regression, and Propositional STRIPS Planning. IJCAI (1997)
Robert Givan
Obvious Properties of Computer Programs. AAAI/IAAI (1997)
Robert Givan, Sonia M. Leach, Thomas L. Dean
Bounded Parameter Markov Decision Processes. ECP (1997)
Thomas L. Dean, Robert Givan, Sonia M. Leach
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. UAI (1997)
Robert Givan
Inferring Program Specifications in Polynomial-Time. SAS (1996)
David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen
Tarskian Set Constraints. LICS (1996)
David A. McAllester, Robert Givan
Taxonomic Syntax for First Order Inference. J. ACM 40 (2) (1993)
Robert Givan, David A. McAllester
New Results on Local Inference Relations. KR (1992)
David A. McAllester, Robert Givan
Natural Language Syntax and First-Order Inference. Artif. Intell. 56 (1) (1992)
Robert Givan, David A. McAllester, Sameer Shalaby
Natural Language Based Inference Procedures Applied to Schubert's Steamroller. AAAI (1991)
David A. McAllester, Robert Givan, Tanveer Fatima
Taxonomic Syntax for First Order Inference. KR (1989)

Robert Givan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Givan