@thesis{Hu2006,
  author      = {Yuxiao Hu},
  title       = {A Declarative Semantics of a Subset of {PDDL} with
                  Time and Concurrency},
  school      = {Department of Computer Science, RWTH Aachen
                  University},
  year        = {2006},
  month       = nov,
  advisor     = {Cla{\ss}en, Jens},
  abstract    = {The thesis presents an extension of the modal
                  Situation Calculus variant ES by the features of
                  numerics, time, concurrency, and coerciveness. Based
                  on this, a semantic mapping between the temporal
                  subset of the planning language PDDL and the newly
                  extended ES is provided, serving as an alternative,
                  declarative semantics for PDDL's meta-theoretic,
                  state-transitional semantics as well as the basis of
                  embedding temporal planners into Golog.},
  type        = {mathesis}
}

{"_id":"aiJrEaskZQNs2LNBF","bibbaseid":"hu-adeclarativesemanticsofasubsetofpddlwithtimeandconcurrency-2006","author_short":["Hu, Y."],"bibdata":{"bibtype":"thesis","type":"mathesis","author":[{"firstnames":["Yuxiao"],"propositions":[],"lastnames":["Hu"],"suffixes":[]}],"title":"A Declarative Semantics of a Subset of PDDL with Time and Concurrency","school":"Department of Computer Science, RWTH Aachen University","year":"2006","month":"November","advisor":"Claßen, Jens","abstract":"The thesis presents an extension of the modal Situation Calculus variant ES by the features of numerics, time, concurrency, and coerciveness. Based on this, a semantic mapping between the temporal subset of the planning language PDDL and the newly extended ES is provided, serving as an alternative, declarative semantics for PDDL's meta-theoretic, state-transitional semantics as well as the basis of embedding temporal planners into Golog.","bibtex":"@thesis{Hu2006,\n author = {Yuxiao Hu},\n title = {A Declarative Semantics of a Subset of {PDDL} with\n Time and Concurrency},\n school = {Department of Computer Science, RWTH Aachen\n University},\n year = {2006},\n month = nov,\n advisor = {Cla{\\ss}en, Jens},\n abstract = {The thesis presents an extension of the modal\n Situation Calculus variant ES by the features of\n numerics, time, concurrency, and coerciveness. Based\n on this, a semantic mapping between the temporal\n subset of the planning language PDDL and the newly\n extended ES is provided, serving as an alternative,\n declarative semantics for PDDL's meta-theoretic,\n state-transitional semantics as well as the basis of\n embedding temporal planners into Golog.},\n type = {mathesis}\n}\n\n","author_short":["Hu, Y."],"key":"Hu2006","id":"Hu2006","bibbaseid":"hu-adeclarativesemanticsofasubsetofpddlwithtimeandconcurrency-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"thesis","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["declarative","semantics","subset","pddl","time","concurrency","hu"],"title":"A Declarative Semantics of a Subset of PDDL with Time and Concurrency","year":2006}