Robert Givan

2008
47		Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati: Probabilistic Planning via Determinization in Hindsight. AAAI 2008: 1010-1016
46		Jia-Hong Wu, Rajesh Kalyanam, Robert Givan: Stochastic Enforced Hill-Climbing. ICAPS 2008: 396-403
2007
45		Jia-Hong Wu, Robert Givan: Discovering Relational Domain Features for Probabilistic Planning. ICAPS 2007: 344-351
44		Sung Wook Yoon, Alan Fern, Robert Givan: FF-Replan: A Baseline for Probabilistic Planning. ICAPS 2007: 352-
43	EE	Sung Wook Yoon, Alan Fern, Robert Givan: Using Learned Policies in Heuristic-Search Planning. IJCAI 2007: 2047-2053
2006
42		Sung Wook Yoon, Alan Fern, Robert Givan: Learning Heuristic Functions from Relaxed Plans. ICAPS 2006: 162-171
41	EE	Alan Fern, Robert Givan: Sequential inference with reliable observations: Learning to construct force-dynamic models. Artif. Intell. 170(14-15): 1081-1100 (2006)
40	EE	Gang Wu, Edwin K. P. Chong, Robert Givan: Predictive buffer control in delivering remotely stored video using proxy servers. Computer Networks 50(18): 3721-3742 (2006)
39	EE	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) 25: 75-118 (2006)
38	EE	Alan Fern, Robert Givan, Babak Falsafi, T. N. Vijaykumar: Dynamic feature selection for hardware prediction. Journal of Systems Architecture 52(4): 213-234 (2006)
2005
37		Sung Wook Yoon, Alan Fern, Robert Givan: Learning Measures of Progress for Planning Domains. AAAI 2005: 1217-1222
36		Lin Zhu, Robert Givan: Simultaneous Heuristic Search for Conjunctive Subgoals. AAAI 2005: 1235-1241
35	EE	Jia-Hong Wu, Robert Givan: Feature-Discovering Approximate Value Iteration Methods. SARA 2005: 321-331
2004
34		Alan Fern, Sung Wook Yoon, Robert Givan: Learning Domain-Specific Control Knowledge from Random Walks. ICAPS 2004: 191-199
33	EE	Alan Fern, Robert Givan: Relational sequential inference with reliable observations. ICML 2004
32	EE	Uday Savagaonkar, Edwin K. P. Chong, Robert Givan: Online pricing for bandwidth provisioning in multi-class networks. Computer Networks 44(6): 835-853 (2004)
31	EE	Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong: Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes. Discrete Event Dynamic Systems 14(3): 309-341 (2004)
2003
30	EE	Alan Fern, Sung Wook Yoon, Robert Givan: Approximate Policy Iteration with a Policy Language Bias. NIPS 2003
29	EE	Robert Givan, Thomas Dean, Matthew Greig: Equivalence notions and model minimization in Markov decision processes. Artif. Intell. 147(1-2): 163-223 (2003)
28	EE	Alan Fern, Robert Givan: Online Ensemble Learning: An Empirical Study. Machine Learning 53(1-2): 71-109 (2003)
2002
27		Alan Fern, Robert Givan, Jeffrey Mark Siskind: Specific-to-General Learning for Temporal Events. AAAI/IAAI 2002: 152-158
26		Alan Fern, Jeffrey Mark Siskind, Robert Givan: Learning Temporal, Relational, Force-Dynamic Event Definitions from Video. AAAI/IAAI 2002: 159-166
25	EE	Gang Wu, Edwin K. P. Chong, Robert Givan: Streaming Stored Video over AIMD Transport Protocols. ISMSE 2002: 304-311
24		Sung Wook Yoon, Alan Fern, Robert Givan: Inductive Policy Selection for First-Order MDPs. UAI 2002: 568-576
23	EE	Robert Givan, David A. McAllester: Polynomial-time computation via local inference relations. ACM Trans. Comput. Log. 3(4): 521-541 (2002)
22	EE	Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen: Tarskian Set Constraints. Inf. Comput. 174(2): 105-131 (2002)
21	EE	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) 17: 379-449 (2002)
20	EE	Daniel S. Bernstein, Robert Givan, Neil Immerman, Shlomo Zilberstein: The Complexity of Decentralized Control of Markov Decision Processes. Math. Oper. Res. 27(4): 819-840 (2002)
19		Robert Givan, Edwin K. P. Chong, Hyeong Soo Chang: Scheduling Multiclass Packet Streams to Minimize Weighted Loss. Queueing Syst. 41(3): 241-270 (2002)
2001
18	EE	Gang Wu, Edwin K. P. Chong, Robert Givan: Congestion Control via Online Sampling. INFOCOM 2001: 1271-1280
2000
17		Hyeong Soo Chang, Robert Givan, Edwin K. P. Chong: On-line Scheduling via Sampling. AIPS 2000: 62-71
16		Alan Fern, Robert Givan: Online Ensemble Learning: An Empirical Study. ICML 2000: 279-286
15	EE	Robert Givan, Sonia M. Leach, Thomas Dean: Bounded-parameter Markov decision processes. Artif. Intell. 122(1-2): 71-109 (2000)
14	EE	Robert Givan, David A. McAllester: Polynomial-time Computation via Local Inference Relations CoRR cs.LO/0007020: (2000)
1998
13		Thomas Dean, Robert Givan, Kee-Eung Kim: Solving Stochastic Planning Problems with Large State and Action Spaces. AIPS 1998: 102-110
1997
12		Thomas Dean, Robert Givan: Model Minimization in Markov Decision Processes. AAAI/IAAI 1997: 106-111
11		Robert Givan: Obvious Properties of Computer Programs. AAAI/IAAI 1997: 404-410
10		Robert Givan, Sonia M. Leach, Thomas Dean: Bounded Parameter Markov Decision Processes. ECP 1997: 234-246
9		Robert Givan, Thomas Dean: Model Minimization, Regression, and Propositional STRIPS Planning. IJCAI 1997: 1163-1168
8	EE	Thomas Dean, Robert Givan, Sonia M. Leach: Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision Processes. UAI 1997: 124-131
1996
7		David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen: Tarskian Set Constraints. LICS 1996: 138-147
6		Robert Givan: Inferring Program Specifications in Polynomial-Time. SAS 1996: 205-219
1993
5	EE	David A. McAllester, Robert Givan: Taxonomic Syntax for First Order Inference. J. ACM 40(2): 246-283 (1993)
1992
4		Robert Givan, David A. McAllester: New Results on Local Inference Relations. KR 1992: 403-412
3		David A. McAllester, Robert Givan: Natural Language Syntax and First-Order Inference. Artif. Intell. 56(1): 1-20 (1992)
1991
2		Robert Givan, David A. McAllester, Sameer Shalaby: Natural Language Based Inference Procedures Applied to Schubert's Steamroller. AAAI 1991: 915-920
1989
1		David A. McAllester, Robert Givan, Tanveer Fatima: Taxonomic Syntax for First Order Inference. KR 1989: 289-300

