@thesis{Ziegelmayer2006,
  author      = {Dominique Ziegelmayer},
  title       = {Decision-Theoretic Planning in the Dynamic Logic
                  $\mathcal{E\!S}$},
  school      = {Department of Computer Science, RWTH Aachen
                  University},
  year        = {2006},
  month       = jul,
  advisor     = {Cla{\ss}en, Jens},
  abstract    = {The thesis presents a representation for
                  decision-theoretic problems in the modal Situation
                  Calculus variant ES. Based on this representation,
                  different decision-theoretic variants of the agent
                  programming language Golog are established, namely
                  an online- and an off-line version of DT-Golog. For
                  this purpose, a transition semantics for such
                  programs is defined and prototype implementations
                  have been developed.},
  type = {Diploma thesis}
}

{"_id":"zR2zm42KnvqsBFa3b","bibbaseid":"ziegelmayer-decisiontheoreticplanninginthedynamiclogicmathcales-2006","author_short":["Ziegelmayer, D."],"bibdata":{"bibtype":"thesis","type":"Diploma thesis","author":[{"firstnames":["Dominique"],"propositions":[],"lastnames":["Ziegelmayer"],"suffixes":[]}],"title":"Decision-Theoretic Planning in the Dynamic Logic $\\mathcal{E\\!S}$","school":"Department of Computer Science, RWTH Aachen University","year":"2006","month":"July","advisor":"Claßen, Jens","abstract":"The thesis presents a representation for decision-theoretic problems in the modal Situation Calculus variant ES. Based on this representation, different decision-theoretic variants of the agent programming language Golog are established, namely an online- and an off-line version of DT-Golog. For this purpose, a transition semantics for such programs is defined and prototype implementations have been developed.","bibtex":"@thesis{Ziegelmayer2006,\n author = {Dominique Ziegelmayer},\n title = {Decision-Theoretic Planning in the Dynamic Logic\n $\\mathcal{E\\!S}$},\n school = {Department of Computer Science, RWTH Aachen\n University},\n year = {2006},\n month = jul,\n advisor = {Cla{\\ss}en, Jens},\n abstract = {The thesis presents a representation for\n decision-theoretic problems in the modal Situation\n Calculus variant ES. Based on this representation,\n different decision-theoretic variants of the agent\n programming language Golog are established, namely\n an online- and an off-line version of DT-Golog. For\n this purpose, a transition semantics for such\n programs is defined and prototype implementations\n have been developed.},\n type = {Diploma thesis}\n}\n\n","author_short":["Ziegelmayer, D."],"key":"Ziegelmayer2006","id":"Ziegelmayer2006","bibbaseid":"ziegelmayer-decisiontheoreticplanninginthedynamiclogicmathcales-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"thesis","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["decision","theoretic","planning","dynamic","logic","mathcal","ziegelmayer"],"title":"Decision-Theoretic Planning in the Dynamic Logic $\\mathcal{E\\!S}$","year":2006}