Robert Givan

According to our database, Robert Givan authored at least 54 papers between 1989 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Estimating Densities with Non-Parametric Exponential Families

Lin Yuan, Sergey Kirshner, Robert Givan

CoRR, 2012

2011

Stochastic Enforced Hill-Climbing.

Jia-Hong Wu, Rajesh Kalyanam, Robert Givan

J. Artif. Intell. Res., 2011

2010

Automatic Induction of Bellman-Error Features for Probabilistic Planning.

Jia-Hong Wu, Robert Givan

J. Artif. Intell. Res., 2010

Preface.

Berthe Y. Choueiry, Bob Givan

Ann. Math. Artif. Intell., 2010

2009

Preface: Reinforcement Learning.

Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan

J. Algorithms, 2009

2008

Learning Control Knowledge for Forward Search Planning.

Sung Wook Yoon, Alan Fern, Robert Givan

J. Mach. Learn. Res., 2008

Probabilistic Planning via Determinization in Hindsight.

Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Using Learned Policies in Heuristic-Search Planning.

Sung Wook Yoon, Alan Fern, Robert Givan

Proceedings of the IJCAI 2007, 2007

FF-Replan: A Baseline for Probabilistic Planning.

Sung Wook Yoon, Alan Fern, Robert Givan

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Discovering Relational Domain Features for Probabilistic Planning.

Jia-Hong Wu, Robert Givan

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Relational State-Space Feature Learning and Its Applications in Planning.

Jia-Hong Wu, Robert Givan

Proceedings of the Computational Approaches to Representation Change during Learning and Development, 2007

2006

Dynamic feature selection for hardware prediction.

Alan Fern, Robert Givan, Babak Falsafi, T. N. Vijaykumar

J. Syst. Archit., 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

Predictive buffer control in delivering remotely stored video using proxy servers.

Gang Wu, Edwin K. P. Chong, Robert Givan

Comput. Networks, 2006

Sequential inference with reliable observations: Learning to construct force-dynamic models.

Alan Fern, Robert Givan

Artif. Intell., 2006

Learning Heuristic Functions from Relaxed Plans.

Sung Wook Yoon, Alan Fern, Robert Givan

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Feature-Discovering Approximate Value Iteration Methods.

Jia-Hong Wu, Robert Givan

Proceedings of the Abstraction, 2005

Simultaneous Heuristic Search for Conjunctive Subgoals.

Lin Zhu, Robert Givan

Proceedings of the Proceedings, 2005

Learning Measures of Progress for Planning Domains.

Sung Wook Yoon, Alan Fern, Robert Givan

Proceedings of the Proceedings, 2005

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

Online pricing for bandwidth provisioning in multi-class networks.

Uday Savagaonkar, Edwin K. P. Chong, Robert Givan

Comput. Networks, 2004

Relational sequential inference with reliable observations.

Alan Fern, Robert Givan

Proceedings of the Machine Learning, 2004

Learning Domain-Specific Control Knowledge from Random Walks.

Alan Fern, Sung Wook Yoon, Robert Givan

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003

Online Ensemble Learning: An Empirical Study.

Alan Fern, Robert Givan

Mach. Learn., 2003

Equivalence notions and model minimization in Markov decision processes.

Robert Givan, Thomas L. Dean, Matthew Greig

Artif. Intell., 2003

Approximate Policy Iteration with a Policy Language Bias.

Alan Fern, Sung Wook Yoon, Robert Givan

Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

Buffer control at video-streaming proxy.

Gang Wu, Edwin K. P. Chong, Robert Givan

Proceedings of the Global Telecommunications Conference, 2003

Congestion control using policy rollout.

Gang Wu, Edwin K. P. Chong, Robert Givan

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Polynomial-time computation via local inference relations.

Robert Givan, David A. McAllester

ACM Trans. Comput. Log., 2002

Burst-level congestion control using hindsight optimization.

Gang Wu, Edwin K. P. Chong, Robert Givan

IEEE Trans. Autom. Control., 2002

Scheduling Multiclass Packet Streams to Minimize Weighted Loss.

Robert Givan, Edwin K. P. Chong, Hyeong Soo Chang

Queueing Syst. Theory Appl., 2002

The Complexity of Decentralized Control of Markov Decision Processes.

Daniel S. Bernstein, Robert Givan, Neil Immerman, Shlomo Zilberstein

Math. Oper. Res., 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

Tarskian Set Constraints.

Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen

Inf. Comput., 2002

Inductive Policy Selection for First-Order MDPs.

Sung Wook Yoon, Alan Fern, Robert Givan

Proceedings of the UAI '02, 2002

Streaming Stored Video over AIMD Transport Protocols.

Gang Wu, Edwin K. P. Chong, Robert Givan

Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Learning Temporal, Relational, Force-Dynamic Event Definitions from Video.

Alan Fern, Jeffrey Mark Siskind, Robert Givan

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Specific-to-General Learning for Temporal Events.

Alan Fern, Robert Givan, Jeffrey Mark Siskind

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Congestion Control via Online Sampling.

Gang Wu, Edwin K. P. Chong, Robert Givan

Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

2000

Bounded-parameter Markov decision processes.

Robert Givan, Sonia M. Leach, Thomas L. Dean

Artif. Intell., 2000

A framework for simulation-based network control via hindsight optimization.

Edwin K. P. Chong, Robert Givan, Hyeong Soo Chang

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

On-line Scheduling via Sampling.

Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1998

Solving Stochastic Planning Problems with Large State and Action Spaces.

Thomas L. Dean, Robert Givan, Kee-Eung Kim

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

1997

Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes.

Thomas L. Dean, Robert Givan, Sonia M. Leach

Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Model Minimization, Regression, and Propositional STRIPS Planning.

Robert Givan, Thomas L. Dean

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Obvious Properties of Computer Programs.

Robert Givan

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Model Minimization in Markov Decision Processes.

Thomas L. Dean, Robert Givan

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Automatically inferring properties of computer programs.

Robert Givan

PhD thesis, 1996

Inferring Program Specifications in Polynomial-Time.

Robert Givan

Proceedings of the Static Analysis, Third International Symposium, 1996

1993

Taxonomic Syntax for First Order Inference.

David A. McAllester, Robert Givan

J. ACM, 1993

1992

Natural Language Syntax and First-Order Inference.

David A. McAllester, Robert Givan

Artif. Intell., 1992

New Results on Local Inference Relations.

Robert Givan, David A. McAllester

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

Natural Language Based Inference Procedures Applied to Schubert's Steamroller.

Robert Givan, David A. McAllester, Sameer Shalaby

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1989

Taxonomic Syntax for First Order Inference.

David A. McAllester, Robert Givan, Tanveer Fatima

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989