<span itemscope itemtype="http://schema.org/InformAction"><span style="display:none" itemprop="about" itemscope itemtype="http://schema.org/Person"><meta itemprop="description" content="Einladung von piller@in.tum.de"/></span><span itemprop="object" itemscope itemtype="http://schema.org/Event"><div style=""><table cellspacing="0" cellpadding="8" border="0" summary="" style="width:100%;font-family:Arial,Sans-serif;border:1px Solid #ccc;border-width:1px 2px 2px 1px;background-color:#fff;"><tr><td><meta itemprop="eventStatus" content="http://schema.org/EventScheduled"/><h4 style="padding:6px 0;margin:0 0 4px 0;font-family:Arial,Sans-serif;font-size:13px;line-height:1.4;border:1px Solid #fff;background:#fff;color:#090;font-weight:normal"><strong>Sie wurden zum folgenden Termin eingeladen.</strong></h4><div style="padding:2px"><span itemprop="publisher" itemscope itemtype="http://schema.org/Organization"><meta itemprop="name" content="Google Calendar"/></span><meta itemprop="eventId/googleCalendar" content="4aurcs5k02jqcaaioktcgk8di7"/><h3 style="padding:0 0 6px 0;margin:0;font-family:Arial,Sans-serif;font-size:16px;font-weight:bold;color:#222"><span itemprop="name">Formalization of the Semantics of Temporal Planning</span></h3><table style="display:inline-table" cellpadding="0" cellspacing="0" border="0" summary="Termindetails"><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wann</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px"><time itemprop="startDate" datetime="20210303T133000Z"></time><time itemprop="endDate" datetime="20210303T140000Z"></time>Mi 3. Mär. 2021 14:30 – 15:00 <span style="color:#888">Mitteleuropäische Zeit - Berlin</span></div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wo</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px"><span itemprop="location" itemscope itemtype="http://schema.org/Place"><span itemprop="name" class="notranslate">https://tinyurl.com/ls21coffee</span><span dir="ltr"> (<a href="https://www.google.com/url?q=https%3A%2F%2Ftinyurl.com%2Fls21coffee&sa=D&ust=1614757644538000&usg=AOvVaw2VB-tCiUa8r0M6FlrvK2Xb" style="color:#20c;white-space:nowrap" target="_blank" itemprop="map">Karte</a>)</span></span></div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Kalender</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px">club2@mailbroy.informatik.tu-muenchen.de</div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wer</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><table cellspacing="0" cellpadding="0"><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span class="notranslate">piller@in.tum.de</span><span style="font-size:11px;color:#888">- Veranstalter</span></div></div></div></td></tr><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span itemprop="attendee" itemscope itemtype="http://schema.org/Person"><span itemprop="name" class="notranslate">lukas.koller@tum.de</span><meta itemprop="email" content="lukas.koller@tum.de"/></span></div></div></div></td></tr><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span itemprop="attendee" itemscope itemtype="http://schema.org/Person"><span itemprop="name" class="notranslate">club2@mailbroy.informatik.tu-muenchen.de</span><meta itemprop="email" content="club2@mailbroy.informatik.tu-muenchen.de"/></span></div></div></div></td></tr></table></td></tr></table><div style="float:right;font-weight:bold;font-size:13px"> <a href="https://calendar.google.com/calendar/event?action=VIEW&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Mehr Details »</a><br></div><div style="padding-bottom:15px;font-family:Arial,Sans-serif;font-size:13px;color:#222;white-space:pre-wrap!important;white-space:-moz-pre-wrap!important;white-space:-pre-wrap!important;white-space:-o-pre-wrap!important;white-space:pre;word-wrap:break-word"><span>Speaker:  Lukas Koller<br><br>Type: Bachelor's Thesis Presentation<br><br>Abstract:<span> This thesis is an extension of the work of Abdulaziz and Lammich (2018). In(Abdulaziz and Lammich 2018) the semantics of classical planning wereformalized in Isabelle/HOL. A plan validator for the STRIPS PDDL-fragment wasimplemented and proven correct w.r.t. the formalized semantics. In this thesis,I formalize the semantics of discrete and deterministic temporal planning inthe Higher-Order-Logic theorem prover Isabelle/HOL. The semantics for temporalplanning in PDDL (Fox and Long 2003) are the basis for my formalization. I givean alternative characterization of the semantics and prove the equivalencebetween the original semantics and my alternative characterization. Myalternative characterization of the  semanticsomits the complicated induced happening sequence and thus is more concise andintuitive. Using stepwise refinement (Wirth 1971; Back 1978), I implement anexecutable plan validator for a temporal PDDL fragment, which is proven correctw.r.t. the formalized semantics. I compare the validation result and theruntime of my plan validator with the well-known plan validator VAL (Howey etal. 2004). My validator is implemented with arbitrary precision numbers andtherefore the plan validation with my validator does not depend on a fixed  value. </span></span><meta itemprop="description" content="Speaker:&nbsp; Lukas KollerType: Bachelor's Thesis PresentationAbstract: This thesis is an extension of the work of Abdulaziz and Lammich (2018). In(Abdulaziz and Lammich 2018) the semantics of classical planning wereformalized in Isabelle/HOL. A plan validator for the STRIPS PDDL-fragment wasimplemented and proven correct w.r.t. the formalized semantics. In this thesis,I formalize the semantics of discrete and deterministic temporal planning inthe Higher-Order-Logic theorem prover Isabelle/HOL. The semantics for temporalplanning in PDDL (Fox and Long 2003) are the basis for my formalization. I givean alternative characterization of the semantics and prove the equivalencebetween the original semantics and my alternative characterization. Myalternative characterization of the &nbsp;semanticsomits the complicated induced happening sequence and thus is more concise andintuitive. Using stepwise refinement (Wirth 1971; Back 1978), I implement anexecutable plan validator for a temporal PDDL fragment, which is proven correctw.r.t. the formalized semantics. I compare the validation result and theruntime of my plan validator with the well-known plan validator VAL (Howey etal. 2004). My validator is implemented with arbitrary precision numbers andtherefore the plan validation with my validator does not depend on a fixed &nbsp;value. "/></div></div><p style="color:#222;font-size:13px;margin:0"><span style="color:#888">Teilnehmen (club2@mailbroy.informatik.tu-muenchen.de)?   </span><wbr><strong><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/Yes"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://calendar.google.com/calendar/event?action=RESPOND&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=1&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Ja</a></span></span><span style="margin:0 0.4em;font-weight:normal"> - </span><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/Maybe"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://calendar.google.com/calendar/event?action=RESPOND&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=3&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Vielleicht</a></span></span><span style="margin:0 0.4em;font-weight:normal"> - </span><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/No"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://calendar.google.com/calendar/event?action=RESPOND&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=2&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Nein</a></span></span></strong>    <wbr><a href="https://calendar.google.com/calendar/event?action=VIEW&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Weitere Optionen »</a></p></td></tr><tr><td style="background-color:#f6f6f6;color:#888;border-top:1px Solid #ccc;font-family:Arial,Sans-serif;font-size:11px"><p>Einladung von <a href="https://calendar.google.com/calendar/" target="_blank" style="">Google Kalender</a></p><p>Sie erhalten diese E-Mail unter club2@mailbroy.informatik.tu-muenchen.de, da Sie ein Gast bei diesem Termin sind.</p><p>Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem Termin zu erhalten. Sie können auch unter https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.</p><p>Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem könnte er weitere Nutzer einladen und Ihre Antwort ändern. <a href="https://support.google.com/calendar/answer/37135#forwarding">Weitere Informationen</a>.</p></td></tr></table></div></span></span>