Back to Results
First PageMeta Content
Theoretical computer science / Knowledge representation / Epistemology / Logic in computer science / Constraint logic programming / Constraint programming / Event calculus / First-order logic / Forcing / Mathematical logic / Logic / Logic programming


Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se,
Add to Reading List

Document Date: 2012-01-23 11:38:33

Open Document

File Size: 586,54 KB

Share Result on Facebook

Company

Constraint Networks / Intel / General Temporal Constraint Networks / /

Currency

pence / /

IndustryTerm

propagation algorithms / search depth limit / satisfaction technology / present-day deductive planning systems / search space / formal specification tool / depth-first search strategy / partial order planning algorithms / /

Person

Martin Magnusson / Patrick Doherty / Ai / /

Position

author / abductive event calculus planner / procedural planner / powerful forward-chaining planner / /

ProgrammingLanguage

Prolog / /

Technology

propagation algorithms / satisfaction technology / t - 1 / partial order planning algorithms / /

URL

http /

SocialTag