<div dir="ltr"><div class="gmail_default" style="font-size:small"><p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">****************************************************************************</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">DEADLINE EXTENSION</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Reasoning about Actions and Processes:</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Highlights of Recent Advances</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">ACTIONS@KR18 </span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial;color:rgb(17,85,204)"><span style="text-decoration:underline"><a href="http://www.diag.uniroma1.it/~kr18actions/">http://www.diag.uniroma1.it/~kr18actions/<span style="-webkit-font-kerning: none;"></span></a></span></p>
<p style="margin:0px;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> <span class="gmail-Apple-tab-span" style="white-space:pre"> </span>Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA)</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">****************************************************************************</span></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:center;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., <a href="http://highlights-conference.org/"><span style="-webkit-font-kerning: none;">http://highlights-conference.org</span></a>), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Goal</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Format</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks.</span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Submissions</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site).</span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Topics of interest include but are not limited to:</span><span style="color:rgb(0,0,0)"><br>
<br>
</span><span style="-webkit-font-kerning: none;"> Reasoning about actions</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Representing and reasoning about processes</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> Hierarchical abstractions of action models </span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> Generalized planning</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Verification and Synthesis of high level agent behaviors</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Agent behavior control</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Logic-based representation, action theories, temporal logics, logics of programs</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Stochastic representation, MDPs and Non-Markovian Decision Processes</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Learning dynamic behaviors, RL</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> Partial observability, incomplete information, uncertainty</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> Reasoning about beliefs, goals and intentions</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> First-person vs third person view</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"> Plan, intention, and activity recognition</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;"> Transparency, predictability and accountability of agents’ behaviors</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Both theoretical and application-oriented contributions are welcome.</span><span style="color:rgb(0,0,0)"><br>
<br>
</span><span style="-webkit-font-kerning: none;">Papers can be submitted via EasyChair:</span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial;color:rgb(17,85,204)"><span style="text-decoration:underline"><a href="https://easychair.org/conferences/?conf=actionskr18">https://easychair.org/conferences/?conf=actionskr18<span style="-webkit-font-kerning: none;"></span></a></span></p>
<p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Important Dates</span></p><p style="margin:0px;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;"><br>
</span><span style="-webkit-font-kerning: none;">Submission <span class="gmail-Apple-tab-span" style="white-space:pre"> </span>July 21, 2018 ***extended to </span><span style="font-stretch:normal;font-size:14px;line-height:normal">August 4, 2018***</span><span style="color:rgb(0,0,0)"><br>
</span><span style="-webkit-font-kerning: none;">Notification <span class="gmail-Apple-tab-span" style="white-space:pre"> </span>August 25, 2018 ***extended to August 31, 2018***</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Workshop October 28 & 29, 2018</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Invited Talks</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">To be announced.</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Registration</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">For registration details see KR 2018 website.</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14px;line-height:normal;font-family:Times;min-height:18px"><span style="-webkit-font-kerning: none;"></span><br></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Organizing Committee</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Giuseppe De Giacomo <span class="gmail-Apple-tab-span" style="white-space:pre"> </span>University of Rome "La Sapienza"</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Andreas Herzig<span class="gmail-Apple-tab-span" style="white-space:pre"> </span>IRIT, CNRS, Université Paul Sabatier</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Yves Lesperance<span class="gmail-Apple-tab-span" style="white-space:pre"> </span>York University</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Marco Montali<span class="gmail-Apple-tab-span" style="white-space:pre"> </span>Free University Bozen-Bolzano</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Fabio Patrizi<span class="gmail-Apple-tab-span" style="white-space:pre"> </span>University of Rome "La Sapienza"</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Sasha Rubin<span class="gmail-Apple-tab-span" style="white-space:pre"> </span>University of Naples "Federico II"</span></p>
<p style="margin:0px;text-align:justify;font-stretch:normal;font-size:14.7px;line-height:normal;font-family:Arial"><span style="-webkit-font-kerning: none;">Siddharth Srivastava <span class="gmail-Apple-tab-span" style="white-space:pre"> </span>Arizona State University</span></p></div><div><br></div><div class="gmail_signature"><div dir="ltr"><div></div></div></div>
</div>