From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id C2A795D5 for ; Thu, 7 Jun 2018 13:23:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,486,1520895600"; d="scan'208,217";a="330819012" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jun 2018 15:23:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DDAF882476; Thu, 7 Jun 2018 15:23:15 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A553882438 for ; Thu, 7 Jun 2018 15:19:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=patrizi@diag.uniroma1.it; spf=Pass smtp.mailfrom=patrizi@diag.uniroma1.it; spf=None smtp.helo=postmaster@mail-pg0-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ak7rAEhKfoQ62PMnFztmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKPXxwZ3uMQTl6Ol3ixeRBMOHs68C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwVFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?cJOTA67W/ZlNB/gblBrx69vRFy2ZLYbJ2XOfd4Y6jTfckaRW1EXstJVyJOGJiz?= =?us-ascii?q?b4oID+EcJ+hXtZX9p0EPrRq/BAmnGeTiyidSiX/qx6060uUgEQDd0QM9HtIBqn?= =?us-ascii?q?vUoM/oNKcUUOC11q7IzTDZYP9Lwzv96ZTIfwknrPqRU7xwds/RxlMuFwPDllif?= =?us-ascii?q?t5bqPyiV1+sRs2iU9etgVfi1h24gsQFxrSCjxsctionGhoIVzlHE9Sp5wIYpPt?= =?us-ascii?q?20UVJ0YdmiEJteqS6aLZV5QsU+TG52oio6zacGuZGjcCgXzpQnxgTfa/uCc4eS?= =?us-ascii?q?/x7vTueRISt+iXl4e7y/nw6//Eqvx+HmS8W4zlZHojBGn9TCrHwA1hze586aQf?= =?us-ascii?q?Vn5EihwyyA1wXL5+FEP080ka3bJoYkwrEql5oTtV3PHjf5mEnqlaOWeEQp9+iy?= =?us-ascii?q?5+ToZbXmoZCcN4tqhQ3kLqsuncm/Dfw5MggIQWeb5fyx2b/s8EHjXblGkP07nr?= =?us-ascii?q?PavZ3UP8gWp660DxdQ0ok56ha/Czmm0M4fnXkCNF9FYAiIj5TzO1HPIfH4DOyy?= =?us-ascii?q?jEmtkDhxyPDKJKDhApPMLnjZl7fheKxy51NGxAoy0dBT/4hUBa0ZIPLvRk/xs8?= =?us-ascii?q?TVAQMjPAyxx+brEdF91oIFWWKTGaKZK6PTsVqQ5u01OeWMZYkVuCz8K/c//fLu?= =?us-ascii?q?g2U5yhchevyi1J4TLXS5BehOIkODYHOqjM1SP30Nu18QRebrjxW6WCJJZmSzF/?= =?us-ascii?q?Yk7y0hCZCnJYvCT4/rnbqAxiC+F8QQZ3wQWQPEKmvha4jRA6REUymVOMI0ymVV?= =?us-ascii?q?B4jkcJco0FSVjCG/zrNmKuTO/ShB5cDv1dF6ofDVlAs18DUtScWBgTjUEzNE21?= =?us-ascii?q?gQTjpz55hR5FRnww7Tg6R5ivMeCNpS/fRMW158NIKOl7UnWeC3YRrIe5KycHjj?= =?us-ascii?q?QtiiBmtsHNc4wttLe0klXtv801bM2C2lB7JTnLuOVsQ5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B8CACGLxlbdEFTfUpdFgmCYIEZPg5xK?= =?us-ascii?q?IN4YjuTToRukV0UgQ4DUwsjhEmCQhkHAQQwGAECAQEBAQEBAQEBEwEKCwwHGws?= =?us-ascii?q?cCQyCNSKCdQYdAQEHHwUNDQsNLQEJAh0HEgEFASwRDIMQgX8PjiCQAzyKG22CH?= =?us-ascii?q?IJvAQEFhVeBYAgFDYgwghOBD4YdBBiBCwcNVIJTglWRMYdMCYEMhGGIfI0mgjC?= =?us-ascii?q?HVIcYDyGBIIF0DggzGggwbAaCDAmFc4JugiaFPQM9MAGOUIJHAQE?= X-IPAS-Result: =?us-ascii?q?A0B8CACGLxlbdEFTfUpdFgmCYIEZPg5xKIN4YjuTToRukV0?= =?us-ascii?q?UgQ4DUwsjhEmCQhkHAQQwGAECAQEBAQEBAQEBEwEKCwwHGwscCQyCNSKCdQYdA?= =?us-ascii?q?QEHHwUNDQsNLQEJAh0HEgEFASwRDIMQgX8PjiCQAzyKG22CHIJvAQEFhVeBYAg?= =?us-ascii?q?FDYgwghOBD4YdBBiBCwcNVIJTglWRMYdMCYEMhGGIfI0mgjCHVIcYDyGBIIF0D?= =?us-ascii?q?ggzGggwbAaCDAmFc4JugiaFPQM9MAGOUIJHAQE?= X-IronPort-AV: E=Sophos;i="5.49,486,1520895600"; d="scan'208,217";a="330818104" Received: from mail-pg0-f65.google.com ([74.125.83.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Jun 2018 15:19:49 +0200 Received: by mail-pg0-f65.google.com with SMTP id c9-v6so4757735pgf.5 for ; Thu, 07 Jun 2018 06:19:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=diag-uniroma1-it.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=L6aP28ahQQiSNkFh//r17iYGreQLDCA/0tGuGMU/P5c=; b=T/a/VRYkCxgrYdGRJONmbEkzUUYRISYjtTNke63qEWuFJSwW1it7n6BjxUCNZB9001 HxtnZtDLYV5nakNpmnSadW8fOHMJVoJMw2yRIBAteTK26EMRskZJGBQlYWda6esvKLpD L3PAF2Yq3jvTQRCoEycy2x61XA4nbTwejiLizGJuvrZDgWVwCsx6c4GR6FUROjRTVOKr /kY2HY+Sfo01Fv4o4eRPXIefRbGcT4sVKFAAmfuu3H5bk/EHuSDzKTFEaYxoh0Dtl/WQ +7i71pZYYOBReOiZprAVQZWbf1+f8dxknZIk3xhfOH8RMPdTXDQK7DWidOBFPEVggDy6 mgWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=L6aP28ahQQiSNkFh//r17iYGreQLDCA/0tGuGMU/P5c=; b=jvBns0zTUa9TZjeZZ0gQZs5KUN0OgA+UMHBfsdSZ33z5OFEw39tWPqFNPS3NkYXd2O UYma8CUGaR93LpTHA1IZT9NXQdJ/V7G9RO9JAPQdPU6HHvK6UU+lIp2h/xHMDz+MDGmE gyHTZAC6DnkY9s6ECH2lSmL+58sEj7bIWTWD6Ds2zu04jCaa7W/my6Jr+cOo2Osb7ZC9 xppKdZ0iaziYPZQtwzYwm/Rk7hfQfhqL9iL9OxsZGyf8RD2+XUVZSq1QLIFszsGjMgZM f1CPTwFcjqqaEJr5t1GuIDwUuOGmBuA/E6km+t0gAmMsStKd6RxUCKkG3Vhz7qRAxC1R rZ/g== X-Gm-Message-State: APt69E0oi9GKv3q3tcGUkf1kWWPhr+lwqv7+EUAjq5kzvVw8OtMSI6j4 Aqld9p/lLm0XlHN2A2QjISWnM+hQTcehm+rDAWXRj72T X-Google-Smtp-Source: ADUXVKK6pXQIpf4t51Hu2Ywr4Egp08gmIMvZsXaJYVWIH2gw/2kvOkZizdAtKt/6vlncHWgkEExwnkZ++aZDGagA754= X-Received: by 2002:a62:1855:: with SMTP id 82-v6mr1813347pfy.132.1528377588031; Thu, 07 Jun 2018 06:19:48 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a17:90a:7181:0:0:0:0 with HTTP; Thu, 7 Jun 2018 06:19:07 -0700 (PDT) From: Fabio Patrizi Date: Thu, 7 Jun 2018 15:19:07 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000037b88c056e0d236f" X-Validation-by: patrizi@diag.uniroma1.it Subject: [Caml-list] ACTIONS@KR18: CALL FOR CONTRIBUTIONS Reply-To: Fabio Patrizi X-Loop: caml-list@inria.fr X-Sequence: 16932 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000037b88c056e0d236f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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. Goal 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. Format 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. Submissions 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). 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=E2=80=99 behav= iors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=3Dactionskr18 Important Dates Submission July 21, 2018 Notification 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 Herzig IRIT, CNRS, Universit=C3=A9 Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University --=20 Fabio Patrizi Dipartimento di Ingegneria informatica, automatica e gestionale "A. Ruberti" Sapienza Universit=C3=A0 di Roma Room B214 Via Ariosto, 25 - 00185 Rome, Italy Phone: +39 06 77274073 Home Page: www.dis.uniroma1.it/~patrizi --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --00000000000037b88c056e0d236f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

