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 97D8B5D4 for ; Mon, 30 Jul 2018 14:51:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,422,1526335200"; d="scan'208,217";a="340746495" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jul 2018 16:51:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4FD69824BF; Mon, 30 Jul 2018 16:51:39 +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 E3FF082486 for ; Mon, 30 Jul 2018 16:42:53 +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-qt0-f193.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ADO7QJhJ9oy0Bt7yAzNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgVKfj+rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvdxeb7TfdQARWpdQMleSjBPDZ2g?= =?us-ascii?q?YIsOF+oNI/tTo43yqlcSqBezAxSnCuHyxT9SnnL43aM03ec8Hw/YwAMtBMgBvG?= =?us-ascii?q?jOodjvKKseTeK4wa/VxjvDdfNW3jL95ZDIfB87uv6MXLVwetfLx0Y1CwPFlFSQ?= =?us-ascii?q?qI3kPziI0ekNq3KU7/Z6VeKuim8nqhp8rSWuxsg2hYnFnJ8VylbF9SVjx4Y1IM?= =?us-ascii?q?e3RFNhbd6lDJtdrieXPJZ4TMMlRmFnoic6yrsetJGlZicK05QmyALfa/OdcoiI?= =?us-ascii?q?+AjvVOGLITd3nH5leLO/hxmy8Uiky+38Wcm00EpRriZcjtbMsXYN1xLN5cidVP?= =?us-ascii?q?R9+Fuu1iiV2wDU8OFELlg4lbfdK54g2L4wkZ8Tvl7eEiPsmUX2kKmbfVgn9Oiw?= =?us-ascii?q?8+nrfKnqq5uGO4J3igzyKLoiltG+DOgiLwQDW2aW9OKh37P550L5Wq9Fjvgun6?= =?us-ascii?q?nZrp/aIcMbq7a8AwBP04Yj7w+zDy660NgEhHUHIk9JdRaJgoTzNFHOJ/f4Dfi7?= =?us-ascii?q?g1uyijtk2/fGPrj5DpXMKHjMjqvhcK5j50JAzAc/19NS6pJOBr0fPf7+W1X9uM?= =?us-ascii?q?HcAxI3KwC0xvzoCNR51oMQQ2KPBaqZPbvKsVCS+uIvOeiMZY4UuDvmNvcl5uTh?= =?us-ascii?q?jXAjlV8Ae6mp3IEXaHe9Hvt8PkmVe3vsgssZHWcQogU+VPDqiEGFUTNLe3m9Ra?= =?us-ascii?q?c85jUiBIKiDIfDXZytjaea3Ca7G51WfnpJBkqNEXfubYWEWu0DZDicIs97wXQ4?= =?us-ascii?q?Uu2oRIInyQqGvxS81r9tJazZ9jBc/ZvixNl8z+TShRA7sz1oS4yU126VVWZ7tm?= =?us-ascii?q?gPQjs/1uZ4sQp0wRGe0uwwivhcPcxI7bVCVQJ+fZfG0KlxDNX3Wx7dc9qhQ02t?= =?us-ascii?q?BNGnH3c4RZQswJtGaU93FtHngQrEwjKCCbYfmrjNAIdy/KOawmD0Yctmjz7N3a?= =?us-ascii?q?Usp1g6X41DNinujad7+g7fDpThmEKcj7u2eL5a2zTCsC+IxG+K+UVZSxJYUKPf?= =?us-ascii?q?XHlZaFGS5d/5+1nJT/qnD7IgLw1KxOaJMe1Ad5vkgUgCDPzjJc7VYye4nWG3GB?= =?us-ascii?q?CDy5uQfZLnYCMXwWPQBFVA2wsS5XaLL001CD+Jom/TAXl1GFnyeULw4K95snz/?= =?us-ascii?q?BkQwwgiMKklgzKad4RUUiPqXRrUJw/QCvGNpoDJ7B12899nNTcaLq0xgceEUat?= =?us-ascii?q?Q551hB2H7xqgdseJWraatzwhYVdAFztknG3BJyDoxK18866nohihdxbeqT11ZE?= =?us-ascii?q?Mi+Y0JfqK5XWJ2T/uhe1ZOqe0VbbyJOS86EArfE8g1DksAyzH1Yl6W4h0sJelX?= =?us-ascii?q?yG6dGCBw0XSZb2XW487F58oqrHJCQx+sec3nppKbOzohfO3NlvBeBjwx3mYtQb?= =?us-ascii?q?eKiDEgTvCdcXAcO/AOc1mh6valZMN+dU+qMuMsWteuCu06muJPt8kSjgin5IpM?= =?us-ascii?q?h2ykKHsiF7TODg3ZceyPSR3w/BXjy6kVTl+uvwn5tYbDcOH2yygRP4CZZRb6tz?= =?us-ascii?q?cYcQQTOlOOW2zc44iZn3R34e+0T1QxsK0tCuYx6eR1fmmxJRzk9RrHC63WO0zi?= =?us-ascii?q?doiTAjs7aS0GnHwszgdQEMP2dKQC9rhhHxIsz8g9QyUEzubBJvkwGqoQ72wqFd?= =?us-ascii?q?qbhXPXHJB1pOfm31KGxmVO28u/7KbspU7p409CFWS/iUbFSBTLPh5RwA3GerEn?= =?us-ascii?q?FazTY0Mii3t47lnht8k0qQNnJ6qnWfftt/gV/S+tHaWdZQ2HwaWWxzjTDKHUS8?= =?us-ascii?q?Nt3v8djQ35nM9+mkXEqlV4ZPam/2y4LFrCK36HdgBge52fy+3pXpFE0z1yn8yt?= =?us-ascii?q?9hWCDFqgrnSo3qzLihd+RuZUAuC1jir4J0H4B1iaMxgosR0HwCi47T82BD2Wn0?= =?us-ascii?q?K9BS3ef7YWYNQjIQ69XOphTiwkplMnXPyo7kEj2TxdFkbt3/Z24K2iUx9OhBE+?= =?us-ascii?q?GJ8Ltemi1ppRyzpEaZb/9nmz4b4fIl7Tgdme5N8AQq1CCcGZgeHFFdNDCqihKJ?= =?us-ascii?q?99/4rbkTLGi3WbOrkkF7gJasAKzG6g5VXXviUpMjBjNrqN9gLFKJ2XT46oziPt?= =?us-ascii?q?XdKZocqxmM1h7Ei8BEIZI2kfUQgjd/IiT2unhhg+EhjDRv25+9po2ON2Ruur+/?= =?us-ascii?q?A1tCMSbpYMgQvD3gye5RhMeQmo2xE5N9Gx0ERpruCPOuHjUIsP37Ng2HVjwg7j?= =?us-ascii?q?+bHr6aHAmR729irmnTCNawMGyNL3QXys9tSV+bKVAbyAEaXS0Sn5A4Dkat3oro?= =?us-ascii?q?bAMx5zUd61fQoR9N0qRkNhC5XGaZuR+tLDovDNCeKhZL5R1D+Ur9Nc2F8vl+BT?= =?us-ascii?q?8e45ur6geEbiSaYQhVBn0IREHBHV36I7S1+fHE8vOEHeekMb3TZ7/IouUaH/SJ?= =?us-ascii?q?gJOp3KN7+TfJNcKFOnRkHbs31w4LXmpRGN6fnC8AD2QUjSbEZYiSqBK9/AV4q8?= =?us-ascii?q?m+9LLgXwerrY+BAKAXMNNz9gq7mrurO+WLwit1bz9TkI4PgTfMybME9EQfkCxn?= =?us-ascii?q?bTKtV74NsSqISKvagelcCBtfIydyMsZB9Yo3xU9WJcfdhNTv2vh1guNxQ1NCWl?= =?us-ascii?q?3qssqyI9cWKmezM0nLQkuHKfDOITrEwsrfZKqgSftNiuQRvRq2v3CXHgurOjOM?= =?us-ascii?q?ljKsUxG0LclMgSWAPRpducezc1IlDGH+QN+jdwa2KsRfhiZw3LwpjTXHOXNYeT?= =?us-ascii?q?19YUpX67OX9z5dqvB+CWVbqGd6J6+Jlzvf9+2cYpAPrftuRzlvmvhByH8hjaZJ?= =?us-ascii?q?4TFNX7p4lDaW5thwv1DjluiU1hJsTxsIrDIPzISUpVknOKPX8bFEWG3Y51QM6m?= =?us-ascii?q?7WBhlO79xoBdTuk6Fe0Z7Tib3yJTEE+tmS9NdYT8/RbcuBNn08NxHkMDnMAQ0A?= =?us-ascii?q?RCKrc2bFiAgVl/eO8XmSoYkSoIXilpMKTflWWEFxXusXFl5kGtEeZZBoWD4+ub?= =?us-ascii?q?uSjcoI4mGi6hjXSsJAu5nbV/HUHPPubTaQiLNZfRROzb68ZZwXP4v2x094Qlpg?= =?us-ascii?q?2oPQFA6YRddBqWh7Yws9vEhB2HF1Sys0wU2hIhu353BWEfeykTY6iwhjJ+gusH?= =?us-ascii?q?/0+VA1K1HW4SA5lEIsndjgnCu5cjf6K62rGJxQCjT5rVMwLoK9TwsxJRe/mUll?= =?us-ascii?q?PyyBQ5pUhL5pbnxmkknXsN8HAvNZRKtYYRQPyPu/dvwo1lNTsCK63VQB7uzATd?= =?us-ascii?q?N5lQAxbYO36m9b1hh4RMU0LreWP6cNhkNRiauUtS/t0+00ygIEPG4J8XiOYyMS?= =?us-ascii?q?pgoBPbxgIDCnuqR36AOakiFYdS0IVuE2ivZr7V8mfe2GwzjtzPhIL133OuCCa+?= =?us-ascii?q?uCumfYkceOB1o20EQVkUJI1bx3yts4flCKEUkkyf2WDRtNfdHDJhpcao9c7nne?= =?us-ascii?q?eyqVmeHM2o5uMp+jUOnjSKmJrqlQylmlEx0gGsEJ48ELE4O3+EXZNtv8IaQbjx?= =?us-ascii?q?wm4ULsPlrBRO9MfFePkSwbi8qkipRywM9QKixZSX5hOCu5zrrdrw5snOecXdow?= =?us-ascii?q?JH4RGIIYcjotRMS0lQZXuG5bHSW6lP4E1wmP6Xn1rWLZEH20dMZqavm8ZgkqFM?= =?us-ascii?q?yp+Dg5taG9z1fLtt3CLm7SPs8kp8PC+eoB4ZuLFrccUblwtF3N3oBwQ32xT3XC?= =?us-ascii?q?C8DzIZ/8YopqYNDpTj6mUlG4kSMzU+/1Pc2xNaWSn0fuQopds8+W0C1nfdOsDj?= =?us-ascii?q?wFMxxxvKce/K96Y0sOb4d/KQPhtiwzMaOlZgCCycnoTmqwbXNLVPRF1s2/YK5e?= =?us-ascii?q?1TZpaf38z2EvCtkn1OSt6gsVXpYOiR72yvC+IY5EXmy7BH9cPgHOvjYRm2ZiN6?= =?us-ascii?q?A+z6N33x7CtFAHLz2RXOVoc2YCuMszQ06RZT1pB2A9TkSAgJDr7wew1KtU+DFS?= =?us-ascii?q?255L0MVMsXb0+ILZYXevUbavso/IsydmYdVi67x4Kcn+Ocacr7vanyfDV9/LtR?= =?us-ascii?q?CfWyO0EOBVl55WLT4cCOtGnns4POQNvo9F4EB3Udd4LrcJFapo7rStZjtvSDYI?= =?us-ascii?q?yiADXoaF3ToNquO9wKfB0A+Re50+dRgNtpoEhcESAABsZSZLiqapVoKer2aYUG?= =?us-ascii?q?kZIU9H9Q1Q/gMSl6d8f+nqppfOTYVLzjcP5fNoBHiYXqJ0/kf2HznFyWPzT++s?= =?us-ascii?q?xqn3hVsDnsKp6cESXVtEMWYYwu9XkkUyL7Que/scv4fF9CKOdFn9uWu0juq6dg?= =?us-ascii?q?AIlZ/kMmbgBY+AjlLSFzUG8CREF4NOwX6ZCJITiQ18Yf9tpUkeeNn7KHa73CQt?= =?us-ascii?q?wsFSJ5f9Vc2vwAx7/3MPRiPvCsYZTu8/4QmRVzpibJSm7p7iPscKTw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C3BwDoD19bdMHYVdFbDggIASMHgj+BW?= =?us-ascii?q?g5xKIN+YjuTJYFrBYMcklIUgRADUwsYAQqDEoE3gxUZBwEEMhYBAgEBAgEBAQE?= =?us-ascii?q?BEwEKCwwHGwwcCQyCNSSCXwYBGwYdAQEHHwUNDQsNNwICGwcSAQUBIQEBCREMg?= =?us-ascii?q?w2Bfw+PUZACPIobboEugnQBAQWBAgGGQwgFDYhwF4IAgRKGLQQYgQwHDVSCVIJ?= =?us-ascii?q?Vh3yKFogACYERhQaJII4JgjuIFYdYDyGBJwSBaQ4IMxoIMGwGgjIJgWyEDIJug?= =?us-ascii?q?iaFBAQ1Az0wAY0DgkkBAQ?= X-IPAS-Result: =?us-ascii?q?A0C3BwDoD19bdMHYVdFbDggIASMHgj+BWg5xKIN+YjuTJYF?= =?us-ascii?q?rBYMcklIUgRADUwsYAQqDEoE3gxUZBwEEMhYBAgEBAgEBAQEBEwEKCwwHGwwcC?= =?us-ascii?q?QyCNSSCXwYBGwYdAQEHHwUNDQsNNwICGwcSAQUBIQEBCREMgw2Bfw+PUZACPIo?= =?us-ascii?q?bboEugnQBAQWBAgGGQwgFDYhwF4IAgRKGLQQYgQwHDVSCVIJVh3yKFogACYERh?= =?us-ascii?q?QaJII4JgjuIFYdYDyGBJwSBaQ4IMxoIMGwGgjIJgWyEDIJugiaFBAQ1Az0wAY0?= =?us-ascii?q?DgkkBAQ?= X-IronPort-AV: E=Sophos;i="5.51,422,1526335200"; d="scan'208,217";a="340745336" Received: from mail-qt0-f193.google.com ([209.85.216.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jul 2018 16:42:52 +0200 Received: by mail-qt0-f193.google.com with SMTP id f18-v6so12297510qtp.10 for ; Mon, 30 Jul 2018 07:42:52 -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=xEBXsSMTaYAnRVyZQUq7Vjgxo0uz7K8B1L9u4YCsANU=; b=VOr83ZB6aLprUXBwpa8rUrm3iEvz8RUNG7+U9HxqJpKUi9VdvPcyHl9/gr7hBAmc3s hR4eVNp0m35qXhlnGjHL6QXMurLnOt3x1dsEuEt3wZbaUOOrQXTiMPER99qAWmZMxz9J 9t5GMPRGLUR2CLwxRakBnXIjV03LE1P/uQ8GwudVjEph2EXRJHB8sJeAhubRk/PuOX9w bpnU3NZH0fCVo+dnLbUhEUjyeOPnj0HgoPEfuP3QjZnvH3Y7CIgz7KOik0k1uCQtILUw lJPb1hF9OnqzZwQfcab2hXx7G5o+DAj7ixhz08EuXzUunWGhW2noyTbBd10OwQtLMOIF 1xyg== 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=xEBXsSMTaYAnRVyZQUq7Vjgxo0uz7K8B1L9u4YCsANU=; b=DOZtMwXgr/aXlP4oxyFFsZU7A8pshoTo6L/RhawGyDHOj84aUJA81j0huXaP7M8Ivn jkvqm48UYFQXbwPFI3Ml0aBDKqrMGQE9eIC3oI8Sq20mdW5cAXC6Q5unrsriGOwf2IUr jwG9XmpEbT8wba2j1ImzAxF0Avy5kk5J1ok8ofsXZlU5PwUTkMUj1fD1Ly1bfMsZ+Ry+ VaNuSCGJuLBTsxY0S3RFVbE6Hj+547aCSADi1pUwSvf4SYQ8AtHjPZfYwddVHsNsl4gu kBqyLa+COVOFdPZCRNU1w/h978V9xFR6IEhsHj60quBMjDQaxPbFD19jMGU3kG5+/sKa 8iAQ== X-Gm-Message-State: AOUpUlH97/xDwNOR+a40zdNxjxagorVlh22qf/V+7TAb3g4jrNta73q7 B1BIbaNpgtoyeZ5Miy50dqcYCGQl/KZUvdzSMmuTdw== X-Google-Smtp-Source: AAOMgpfw+pqCtSz2tmA1EJoKprVZFk20ke8d94hvMNisBEt0ygnwzENYEHKEj/8QCyBBzpI7sFZG7By6cn7nWVxjk5w= X-Received: by 2002:aed:3c55:: with SMTP id u21-v6mr17052582qte.198.1532961770968; Mon, 30 Jul 2018 07:42:50 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a0c:f604:0:0:0:0:0 with HTTP; Mon, 30 Jul 2018 07:42:10 -0700 (PDT) From: Fabio Patrizi Date: Mon, 30 Jul 2018 16:42:10 +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="000000000000d0301f05723879da" X-Validation-by: patrizi@diag.uniroma1.it Subject: [Caml-list] ACTIONS@KR: LAST CALL FOR CONTRIBUTIONS Reply-To: Fabio Patrizi X-Loop: caml-list@inria.fr X-Sequence: 17020 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: --000000000000d0301f05723879da Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable **************************************************************************** LAST 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 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 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= --000000000000d0301f05723879da Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

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