Coauthor Index

1	Daniel S. Bernstein	[20]
2	Hyeong Soo Chang	[17] [19] [31]
3	Edwin K. P. Chong	[17] [18] [19] [25] [31] [32] [40]
4	Thomas Dean	[8] [9] [10] [12] [13] [15] [29]
5	Babak Falsafi	[38]
6	Tanveer Fatima	[1]
7	Alan Fern	[16] [21] [24] [26] [27] [28] [30] [33] [34] [37] [38] [39] [41] [42] [43] [44] [47]
8	Matthew Greig	[29]
9	Neil Immerman	[20]
10	Rajesh Kalyanam	[46]
11	Subbarao Kambhampati	[47]
12	Kee-Eung Kim	[13]
13	Dexter Kozen	[7] [22]
14	Sonia M. Leach	[8] [10] [15]
15	David A. McAllester	[1] [2] [3] [4] [5] [7] [14] [22] [23]
16	Uday Savagaonkar	[32]
17	Sameer Shalaby	[2]
18	Jeffrey Mark Siskind	[21] [26] [27]
19	T. N. Vijaykumar	[38]
20	Carl Witty	[7] [22]
21	Gang Wu	[18] [25] [40]
22	Jia-Hong Wu	[35] [45] [46]
23	Sung Wook Yoon	[24] [30] [34] [37] [39] [42] [43] [44] [47]
24	Lin Zhu	[36]
25	Shlomo Zilberstein	[20]

Colors in the list of coauthors