Back to Results
First PageMeta Content
Heuristics / Game artificial intelligence / Combinatorial optimization / Linear temporal logic / Mathematics / A* search algorithm / Heuristic function / Information science / Temporal logic / Search algorithms / Artificial intelligence / Routing algorithms


A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel
Add to Reading List

Document Date: 2014-06-13 10:43:18

Open Document

File Size: 531,12 KB

Share Result on Facebook

Currency

LTL / /

/

Facility

University of Basel Department / /

IndustryTerm

forward search algorithm / actual search / so-called search space / heuristic search / search space / search algorithm / search algorithms / /

Organization

Mathematics and Computer Science Artificial Intelligence / Classical Planning Master’s Thesis Faculty of Science / University of Basel Department of Mathematics / /

Position

knowledge-based forward-chaining planner / heuristic forward search planner / Supervisor / General / planner / forward search planner / forward-chaining planner / /

ProgrammingLanguage

R / /

Technology

A* search algorithm / A* algorithm / Background Algorithm / artificial intelligence / search algorithm / A* forward search algorithm / search algorithms / /

SocialTag