LAST CALL FOR CONTRIBUTIONS


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 Held as part of KR 2018, October 28 &= amp; 29, 2018, Tempe, Arizona (USA)


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



The field of Reasoning about actions, a fundament= al area of KR, is expanding to incorporate research from a wide range of ot= her areas of AI and CS. In recent years, we have moved from standard forms = of reasoning, such as action sequence executabilty and future effects (proj= ection), to more sophisticated forms of reasoning which share many commonal= ities with other fields of CS, from verification in Formal Methods to proce= ss modeling and analysis in Business Process Management. Moreover, connecti= ons with planning are being extended to other forms of synthesis, such as g= eneralized planning, MDPs/RL, supervisory control, reactive synthesis, etc.= Papers from these various areas are dispersed across many conferences, whi= ch makes it difficult to follow the general direction of the field. Drawing= upon a successful format followed in other fields (e.g.,=C2=A0http://highlights-confe= rence.org), the workshop aims to offer a wide picture of the lates= t research in the field and a chance to meet everybody in the community.


Goal
This workshop aims to bring togeth= er researchers working in a variety of areas of AI and CS -- including KR, = planning, RL, verification, and synthesis -- to foster these emerging direc= tions of reasoning about actions and processes.

<= span style=3D"color:rgb(0,0,0)">
Format
We invite submissions for presentations, not papers. We w= elcome a presentation on your favorite recent technical work, position pape= r, or open problems with clear and concise formulations of current challeng= es. The contributed talks will be 15-minutes long. All sessions will be des= igned to promote interaction between the attendees by holding frequent disc= ussion periods for analysis and critique. The workshop will also have panel= sessions on important emerging issues for the field and longer keynote tal= ks.


S= ubmissions
Submissions should ha= ve 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 intere= st include but are not limited to:

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

=C2=A0=C2=A0=C2= =A0=C2=A0Hierarchical abstractions of action models=C2=A0

=C2=A0=C2=A0=C2=A0=C2=A0Generalized planning
=C2=A0=C2=A0=C2=A0=C2=A0Verificati= on and Synthesis of high level agent behaviors
=C2=A0=C2=A0=C2=A0=C2=A0Agent behavior control
=C2=A0=C2=A0=C2=A0=C2=A0Logic-based represent= ation, action theories, temporal logics, logics of programs
=C2=A0=C2=A0=C2=A0=C2=A0Stochastic representati= on, MDPs and Non-Markovian Decision Processes
=C2=A0=C2=A0=C2=A0=C2=A0Learning dynamic behaviors, RL

=C2=A0=C2=A0=C2=A0=C2=A0Partial obse= rvability, incomplete information, uncertainty

=C2=A0=C2=A0=C2=A0=C2=A0Reasoning about beliefs, goals and= intentions
=C2=A0=C2=A0=C2=A0= =C2=A0First-person vs third person view

=C2=A0=C2=A0=C2=A0=C2=A0Plan, intention, and activity recognition=
=C2=A0=C2=A0=C2=A0=C2=A0Transpa= rency, predictability and accountability of agents=E2=80=99 behaviors


Both theoretical and application-oriented cont= ributions are welcome.

Paper= s can be submitted via EasyChair:

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


Important Dates


Submission=C2=A0 July 21, 20= 18 ***extended to=C2=A0August 4, 2018***=
Notification=C2=A0 August 25, 2018 *= **extended to August 31, 2018***

Workshop =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0October 28 & 29, = 2018


Invited Talks

To be announced.


R= egistration

For registration d= etails see KR 2018 website.


Organizing Co= mmittee

Giuseppe De Giacomo=C2= =A0 University of Rome "La Sapienza"= ;

Andreas Herzig IRIT, CNRS, Universit=C3=A9 Paul Sabatier

Yves Lesperance Yo= rk University

Marco Montali Free University Bozen-Bolzano

Fabio Patrizi Uni= versity of Rome "La Sapienza"

Sasha Rubin University of Naples &q= uot;Federico II"

Siddhart= h Srivastava=C2=A0 Arizona State University

=
=
--
Fabio Patr= izi
Dipartimento di Ingegneria informatica, automatica e gestionale &qu= ot;A. Ruberti"
Sapienza Universit=C3=A0 di Roma
Ro= om B214
Via Ariosto, 25 - 00185 Rome, Italy
Phone: +39 = 06 77274073
--000000000000d0301f05723879da--