Planning as satisfiability with relaxed E-step plans

Simple item page
dc.contributor.authorWehrle, Martin
dc.contributor.authorRintanen, Jussi
dc.coverage.spatialGold Coast Australia
dc.date.accessioned2015-12-08T22:41:32Z
dc.date.createdDecember 2-6 2007
dc.date.issued2007
dc.date.updated2015-12-08T10:28:44Z
dc.description.abstractPlanning 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
dc.identifier.isbn0302-9743
dc.identifier.urihttp://hdl.handle.net/1885/36697
dc.publisherSpringer
dc.relation.ispartofseriesAustralian Joint Conference on Artificial Intelligence (AI 2007)
dc.sourceAI 2007: 20th Australian Joint Conference on Artificial Intelligence Proceedings
dc.subjectKeywords: Formal logic; Mathematical operators; Parallel processing systems; Semantics; Parallel operator applications; Planning problems; Relaxed semantics; Problem solving
dc.titlePlanning as satisfiability with relaxed E-step plans
dc.typeConference paper
local.bibliographicCitation.lastpage253
local.bibliographicCitation.startpage244
local.contributor.affiliationWehrle, Martin, University of Freiburg
local.contributor.affiliationRintanen, Jussi , College of Engineering and Computer Science, ANU
local.contributor.authoremailrepository.admin@anu.edu.au
local.contributor.authoruidRintanen, Jussi , u1814932
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB139
local.identifier.scopusID2-s2.0-38349060964
local.identifier.uidSubmittedByu8803936
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 3 of 3
No Thumbnail Available
Name:
01_Wehrle_Planning_as_satisfiability_2007.pdf
Size:
219.34 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
02_Wehrle_Planning_as_satisfiability_2007.pdf
Size:
283.63 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
03_Wehrle_Planning_as_satisfiability_2007.pdf
Size:
278.23 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS