Back to Results
First PageMeta Content



SMT-based Nonlinear PDDL+ Planning Daniel Bryce Sicun Gao David Musliner & Robert Goldman
Add to Reading List

Document Date: 2015-02-19 21:34:58

Open Document

File Size: 316,78 KB

Share Result on Facebook

City

Qu´ebec / Cambridge / Portsmouth / London / /

Company

SIAM Journal / dReal / MIT Press / SIFT LLC / AAAI Press / /

Country

United States / Canada / /

Currency

pence / /

/

IndustryTerm

by-product / nonlinear hybrid systems / polynomial systems / space search / nonlinear car domain / car domains / forward heuristic search / symbolic search / prune search / linear car / unnecessary search / non-trivial solutions / hybrid systems / heuristic state space search / find satisfying solutions / search stack / car domain / car problems / search assignment / nonlinear car / /

Movie

A. I. / /

Organization

MIT / Artificial Copyright Intelligence / Association for the Advancement / /

Person

Van Hentenryck / Davis / Shin / Della Penna / Daniel Bryce Sicun Gao David / /

Position

Dom Planner / SAT-based planner / Rt / head / /

ProvinceOrState

M. B. / Massachusetts / New Hampshire / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

artificial intelligence / Dom / two algorithms / /

URL

www.aaai.org / http /

SocialTag