| 2008 |
|---|
| 15 | Probabilistic Planning via Determinization in Hindsight. Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati. AAAI 2008, 1010-1016. Web SearchBibTeX |
| 2006 |
|---|
| 14 | Predictive buffer control in delivering remotely stored video using proxy servers. Gang Wu, Edwin K. P. Chong, Robert Givan. Computer Networks (50): 3721-3742 (2006). Web SearchBibTeXDownload |
| 13 | Dynamic feature selection for hardware prediction. Alan Fern, Robert Givan, Babak Falsafi, T. N. Vijaykumar. Journal of Systems Architecture (52): 213-234 (2006). Web SearchBibTeXDownload |
| 2002 |
|---|
| 12 | Polynomial-time computation via local inference relations. Robert Givan, David A. McAllester. ACM Trans. Comput. Log. (3): 521-541 (2002). Web SearchBibTeXDownload |
| 11 | Tarskian Set Constraints. David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen. Inf. Comput. (174): 105-131 (2002). Web SearchBibTeXDownload |
| 10 | Streaming Stored Video over AIMD Transport Protocols. Gang Wu, Edwin K. P. Chong, Robert Givan. ISMSE 2002, 304-311. Web SearchBibTeXDownload |
| 9 | The Complexity of Decentralized Control of Markov Decision Processes. Daniel S. Bernstein, Shlomo Zilberstein, Neil Immerman, Shlomo Zilberstein. Math. Oper. Res. (27): 819-840 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 8 | Congestion Control via Online Sampling. Gang Wu, Edwin K. P. Chong, Robert Givan. INFOCOM 2001, 1271-1280. Web SearchBibTeXDownload |
| 2000 |
|---|
| 7 | Polynomial-time Computation via Local Inference Relations. Robert Givan, David A. McAllester. CoRR (cs.LO/0007020) (2000). Web SearchBibTeXDownload |
| 1996 |
|---|
| 6 | Tarskian Set Constraints. David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen. LICS 1996, 138-147. Web SearchBibTeXDownload |
| 1993 |
|---|
| 5 | Taxonomic Syntax for First Order Inference. David A. McAllester, Robert Givan, Tanveer Fatima. J. ACM (40): 246-283 (1993). Web SearchBibTeXDownload |
| 1992 |
|---|
| 4 | Natural Language Syntax and First-Order Inference. David A. McAllester, Robert Givan. Artif. Intell. (56): 1-20 (1992). Web SearchBibTeXDownload |
| 3 | New Results on Local Inference Relations. Robert Givan, David A. McAllester. KR 1992, 403-412. Web SearchBibTeX |
| 1991 |
|---|
| 2 | Natural Language Based Inference Procedures Applied to Schubert's Steamroller. Robert Givan, David A. McAllester, Sameer Shalaby. AAAI 1991, 915-920. Web SearchBibTeX |
| 1989 |
|---|
| 1 | Taxonomic Syntax for First Order Inference. David A. McAllester, Robert Givan, Tanveer Fatima. KR 1989, 289-300. Web SearchBibTeX |