CALL FOR CONTRIBUTIONS


Reasoning about Actions and Process= es:

Highlight= s of Recent Advances


ACTIONS@KR18

http://w= ww.diag.uniroma1.it/~kr18actions/


=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0 Held as part of KR 2018, October 28 & 29, 2018, Tempe= , Arizona (USA)


The field of Reasoning about actions, a funda= mental area of KR, is expanding to incorporate research from a wide range o= f other areas of AI and CS. In recent years, we have moved from standard fo= rms of reasoning, such as action sequence executabilty and future effects (= projection), to more sophisticated forms of reasoning which share many comm= onalities with other fields of CS, from verification in Formal Methods to p= rocess modeling and analysis in Business Process Management. Moreover, conn= ections 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. Dra= wing 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 a= nd a chance to meet everybody in the community.


Goal
This workshop aims to bring together researchers working in a varie= ty of areas of AI and CS -- including KR, planning, RL, verification, and s= ynthesis -- to foster these emerging directions of reasoning about actions = and processes.


Format
We invite submissions f= or presentations, not papers. We welcome a presentation on your favorite re= cent technical work, position paper, or open problems with clear and concis= e formulations of current challenges. The contributed talks will be 15-minu= tes 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 fo= r the field and longer keynote talks.


Submissions
Submissions should have a single main author, who will be the speaker,= and each speaker can have no more than one submission. Each submission mus= t be at most 2-pages long and may refer to joint work with other collaborat= ors to be credited in the presentation. There are no formal proceedings and= we encourage submissions of work presented or submitted elsewhere (no copy= right transfer is required, only permission to post the abstract on the wor= kshop site).


