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 5EFB35D4 for ; Fri, 13 Jul 2018 09:38:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,347,1526335200"; d="scan'208,217";a="338761040" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Jul 2018 11:37:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C9359824B6; Fri, 13 Jul 2018 11:37:57 +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 8BF7682487 for ; Fri, 13 Jul 2018 11:13:55 +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-pg1-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ao4Y8PxWRqC+3iG4tTYgjobATIG7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZxeDuKdThVPEFb/W9+hDw7KP9fy4BypYud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9uLRi6txndutULioZ+N6g9zQfErGFVcO?= =?us-ascii?q?pM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q6BWAzQgKGA1+dbktQLf?= =?us-ascii?q?QguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8qxmUwHjhj?= =?us-ascii?q?sZODEl8WHXks1wg7xdoBK9vBx03orYbJiIOPZiYq/ReNUXSm1cUMZWTSxBHp2z?= =?us-ascii?q?YJYTAeUfIelYrpH9q0UTphe6CgSgGObjxzlVjXH0wKI6yfwsHwHI0gIjAtwArm?= =?us-ascii?q?jboc7vO6sOS+241rXEwSnBYv5QxDzz6JLIchckofyUXbx/a9HeyUgoFwjYlFuf?= =?us-ascii?q?s5DlPymU1uUMsmiQ8u1tVfq1hG47sQFxozmuxsY3h4bUh4Ia0F/E+T9kwIYzJN?= =?us-ascii?q?24Ukl7Ydu+H5dNrS2aNpd2T9okTmp1tig6zbgGtoS6fCgM0Jko2QTQa+eHcoeU?= =?us-ascii?q?4hLsTueRIS1iiHJiYrK/iA6+8Uihyu3zVsm01FdKriVFktnQrXABzgDc6s+BSv?= =?us-ascii?q?tz4EihwyiA1wbP5e5aO0w0krDbK5E5zr4tkJoTsF7DHijzmErskaOabEQk+vSu?= =?us-ascii?q?5u/6YbvmvoeRO5Fohgz6KKgjmcyyDf4mPgQTX2WX4/mw2bns8ED/Xb5ElOc5kr?= =?us-ascii?q?PDv5DfPckbprC2AwtS0os77hawFTam0NABkXkfI1JJZQuLj4b0N1zKL/30F/i/?= =?us-ascii?q?g1OrkDdkw/DJIKftDYnKLnjGiLvhfLB95FBAyAcr09xT+5ZZBqsCLf/zQEP9qs?= =?us-ascii?q?HUAx8jPwCpx+vqB81x1oYEVmKOBq+ZPrnSsViN5u83O+mDfpMVuCz8K/kk5v7j?= =?us-ascii?q?lmI2mV4Hcqmmx5cXdXa4HvV8I0WeZHrjmMoNHX0LvgoiVODqkkGNUSZPZ3auWK?= =?us-ascii?q?Ix/i00B5ijDYfHX4ythL2B3DynHpBNfWBHClWMEW/yeImeWvcMbjiSIs57nTAe?= =?us-ascii?q?W7ihUdxp6Rb7vQD3zaZ8BuHPvDAdv5ml2dRoo6XalAEz/BR9DtSc2ieMUyU8l2?= =?us-ascii?q?cHXyUx04h0pkl5w13F1rg+ivceCN8Xr/pNVi8qLpSaxOt/T5j7QB2EddCMTVe6?= =?us-ascii?q?XtirKToqRZQ1wsFIak07BtbmxhrK1SeuRrAPkKGTLJY9+K/YmXzqYch8jWve0e?= =?us-ascii?q?8slB1uScJDOEWnmrM5+wuXT4XAl0ifm6+wXa8b2TbQ6GqZi22UswUQWwd1VeDB?= =?us-ascii?q?XGsDTkrQt9XwoE3YC/elCak9OQsEwMiELbZMYdDBhk4ATuqlNdjDJyq6m3qqDh?= =?us-ascii?q?bNz7WKa5fscGg1wDTFBVNCmR1V8HqbcUA1Bz+hrnibBzJ2PVPibk6p6uR1tWm6?= =?us-ascii?q?Ul5yyBuFKwVq07e8/FsRhOeAY+gY378CsypnsSgyGlL5l9nRBMGLpiJqZ+NAat?= =?us-ascii?q?974VoDnWneswtyOJG8B71plxgXeEJ8rgem3BJyDoxKucMtqXcjxkx1OeSR2xVc?= =?us-ascii?q?dHfQ1pf1P/jLKmT15gGHaqPb1xfZytnSsqwI7ex9r1zls0SsEmIn9HlqydBJ1G?= =?us-ascii?q?GHoJTRB0wVS521Gk0w8gB+oL7yaTJ74YbPyDthPbTw+jTF3sozA/sNxhGrOdZU?= =?us-ascii?q?dqqPUhLxV4URAM6lNfYwll6ifzoPI+EU8qpwd8ihcfWLwqOtN+t7tDmhiHxa/I?= =?us-ascii?q?1nlEWW+G40QfbI1NMOxPeW9gmGTDz5hVal9Mn8351HIXk5GWyk1SHiGI9Xa+VJ?= =?us-ascii?q?YYsTCW6oIsG23Z0qjIXFWnVDslCkHU8GnsCzL17aY1bi2hdU2Wwcujq4mDCziT?= =?us-ascii?q?F4jnVhoquEwDbPyfn+eRZCM29jRmh5hlLlIIzyhttcQUvsJwQtvBeho0Xgga9B?= =?us-ascii?q?q+A3I2zaR0pUVzruNSd/VKr1tb2PZ8gJ5J5s+ShTS+KxfRWeS6XhixYeyCXuAy?= =?us-ascii?q?1Z3j9/Pzywvpz/kFljlW+GMHd0qmHxdNt0zBHQotvGSroZ0yQLQjVQiD+RGkX5?= =?us-ascii?q?NN2g4M6Il57H9OyzEyqvWdhaayLDyYKbqDD9+GtrRAW2k/2pkNr9F0423Guz2d?= =?us-ascii?q?wvXCPOqwv6aYTu2qKmKspjf1J0Hxn64tFzXI55jM94ipQR0mMyh5OP/HMDiWro?= =?us-ascii?q?d9tBnerwa2AITDpOxtPJ4A/pw2VoNTSVwJj+UGmahMZtep3ybGQM3ys5qsVHFK?= =?us-ascii?q?eT4KdsljAzv0a/twXXff87lT5ZgfUp8nsThckAsw9ryT+SRvgcGlNdPDfEmxWQ?= =?us-ascii?q?6tmi6rhRZX6gN7mskAJwhfiqF/eJpxwaVXrkPt8tFCp99e17MUnQyzvp9Z3kPd?= =?us-ascii?q?DZZtIesFuYnlOIgPVRMNc4kv4ilCNnPmXyp3o40/V9hhtrmdm1pomvKmNj+7i8?= =?us-ascii?q?CwJZNXvoYcJW4Db2kaFVnYCa0sTnEY9gHHAGQpbuUfOAHygTs7HmMQiJCjg1tn?= =?us-ascii?q?aQEPzeAUvX6EBi6nPJHZeDM3CMOGJf1tJ/XhKQKktFjw1SWjgm2tY4GAGy7M3v?= =?us-ascii?q?cV8/4SpX70K84hpJxu9hHxL7U3+ZqAahLDk1DoWHKVxb9UUK5kHZLMeC7/x+Ny?= =?us-ascii?q?VZ5YG6oRaTbHGdbUJDBCVBW0qIGlv/P6ejoMPN6vWVHfaWK/rVfa6Ds/IYSvGC?= =?us-ascii?q?g5mmlsNl/nONMMunI39jSv480E5OW2I/F8md0zYVYy8N0SXXYIrTpw248ycxp8?= =?us-ascii?q?y68fLDVwfm5I/JALxXdZ1r9RutxKaFK+OKiT1lATpTzdUByTnBw/4C3xpajyBl?= =?us-ascii?q?bBG3HK8NvDTGTOTal6tTShoSYTg1P8xNq+o43w9AMNTzgcizzaJxiPAyEVsDWF?= =?us-ascii?q?D83omtYsMLKEm2LxXcGE+NOrOcKXvGz9yzKae7RrxbpOBdqx32pDCaVkXkODLF?= =?us-ascii?q?mzStHxSoPuBHySWaJwB2uIy5aRdrCmmlQtOiIhiyLdN6yCAtzKcvrnjRc3MdLD?= =?us-ascii?q?M6fk9Q6vWV7DFRmLBxHHZc61JgLPuNgWCE8OOeJ5oL9+NvRmxyjv5a5TEn0LZP?= =?us-ascii?q?9wlPX7pohCbCp8Uorl271qGJ1CZmFR5PsSpjj52K+0Nmfe3f6YFcHHfC8hUl6W?= =?us-ascii?q?SLFw9MptxuTNDi/+hXx9fGlYryJiwE78/L/MYaQcHfbsubdDImNF/gHjjTEQ0O?= =?us-ascii?q?QBasLWzZgkVBkLeV7HLR5p88tp/on5UfYrVGWlI8EvRcB0h4WJQaLYttXzUpjf?= =?us-ascii?q?uck8gF/1K7pRjVRMJBotbGUPyVG/DmNDeay6RCZl4IyLbyMJ4ccIH2nwR6blB8?= =?us-ascii?q?kZjJAWLTR5ZKuCIlJhczrE4I6nV6R3E+12rsYQbr52UcUbashBk5zw93Z+sF+D?= =?us-ascii?q?bv/hE7JR6CvDE3kkQ6hZDuiDSabTr8KbqrdYNfAC3+rA0sNJLlThxubBGj20Bp?= =?us-ascii?q?cH/eSrZUjrB7MGRDjQTZsIBTFOQaRqQAKAQdwPiRe/QjzllWgjSuxUhA6vHCFI?= =?us-ascii?q?N50gAtdNrktHNLwB5+d5soPqHKP4JSz1NLwLmD+mez1+842gQeYkMA9WmfYjUg?= =?us-ascii?q?vE0TKqIrPTTu9+dprwuYlH8LY2kDT/Mwuf8v8kImJ8yEzjn8yPhKLEyrOvPZJK?= =?us-ascii?q?aE/WXMiIrAWVI/zkcBkQxM+75xzMEofmKQVlsz17aLCVIAPs+ELhtaK4JJ9XfI?= =?us-ascii?q?dCPLv//MzJR5JK25F/v0VuKUquAdiUfiGxwmW8wX78saF5zp1UzdJ8r9N5YByA?= =?us-ascii?q?4x/wnxOhOMB/EPfwiE1H8cpsX6yJ5swaFWPXcWBHg7PCmqov7MugYkjtKPVt43?= =?us-ascii?q?JGsHQYoJMDQ/U4uzh2oRpGhJAjef3OUD0xme4nnguzvRAT+6ZtElbevQLQhwAd?= =?us-ascii?q?+40TYltbSrll/a9NPXLCfzKZAqptbAwegB4YubBuNdVv9wv1qY05VYSnuwQivG?= =?us-ascii?q?Odq0PITrZpMyK9rzBn+5FFGzlnZ9U8f8O8y8KLSghQDzWZ1Zqpfd2jcvPMz7Gz?= =?us-ascii?q?0DX19stvkO/4p3ZBZFfoI2Zxiuuggjc+SiKQaw39OhWSCqMyBKCfRT0KHyeqda?= =?us-ascii?q?1TEEa+iowWE8C5Yoie6t/gpFWYoHlAqb3eykY45ReSf1BzpaYQqL7TQ6li1lN/?= =?us-ascii?q?0u6usxwxKOvVRYey+Gfulgc3BJpfk1BEiYZ3JsBSwlRBvUkofJ5we3w70I1yZU?= =?us-ascii?q?g91Pl+pfvzy2oZ73aTOiUuq2r5SQsCM6acM8vq18d4DuZoOXvYubgyfSVoL4tg?= =?us-ascii?q?yeTDX8DP1HgNNdLiVCT/QOn2w5fYQUt41b9E8ZXcA7I7VFTq484LmhLydnSWYW?= =?us-ascii?q?yiAYXMaYxjsNmO653rrcmT+UcY8+K1ocsZ5Lnp4ZWih5JCQEq/yNTYLTwkGNQG?= =?us-ascii?q?kMaD8a8R5N9gNIwpd5Yvrk8ovgQJ5FxHhLpfNuVS7CT99p6w2oGSmtnVHkRaD5?= =?us-ascii?q?wKSS1gVIwaepjIFCCUxPTHNFzuMTrXMGbbR+Kq0epInP62/aeULzsyTwzuq8I1?= =?us-ascii?q?xYkIvVaw+hVdaXhS/HSiQZvEYsa8pX0niGRcYekgN2LrstpU9LJYn/PEfitWR9?= =?us-ascii?q?mtZZWoKgXMXu/G4L6HYLQyDwTYhEAuBi9UrYAXhrOsH37priPJpWTylb/5jP81?= =?us-ascii?q?o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DyCgD1bEhbdMLXVdFcDggGAQEBIQEBB?= =?us-ascii?q?QEBgjuBWQ5xKIN7gR2TIIFrBYMXkjoUgRADUwsYAQqESYJPGQcBBDEXAQIBAQI?= =?us-ascii?q?BAQEBARMBCgsMBxsMHAkMgjUkgl8GASEdAQEmBQ0YDTcCAiISAQUBIQEBCREMg?= =?us-ascii?q?w2Bfw+NZpACPIobboEugnEBAQWBAgGGOwgSiHCCFoERhioEGIELBw1UglSCVYd?= =?us-ascii?q?qigiHaQmBD4R7iR2NYYI2iAOHTA8hgSIDgW8OCDMaCDBsBoIyCYV4gm6CJoUEB?= =?us-ascii?q?DUDPTABiUuCSAEB?= X-IPAS-Result: =?us-ascii?q?A0DyCgD1bEhbdMLXVdFcDggGAQEBIQEBBQEBgjuBWQ5xKIN?= =?us-ascii?q?7gR2TIIFrBYMXkjoUgRADUwsYAQqESYJPGQcBBDEXAQIBAQIBAQEBARMBCgsMB?= =?us-ascii?q?xsMHAkMgjUkgl8GASEdAQEmBQ0YDTcCAiISAQUBIQEBCREMgw2Bfw+NZpACPIo?= =?us-ascii?q?bboEugnEBAQWBAgGGOwgSiHCCFoERhioEGIELBw1UglSCVYdqigiHaQmBD4R7i?= =?us-ascii?q?R2NYYI2iAOHTA8hgSIDgW8OCDMaCDBsBoIyCYV4gm6CJoUEBDUDPTABiUuCSAE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.51,347,1526335200"; d="scan'208,217";a="338756445" Received: from mail-pg1-f194.google.com ([209.85.215.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Jul 2018 11:13:40 +0200 Received: by mail-pg1-f194.google.com with SMTP id e6-v6so4810416pgv.2 for ; Fri, 13 Jul 2018 02:13:40 -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=X3gw/mqIaHfOWRiMheZBS1C+PVJXu8ExqpXYE59wJcQ=; b=SjQAIvsZVUSvID3Paom7qu85sgA49enmwehzmewYQGM3Rnc6LYWZCoeAS5tHUeBrpm LpZI2p6wcuA/wSqB8mDN2VCLmSC4gHebbRXFftvxltvfGLNBoiEhpDKLra+kPlCramxs 2lvgiVcZB//sEE0Pn8/I4XtIFfUnpxjJhOleV4AeTPE+wGJ4Vk+c+QEYxyIgESMw+l/C Qda79DOrDdv4O4cD1iZE1tUJDLmUZB84FAy+pBgJ3n7e3zxPux1WziMqoR5kQSwXTneU cHT7ERMb1NM8PigqYcwWWITsikAxN976iGZDemeNX3lH2rEd8TBl1XhVH+niEH+y6YrZ vwwQ== 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=X3gw/mqIaHfOWRiMheZBS1C+PVJXu8ExqpXYE59wJcQ=; b=XtV+9AOuViN3/LALr/n/Fhe0YEA0Mhh+t9DagkGq3R/hvM10cFZ0hTdNTmhXryoWzF wcxtqukd8p2/Ev8GKZnY041Kd2lOX89IMmCo6TzEC6E9wdqLa2eQUYaZMivL0zXxdXEo pj227cpRbtglB1r/LSmDNxxwDvQLQ1FK4s/jr6BZ8OqnKXxMmYhN/ZdUYGSNXLuMkncL ZhazSvPTNp7m6IzYrGggfDh642QHXdScKr8cPi9IV3faWuT1FmqXeoZw9pkbr0mq59xb NKPYtFeaYg9QKbs9sZYPtn2XtcQPHTnfAsWxsXHs950nePhkjcA57GVEHkHr3lyGEZlB OOag== X-Gm-Message-State: AOUpUlHFVz2wRIqHYpOtzyC6rBwS8rpYYlAZM+kjqTwoNy59XsTWrdH0 PaqhwvIpLXvDquQ/gdytOe1IrdA6f1RJPVEm6YEFbw== X-Google-Smtp-Source: AAOMgpcNZ4JF8kAkwYVZjQPxm3nMXG2DMyrW0Q4YK1Xu3jFu7lgN3yVGJVFCO6b5AQg1WfROxhtuvH+aOjEqpnMJefY= X-Received: by 2002:a62:d8c:: with SMTP id 12-v6mr6239881pfn.202.1531473218659; Fri, 13 Jul 2018 02:13:38 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a17:90a:30e7:0:0:0:0 with HTTP; Fri, 13 Jul 2018 02:12:58 -0700 (PDT) From: Fabio Patrizi Date: Fri, 13 Jul 2018 11:12:58 +0200 Message-ID: To: agents@cs.umbc.edu, aixia@aixia.it, algprog@comlab.ox.ac.uk, all@xsb.com, arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es, cade@itu.dk, calendar@computer.org, caml-list@inria.fr, church-announce@cs.bu.edu, church-announce@types.bu.edu, cipher-cfp@ieee-security.org, clean-list@science.ru.nl, cogsci@cs.tcd.ie, colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk, comm-theory@ieee.org, comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, concurrency@cwi.nl, conferences@computer.org, cphc-conf@jiscmail.ac.uk, Constantine Stephanidis , dbworld@cs.wisc.edu, distributed-ai@jiscmail.ac.uk, dl@dl.kr.org, dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov, fmics@inrialpes.fr, formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca, forman@acm.org, formis@dipmat.unipg.it, fp@cs.cmu.edu, games@lists.rwth-aachen.de, gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de, grin-eventi@grin-informatica.it, hol-info@lists.sourceforge.net, ifip@ifip.or.at, imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca, inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de, kr@kr.org, krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.stanford.edu, logic@math.uni-bonn.de, logic-list@helsinki.fi, maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at, om-announce@openmath.org, ontology@buffalo.edu, petrinet-owner@mailhost.informatik.uni-hamburg.de, planetkr@kr.org, 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 Content-Type: multipart/alternative; boundary="0000000000002e81a50570dde5b6" X-Validation-by: patrizi@diag.uniroma1.it Subject: [Caml-list] ACTIONS@KR18: DEADLINE EXTENSION Reply-To: Fabio Patrizi X-Loop: caml-list@inria.fr X-Sequence: 16989 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: --0000000000002e81a50570dde5b6 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable **************************************************************************** DEADLINE EXTENSION 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 beha= viors 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 ***extended to August 4, 2018*** Notification August 25, 2018 ***extended to August 31, 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 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= --0000000000002e81a50570dde5b6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

