<--- Back to Details
First PageDocument Content
Automated planning and scheduling / STRIPS / Heuristic function / Logic programming / Heuristic / Macro / Shortest path problem / Search algorithm / Computer programming / Artificial intelligence / Computing
Date: 2007-09-05 10:42:26
Automated planning and scheduling
STRIPS
Heuristic function
Logic programming
Heuristic
Macro
Shortest path problem
Search algorithm
Computer programming
Artificial intelligence
Computing

Add to Reading List

Source URL: www.cis.strath.ac.uk

Download Document from Source Website

File Size: 33,45 KB

Share Document on Facebook

Similar Documents

106th United States Congress / African Growth and Opportunity Act / Textile / Cotton / Culture of Africa / Folklore / Culture / Economy

MS WORD 6.0, Domestic Telegram Macro, Release, 20 November 1995, bpg, IM/PD/DE/COR

DocID: 1xVMY - View Document

Declarative programming / Software engineering / Lambda calculus / Functional programming / Physics / Combinatory logic / Logic in computer science / Functional reactive programming / Work / Higher-order function / Unfolding

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Plugging a Space Leak with an Arrow Hai Liu and Paul Hudak1

DocID: 1xVLZ - View Document

Theoretical computer science / Computer programming / Declarative programming / Logic in computer science / Formal languages / Brane / Quantum field theory / String theory / Rewriting / Monad / Substitution

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo

DocID: 1xUkb - View Document

PDF Document

DocID: 1wP3u - View Document

PDF Document

DocID: 1wyN5 - View Document