Back to Results
First PageMeta Content
Model theory / Linear temporal logic / Temporal logic / Logical syntax / Entailment / First-order logic / Limit / Modal logic / Action description language / Logic / Philosophical logic / Propositional calculus


TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden
Add to Reading List

Document Date: 2011-05-25 06:13:29

Open Document

File Size: 200,33 KB

Share Result on Facebook

City

San Francisco / Temporal Logic / /

Company

Autonomous Systems Laboratory / ISO Press / Artificial Intelligence Planning Systems / 1 Wallenberg Information Technology / /

/

IndustryTerm

plan synthesis algorithms / search control knowledge / depth-first search / goal algorithm / node expansion algorithm / progression algorithm / on-line system / plan synthesis algorithm / domain-dependent search control knowledge / search space / search algorithms / /

OperatingSystem

Windows NT 4.0 / /

Organization

Wallenberg Foundation / Swedish Research Council for Engineering Sciences / /

Person

Chaining Planner Patrick Doherty / Jonas Kvarnstr¨om / Chaining Planner / Morgan Kaufmann / /

Position

candidate for continuing research / planner / TALplanner / Forward / planner / /

Product

FF / /

ProgrammingLanguage

Java / /

ProvinceOrState

Manitoba / /

PublishedMedium

Annals of Mathematics / Theoretical Computer Science / /

Technology

plan synthesis algorithms / Virtual Machine / Progress goal algorithm / plan synthesis algorithm / node expansion algorithm / TLplan algorithm / following algorithm / Forward Chaining Planner The algorithm / TALplanner algorithms / Java / Information Technology / TransModal+ algorithm / search algorithms / TALplan algorithm / planning algorithm / http / The algorithm / progression algorithm / GoodPlan algorithm / html / /

URL

http /

SocialTag