MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Robert Givan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

ATOM

Inferring Program Specifications in Polynomial-Time
by Robert Givan — 1996 — In Proceedings of the Third International Symposium on Static Analysis, SAS '96
…Inferring Program Specifications in Polynomial-Time Robert Givan Massachusetts Institute…
Cited by 4 (0 self) – Add To MetaCart

Polynomial-time Computation via Local Inference Relations
by Robert Givan, Robert Givan, David Mcallester, David Mcallester — 2000 — ACM Trans. Comput. Logic
… via Local Inference Relations Robert Givan and David McAllester Robert Givan David Mc…
Cited by 4 (0 self) – Add To MetaCart

Model Minimization, Regression, and Propositional STRIPS Planning
by Robert Givan, Thomas Dean — 1997 — In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence
…Model Minimization, Regression, and Propositional STRIPS Planning Robert Givan and Thomas Dean…
Cited by 11 (1 self) – Add To MetaCart

Landmark Extraction via Planning Graph Propagation
by Lin Zhu, Robert Givan — 2003 — In ICAPS Doctoral Consortium
…Landmark Extraction via Planning Graph Propagation Lin Zhu and Robert Givan Electrical…
Cited by 1 (1 self) – Add To MetaCart

Simultaneous heuristic search for conjunctive subgoals
by Lin Zhu, Robert Givan — In Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05
…Simultaneous Heuristic Search for Conjunctive Subgoals Lin Zhu and Robert Givan Electrical…
Cited by 1 (0 self) – Add To MetaCart

Online Ensemble Learning: An Empirical Study
by Alan Fern, Robert Givan — 2000 — In Proceedings of the Seventeenth International Conference on Machine Learning
…Online Ensemble Learning: An Empirical Study Alan Fern AFERN@(email omitted); Robert Givan GIVAN…
Cited by 15 (1 self) – Add To MetaCart

New Results on Local Inference Relations
by Robert Givan, David Mcallester — 1992 — In Principles of Knolwedge Representation and Reasoning: Proceedings of the Third International Conference
…New Results on Local Inference Relations Robert Givan and David McAllester MIT Artificial…
Cited by 19 (9 self) – Add To MetaCart

Relational Sequential Inference with Reliable Observations
by Alan Fern, Robert Givan — Proc. of the International Conference on Machine Learning
…Relational Sequential Inference with Reliable Observations Alan Fern and Robert Givan Electrical…
Cited by 4 (1 self) – Add To MetaCart

Natural Language Syntax and First Order Inference
by David Mcallester, Robert Givan — 1992 — Artificial Intelligence
…Natural Language Syntax and First Order Inference David McAllester and Robert Givan MIT…
Cited by 15 (8 self) – Add To MetaCart

Taxonomic Syntax for First Order Inference
by David Mcallester, Robert Givan — 1989 — Journal of the ACM
…Taxonomic Syntax for First Order Inference David McAllester Robert Givan A.I. Memo No. 1134 June…
Cited by 34 (13 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB