| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Fern, Robert Givan, Jeffrey Mark Siskind |
Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan, Sung Wook Yoon |
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jia-Hong Wu, Rajesh Kalyanam, Robert Givan |
Stochastic Enforced Hill-Climbing. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Berthe Y. Choueiry, Bob Givan |
Preface. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Hong Wu, Robert Givan |
Automatic Induction of Bellman-Error Features for Probabilistic Planning. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan |
Preface: Reinforcement Learning. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
Learning Control Knowledge for Forward Search Planning. |
Journal of Machine Learning Research |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Hong Wu, Rajesh Kalyanam, Robert Givan |
Stochastic Enforced Hill-Climbing. |
ICAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati |
Probabilistic Planning via Determinization in Hindsight. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
Using Learned Policies in Heuristic-Search Planning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
FF-Replan: A Baseline for Probabilistic Planning. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jia-Hong Wu, Robert Givan |
Discovering Relational Domain Features for Probabilistic Planning. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan, Babak Falsafi, T. N. Vijaykumar |
Dynamic feature selection for hardware prediction. |
Journal of Systems Architecture |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Wu, Edwin K. P. Chong, Robert Givan |
Predictive buffer control in delivering remotely stored video using proxy servers. |
Computer Networks |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Fern, Sung Wook Yoon, Robert Givan |
Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan |
Sequential inference with reliable observations: Learning to construct force-dynamic models. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
Learning Heuristic Functions from Relaxed Plans. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jia-Hong Wu, Robert Givan |
Feature-Discovering Approximate Value Iteration Methods. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Zhu, Robert Givan |
Simultaneous Heuristic Search for Conjunctive Subgoals. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
Learning Measures of Progress for Planning Domains. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Uday Savagaonkar, Edwin K. P. Chong, Robert Givan |
Online pricing for bandwidth provisioning in multi-class networks. |
Computer Networks |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong |
Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes. |
Discrete Event Dynamic Systems |
2004 |
DBLP DOI BibTeX RDF |
rollout, multiclass scheduling, simulation, buffer management, partially observable Markov decision process |
| 1 | Alan Fern, Sung Wook Yoon, Robert Givan |
Learning Domain-Specific Control Knowledge from Random Walks. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan |
Relational sequential inference with reliable observations. |
ICML |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan |
Online Ensemble Learning: An Empirical Study. |
Machine Learning |
2003 |
DBLP DOI BibTeX RDF |
decision trees, boosting, online learning, branch prediction, ensemble learning, bagging |
| 1 | Robert Givan, Thomas Dean, Matthew Greig |
Equivalence notions and model minimization in Markov decision processes. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Fern, Sung Wook Yoon, Robert Givan |
Approximate Policy Iteration with a Policy Language Bias. |
NIPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, Edwin K. P. Chong, Hyeong Soo Chang |
Scheduling Multiclass Packet Streams to Minimize Weighted Loss. |
Queueing Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen |
Tarskian Set Constraints. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel S. Bernstein, Robert Givan, Neil Immerman, Shlomo Zilberstein |
The Complexity of Decentralized Control of Markov Decision Processes. |
Math. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (JAIR) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Givan, David A. McAllester |
Polynomial-time computation via local inference relations. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Automated reasoning, decision procedures, descriptive complexity theory |
| 1 | Gang Wu, Edwin K. P. Chong, Robert Givan |
Streaming Stored Video over AIMD Transport Protocols. |
ISMSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung Wook Yoon, Alan Fern, Robert Givan |
Inductive Policy Selection for First-Order MDPs. |
UAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan, Jeffrey Mark Siskind |
Specific-to-General Learning for Temporal Events. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Jeffrey Mark Siskind, Robert Givan |
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gang Wu, Edwin K. P. Chong, Robert Givan |
Congestion Control via Online Sampling. |
INFOCOM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, David A. McAllester |
Polynomial-time Computation via Local Inference Relations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, Sonia M. Leach, Thomas Dean |
Bounded-parameter Markov decision processes. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong |
On-line Scheduling via Sampling. |
AIPS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alan Fern, Robert Givan |
Online Ensemble Learning: An Empirical Study. |
ICML |
2000 |
DBLP BibTeX RDF |
|
| 1 | Thomas Dean, Robert Givan, Kee-Eung Kim |
Solving Stochastic Planning Problems with Large State and Action Spaces. |
AIPS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, Thomas Dean |
Model Minimization, Regression, and Propositional STRIPS Planning. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, Sonia M. Leach, Thomas Dean |
Bounded Parameter Markov Decision Processes. |
ECP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Dean, Robert Givan, Sonia M. Leach |
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. |
UAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Thomas Dean, Robert Givan |
Model Minimization in Markov Decision Processes. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan |
Obvious Properties of Computer Programs. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen |
Tarskian Set Constraints. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Givan |
Inferring Program Specifications in Polynomial-Time. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. McAllester, Robert Givan |
Taxonomic Syntax for First Order Inference. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
machine inference, theorem proving, polynomial time algorithms, automated reasoning, inference rules, proof theory, proof systems, mechanical verification |
| 1 | David A. McAllester, Robert Givan |
Natural Language Syntax and First-Order Inference. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Givan, David A. McAllester |
New Results on Local Inference Relations. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Robert Givan, David A. McAllester, Sameer Shalaby |
Natural Language Based Inference Procedures Applied to Schubert's Steamroller. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | David A. McAllester, Robert Givan, Tanveer Fatima |
Taxonomic Syntax for First Order Inference. |
KR |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")