Topics of interest include but are not limited to:

 =C2=A0=C2=A0=C2=A0Reasoning about actions
 =C2=A0=C2=A0=C2=A0Representing and reasoning = about processes

=C2=A0=C2=A0=C2=A0Hierarchical abstractions of action models =C2=A0Gen= eralized planning
 =C2=A0=C2=A0=C2= =A0Verification and Synthesis of high level agent behaviors
 =C2=A0=C2=A0=C2=A0Agent behavior control<= span style=3D"font-size:11pt;font-family:Arial;background-color:transparent= ;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-alig= n:baseline;white-space:pre-wrap">
= =C2=A0=C2=A0=C2=A0Logic-based representa= tion, action theories, temporal logics, logics of programs
 =C2=A0=C2=A0=C2=A0Stochastic representation, MDPs= and Non-Markovian Decision Processes
 =C2=A0=C2=A0=C2=A0Learning dynamic behaviors, RL

=C2=A0=C2=A0=C2=A0Partial observ= ability, incomplete information, uncertainty

<= span style=3D"font-size:11pt;font-family:Arial;background-color:transparent= ;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-alig= n:baseline;white-space:pre-wrap"> =C2=A0=C2=A0=C2=A0Reasoning about beliefs= , goals and intentions
 =C2=A0=C2= =A0=C2=A0First-person vs third person view

<= span style=3D"font-size:11pt;font-family:Arial;background-color:transparent= ;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-alig= n:baseline;white-space:pre-wrap"> =C2=A0=C2=A0=C2=A0Plan, intention, and ac= tivity recognition
 =C2=A0=C2=A0= =C2=A0Transparency, predictability and accountability of agents=E2=80=99 be= haviors


= Both theoretical and application-oriented contributions are welcome.=

Papers can be submitted via EasyChair:<= /span>

https://easychair.org= /conferences/?conf=3Dactionskr18


Important Dates
Submission July 21, 2018
Notification August 25, 2018

Workshop =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0O= ctober 28 & 29, 2018


Invited Talks

To be announced.


Registration

For registration details see KR 2018 website.<= /span>


Organizi= ng Committee

Giuseppe De Giacomo University of Rome "La Sapienza"=

Andreas Herzig <= span class=3D"gmail-Apple-tab-span" style=3D"white-space:pre"> IRIT, CNRS, Universit=C3=A9 Paul Sabati= er

Yves Lesp= erance York University

Marco Montali Free Unive= rsity Bozen-Bolzano

Fabio Patrizi University of Rome "La Sapienza"=

Sasha Rubin= <= span style=3D"font-size:11pt;font-family:Arial;background-color:transparent= ;font-variant-ligatures:normal;font-variant-east-asian:normal;vertical-alig= n:baseline;white-space:pre-wrap"> Unive= rsity of Naples "Federico II"

Siddharth Srivastava Arizona State University



--
Fabio Patrizi
Dipartimento di Ingegneria informatica, automati= ca e gestionale "A. Ruberti"
Sapienza Universit=C3=A0 d= i Roma
Room B214
Via Ariosto, 25 - 00185 Rome, Italy
Phone: +39 06 77274073
--00000000000037b88c056e0d236f--