Searching for authors named "Robert Givan" – sorted by Relevance.
-
Inferring Program Specifications in Polynomial-Time
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Taxonomic Syntax for First Order Inference David McAllester Robert Givan A.I. Memo No. 1134 June
- Cited by 34 (13 self) – Add To MetaCart

