Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

Planning for temporally extended goals as propositional satisfiability

Mattmueller, Robert; Rintanen, Jussi

Description

Planning for temporally extended goals (TEGs) expressed as formulae of Linear-time Temporal Logic (LTL) is a proper generalization of classical planning, not only allowing to specify properties of a goal state but of the whole plan execution. Additionally

dc.contributor.authorMattmueller, Robert
dc.contributor.authorRintanen, Jussi
dc.coverage.spatialHyderabad India
dc.date.accessioned2015-12-08T22:10:45Z
dc.date.createdJanuary 6-12 2007
dc.identifier.urihttp://hdl.handle.net/1885/29484
dc.description.abstractPlanning for temporally extended goals (TEGs) expressed as formulae of Linear-time Temporal Logic (LTL) is a proper generalization of classical planning, not only allowing to specify properties of a goal state but of the whole plan execution. Additionally
dc.publisherCarnegie Mellon University
dc.relation.ispartofseriesInternational Joint Conference on Artificial Intelligence (IJCAI 2007)
dc.sourceProceedings of the International Joint Conference on Artificial Intelligence
dc.source.urihttp://www.ijcai.org/proceedings07.php
dc.subjectKeywords: Classical planning; Domain specific; Linear time temporal logic; LTL model-checking; Partial ordering; Planning problem; Propositional satisfiability; SAT-based planning; Artificial intelligence; Problem solving
dc.titlePlanning for temporally extended goals as propositional satisfiability
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2007
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB65
local.type.statusPublished Version
local.contributor.affiliationMattmueller, Robert, University of Freiburg
local.contributor.affiliationRintanen, Jussi , College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage1966
local.bibliographicCitation.lastpage1971
dc.date.updated2016-02-24T11:45:12Z
local.identifier.scopusID2-s2.0-84880872619
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Mattmueller_Planning_for_temporally_2007.pdf43.92 kBAdobe PDF    Request a copy
02_Mattmueller_Planning_for_temporally_2007.pdf25.91 kBAdobe PDF    Request a copy
03_Mattmueller_Planning_for_temporally_2007.pdf355.62 kBAdobe PDF    Request a copy
04_Mattmueller_Planning_for_temporally_2007.pdf233.08 kBAdobe PDF    Request a copy


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator