Matches in SemOpenAlex for { <https://semopenalex.org/work/W1827315518> ?p ?o ?g. }
- W1827315518 endingPage "536" @default.
- W1827315518 startingPage "531" @default.
- W1827315518 abstract "The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; and continuous linear change to quantities. It works in three stages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is compiled into a system of propositional combinations of propositional variables and linear constraints over numeric variables. In the second stage, the LPSAT constraint engine (Wolfman & Weld 2000) is used to find a solution to the system of constraints. In the third stage, a correct parallel plan is extracted from this solution. We discuss the structure of the planner and show how a real-time temporal model is compiled into LPSAT constraints." @default.
- W1827315518 created "2016-06-24" @default.
- W1827315518 creator A5010452641 @default.
- W1827315518 creator A5057237385 @default.
- W1827315518 date "2004-07-25" @default.
- W1827315518 modified "2023-09-24" @default.
- W1827315518 title "Continuous time in a SAT-based planner" @default.
- W1827315518 cites W1500242937 @default.
- W1827315518 cites W1515278398 @default.
- W1827315518 cites W1569757069 @default.
- W1827315518 cites W1572277334 @default.
- W1827315518 cites W1589982562 @default.
- W1827315518 cites W1596013090 @default.
- W1827315518 cites W1600919542 @default.
- W1827315518 cites W1667362966 @default.
- W1827315518 cites W1667395620 @default.
- W1827315518 cites W2025460523 @default.
- W1827315518 cites W2053190303 @default.
- W1827315518 cites W2101901809 @default.
- W1827315518 cites W2119709400 @default.
- W1827315518 cites W2119710578 @default.
- W1827315518 cites W2160766833 @default.
- W1827315518 cites W2164322797 @default.
- W1827315518 cites W2466528871 @default.
- W1827315518 cites W2766545043 @default.
- W1827315518 cites W34143692 @default.
- W1827315518 cites W56131250 @default.
- W1827315518 cites W56814239 @default.
- W1827315518 cites W83314428 @default.
- W1827315518 hasPublicationYear "2004" @default.
- W1827315518 type Work @default.
- W1827315518 sameAs 1827315518 @default.
- W1827315518 citedByCount "4" @default.
- W1827315518 crossrefType "proceedings-article" @default.
- W1827315518 hasAuthorship W1827315518A5010452641 @default.
- W1827315518 hasAuthorship W1827315518A5057237385 @default.
- W1827315518 hasConcept C102993220 @default.
- W1827315518 hasConcept C11413529 @default.
- W1827315518 hasConcept C114614502 @default.
- W1827315518 hasConcept C126255220 @default.
- W1827315518 hasConcept C134306372 @default.
- W1827315518 hasConcept C14523651 @default.
- W1827315518 hasConcept C154945302 @default.
- W1827315518 hasConcept C17744445 @default.
- W1827315518 hasConcept C199360897 @default.
- W1827315518 hasConcept C199539241 @default.
- W1827315518 hasConcept C2524010 @default.
- W1827315518 hasConcept C2776036281 @default.
- W1827315518 hasConcept C2776359362 @default.
- W1827315518 hasConcept C2776999362 @default.
- W1827315518 hasConcept C2778067643 @default.
- W1827315518 hasConcept C2780801425 @default.
- W1827315518 hasConcept C33203268 @default.
- W1827315518 hasConcept C33923547 @default.
- W1827315518 hasConcept C36503486 @default.
- W1827315518 hasConcept C41008148 @default.
- W1827315518 hasConcept C80444323 @default.
- W1827315518 hasConcept C94625758 @default.
- W1827315518 hasConceptScore W1827315518C102993220 @default.
- W1827315518 hasConceptScore W1827315518C11413529 @default.
- W1827315518 hasConceptScore W1827315518C114614502 @default.
- W1827315518 hasConceptScore W1827315518C126255220 @default.
- W1827315518 hasConceptScore W1827315518C134306372 @default.
- W1827315518 hasConceptScore W1827315518C14523651 @default.
- W1827315518 hasConceptScore W1827315518C154945302 @default.
- W1827315518 hasConceptScore W1827315518C17744445 @default.
- W1827315518 hasConceptScore W1827315518C199360897 @default.
- W1827315518 hasConceptScore W1827315518C199539241 @default.
- W1827315518 hasConceptScore W1827315518C2524010 @default.
- W1827315518 hasConceptScore W1827315518C2776036281 @default.
- W1827315518 hasConceptScore W1827315518C2776359362 @default.
- W1827315518 hasConceptScore W1827315518C2776999362 @default.
- W1827315518 hasConceptScore W1827315518C2778067643 @default.
- W1827315518 hasConceptScore W1827315518C2780801425 @default.
- W1827315518 hasConceptScore W1827315518C33203268 @default.
- W1827315518 hasConceptScore W1827315518C33923547 @default.
- W1827315518 hasConceptScore W1827315518C36503486 @default.
- W1827315518 hasConceptScore W1827315518C41008148 @default.
- W1827315518 hasConceptScore W1827315518C80444323 @default.
- W1827315518 hasConceptScore W1827315518C94625758 @default.
- W1827315518 hasLocation W18273155181 @default.
- W1827315518 hasOpenAccess W1827315518 @default.
- W1827315518 hasPrimaryLocation W18273155181 @default.
- W1827315518 hasRelatedWork W1520666519 @default.
- W1827315518 hasRelatedWork W1543347304 @default.
- W1827315518 hasRelatedWork W1551070491 @default.
- W1827315518 hasRelatedWork W1566418991 @default.
- W1827315518 hasRelatedWork W160132717 @default.
- W1827315518 hasRelatedWork W19698396 @default.
- W1827315518 hasRelatedWork W1980738498 @default.
- W1827315518 hasRelatedWork W2010904962 @default.
- W1827315518 hasRelatedWork W2025460523 @default.
- W1827315518 hasRelatedWork W2064083960 @default.
- W1827315518 hasRelatedWork W2096216827 @default.
- W1827315518 hasRelatedWork W2114192613 @default.
- W1827315518 hasRelatedWork W2119709400 @default.
- W1827315518 hasRelatedWork W2119710578 @default.
- W1827315518 hasRelatedWork W2512033590 @default.