-------- Forwarded Message -------- Subject: [WI] ACTIONS@KR18: CALL FOR CONTRIBUTIONS Date: Thu, 7 Jun 2018 15:28:47 +0200 From: Fabio Patrizi patrizi@diag.uniroma1.it Reply-To: Fabio Patrizi patrizi@diag.uniroma1.it To: podc-related@acm.org, prog-lang@diku.dk, project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca, semanticweb@yahoogroups.com, sicstus-users@sics.se, sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at, tag@cs.utexas.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, uai@engr.orst.edu, users@mozart-oz.org, users-prolog@gnu.org, vki-list@dfki.de, webmaster@aisb.org.uk, webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org
****************************************************************************
CALL FOR CONTRIBUTIONS
Reasoning about Actions and Processes:
Highlights of Recent Advances
ACTIONS@KR18
http://www.diag.uniroma1.it/~kr18actions/
Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA)
****************************************************************************
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., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community.
GoalThis 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.
FormatWe 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.
SubmissionsSubmissions 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).
Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes
Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL
Partial observability, incomplete information, uncertainty
Reasoning about beliefs, goals and intentions First-person vs third person view
Plan, intention, and activity recognition Transparency, predictability and accountability of agents’ behaviors
Both theoretical and application-oriented contributions are welcome.Papers can be submitted via EasyChair:
https://easychair.org/conferences/?conf=actionskr18
Important DatesSubmission July 21, 2018Notification August 25, 2018
Workshop October 28 & 29, 2018
Invited Talks
To be announced.
Registration
For registration details see KR 2018 website.
Organizing Committee
Giuseppe De Giacomo University of Rome "La Sapienza"
Andreas HerzigIRIT, CNRS, Université Paul Sabatier
Yves LesperanceYork University
Marco MontaliFree University Bozen-Bolzano
Fabio PatriziUniversity of Rome "La Sapienza"
Sasha RubinUniversity of Naples "Federico II"
Siddharth Srivastava Arizona State University