Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Planning as satisfiability with relaxed E-step plans

Wehrle, Martin; Rintanen, Jussi

Description

Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator application based on ∃-step semantics. Operators can be applied in paralle

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
URI: http://hdl.handle.net/1885/36697
Source: AI 2007: 20th Australian Joint Conference on Artificial Intelligence Proceedings

Download

File Description SizeFormat Image
01_Wehrle_Planning_as_satisfiability_2007.pdf219.34 kBAdobe PDF    Request a copy
02_Wehrle_Planning_as_satisfiability_2007.pdf283.63 kBAdobe PDF    Request a copy
03_Wehrle_Planning_as_satisfiability_2007.pdf278.23 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator