Back to Results
First PageMeta Content
Automated planning and scheduling / Propositional calculus / Constraint programming / Formal methods / Planning Domain Definition Language / Boolean algebra / Satisfiability Modulo Theories / Interpretation / Function / Logic / Mathematics / Mathematical logic


Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck
Add to Reading List

Document Date: 2012-04-19 08:48:52

Open Document

File Size: 226,25 KB

Share Result on Facebook

City

Gupta / /

Company

Chien S. A. / SAT modulo LP / FF (Hoffmann 2003) LP / MIT Press / T LP / McDermott / Functional STRIPS / AAAI Press / DomainIndependent Planning Systems / Linear Programs C OLIN (Coles et al. 2009) LP / RPG (Coles et al. 2008a) Filuta (Dvorak & Bart´ak 2010) LP / /

/

Facility

UK University of Huddersfield / Stanford University / Engineering University of Toronto / Canada King’s College / /

IndustryTerm

image processing / search control knowledge / control-rule guided search / web-services / Web Service Composition / 3d manufacturing problems 3d geometry / potential planning applications / action applications / search space / bioinformatics applications / breadthfirst search / transportation domain / Web Services / Web Engineering / /

Movie

A. I. / /

Organization

UK University of Huddersfield / Fox J. Christopher Beck Mechanical and Industrial Engineering Department of Informatics School of Computing / MIT / Stanford University / US Federal Reserve / Canada King’s College London / Artificial Copyright Intelligence / Logic-Based Artificial Intelligence / Association for the Advancement / University of Toronto / /

Person

Maria Fox / J. Christopher Beck / /

Position

forward state-space planner / Simple hierarchical orderd planner / SAT-based Planner / module designer / Cao / PMT Planner / code attachments Data products Ontological theories WSC planner / associated planner / existing planner / PUCCINI Planner / planner / Planning problems Theory Planner / Multiobjective Metric Temporal Planner / /

Product

RPG / /

ProgrammingLanguage

Datalog / /

ProvinceOrState

S. K. / M. B. / /

SportsLeague

Stanford University / /

Technology

bioinformatics / artificial intelligence / planning algorithm / image processing / SAT technology / CAD / /

URL

http /

SocialTag