********************************************************************= ********


DEADLINE EXTENSION


Reasoning about Actions and Processes:

Highlights of Recent Advances


ACTIONS@KR18=C2=A0

http://www.diag.uniroma1.it/~kr18actions/


=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 H= eld 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, s= uch as action sequence executabilty and future effects (projection), to mor= e sophisticated forms of reasoning which share many commonalities with othe= r fields of CS, from verification in Formal Methods to process modeling and= analysis in Business Process Management. Moreover, connections with planni= ng are being extended to other forms of synthesis, such as generalized plan= ning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from th= ese various areas are dispersed across many conferences, which makes it dif= ficult to follow the general direction of the field. Drawing upon a success= ful format followed in other fields (e.g., http://highlights= -conference.org), the workshop aims to offer a wide picture of t= he latest research in the field and a chance to meet everybody in the commu= nity.


Goal
This workshop aims to br= ing together researchers working in a variety of areas of AI and CS -- incl= uding KR, planning, RL, verification, and synthesis -- to foster these emer= ging directions of reasoning about actions and processes.


Format
We invite submissions fo= r presentations, not papers. We welcome a presentation on your favorite rec= ent technical work, position paper, or open problems with clear and concise= formulations of current challenges. The contributed talks will be 15-minut= es long. All sessions will be designed to promote interaction between the a= ttendees 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 pre= sentation. There are no formal proceedings and we encourage submissions of = work presented or submitted elsewhere (no copyright transfer is required, o= nly permission to post the abstract on the workshop site).


Topics of interest inclu= de but are not limited to:

=C2=A0=C2=A0=C2=A0=C2=A0= Reasoning about actions
=C2=A0=C2=A0=C2=A0=C2=A0= Representing and reasoning about processes

=C2=A0=C2=A0=C2=A0=C2=A0Hierarchical abstractions of action mode= ls=C2=A0

=C2=A0=C2=A0=C2=A0=C2=A0Generalized planning
=C2=A0=C2=A0=C2=A0=C2=A0= Verification and Synthesis of high level agent behaviors
=C2=A0=C2=A0=C2=A0=C2=A0= Agent behavior control
=C2=A0=C2=A0=C2=A0=C2=A0= Logic-based representation, action theories, temporal logics, logics of pro= grams
=C2=A0=C2=A0=C2=A0=C2=A0= Stochastic representation, MDPs and Non-Markovian Decision Processes=
=C2=A0=C2=A0=C2=A0=C2=A0= Learning dynamic behaviors, RL

=C2=A0=C2=A0=C2=A0=C2=A0Partial observability, incomplete inform= ation, uncertainty

=C2=A0=C2=A0=C2=A0=C2=A0Reasoning about beliefs, goals and inten= tions
=C2=A0=C2=A0=C2=A0=C2=A0= First-person vs third person view

=C2=A0=C2=A0=C2=A0=C2=A0Plan, intention, and activity recognitio= n
=C2=A0=C2=A0=C2=A0=C2=A0= Transparency, predictability and accountability of agents=E2=80=99 behavior= s


Both theoretical and application-oriented contributions are welc= ome.

Papers can be submitted = via EasyChair:

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


Important Dates


Submission July 21, 2018 *= **extended to August 4, 2018*** Notification August 25, 2018= ***extended to August 31, 2018***

Workshop =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0October 28 &a= mp; 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

=
=
--0000000000002e81a50570dde5b6--