Back to Results
First PageMeta Content



Optimality Properties of Planning via Petri Net Unfolding: A Formal Analysis Sarah Hickmott Sebastian Sardina School of CS and IT
Add to Reading List

Document Date: 2010-01-13 00:16:17

Open Document

File Size: 233,69 KB

Share Result on Facebook

City

Hansen / /

Company

Let Thus / Agent Oriented Software / CONCUR / /

Country

Canada / Australia / /

/

Event

Man-Made Disaster / /

Facility

IT RMIT University / University of Adelaide / /

IndustryTerm

search process / heuristic search / asynchronous systems / concurrent systems / parallel plan solution / search space / /

Organization

Formal Analysis Sarah Hickmott Sebastian Sardina School of CS / National Science and Engineering Research Council of Canada / Artificial Copyright Intelligence / School of CS / Association for the Advancement / University of Adelaide / Adelaide / Australian Research Council / IT RMIT University Melbourne / /

Person

Lawrence Cavedon / Patrik Haslum / Sarah Hickmott Sebastian / /

Position

hB / RT / executor/scheduler / scheduler / RT / but not RF / /

ProvinceOrState

North Dakota / P / Ontario / /

PublishedMedium

Communications of the ACM / Journal of Artificial Intelligence Research / /

Technology

unfolding algorithm / artificial intelligence / ERV-Fly algorithm / operating system / ERV-Flymin algorithms / ERV-Flymin algorithm / PDF / /

URL

www.aaai.org / /