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 ESMTP id 522F31E5 for ; Thu, 9 Jan 2020 13:25:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,413,1571695200"; d="scan'208,217";a="430621150" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jan 2020 14:25:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6D8FF7F3CE; Thu, 9 Jan 2020 14:25:39 +0100 (CET) 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 E215F7F214; Thu, 9 Jan 2020 13:57:06 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=taravanis@upatras.gr; spf=Pass smtp.mailfrom=taravanis@upatras.gr; spf=None smtp.helo=postmaster@nic.upatras.gr IronPort-PHdr: =?us-ascii?q?9a23=3Aa2WDWhZyJajCxXJwBdGq7PL/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs28bnLW6fgltlLVR4KTs6sC17ON9fq+ACdauN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6txvdu8gLjYdtNKo91wbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDE+7GzahNB8gL9CrB69uhB03orYbJyVOfZ7eK7WYNEUSndbXstJWCNOHo2y?= =?us-ascii?q?YYsRAeQcOuZWrIb8qFUVoBSkGQWsBvnixiNSi3L026AxzuQvERvB3AwlB98Cvm?= =?us-ascii?q?rarNXrO6cVX+C61q/IzTTYb/hL2jnx8pXDfww7of6WQ7J/a8zRyUg0Fw/Lk16d?= =?us-ascii?q?rpDlMCmP1usXrWiU9exgVeO0i2M8tgFxuiKgxts2iobTnYIZ0F/E9T9gzYszON?= =?us-ascii?q?a2Rkl7Ydu+H5tRsSGXL5Z2QsUjQ25zuSc20LwGuYK9cSMXy5on3wbSZ+GHfoSU?= =?us-ascii?q?+B7vSemcLStiiH54Zr6ygwy+/Ea8xuHkS8W50EpGojBYntTDqnwBzQHf5taDR/?= =?us-ascii?q?dn8UqtxDCC3B3J5O5eO0A7j6/bJoYhwrEukpoTtlzOHin3mErqlqOWa10k9fK0?= =?us-ascii?q?6+T9eLrmvYWQN4Buig3mM6QunNKwAfggPwQTX2WX5f6w2KDs8EHlWrlGk+M6n6?= =?us-ascii?q?3DvJ3UOcgXvqu5DBVU0oYn5Ra/FTCm0NEAkHkbNl1FYgiIj5bzNFHIIfD4Fuyy?= =?us-ascii?q?g0m0kDhx2/DGJKfuAo7XInjMirftZax95FJEyAov0dBf4IpZBasbIPL8R0/xsc?= =?us-ascii?q?LXDhklMwOu3+bnCdJ91oUCVmKIB6+ZKL3dsUOJ5uIzIumMY4kVtS3mK/kl4v7u?= =?us-ascii?q?lWU2lUUcfamvx5sXaWq3Eu5oI0WDeXDsmMsOEX8WvgoiS+znkEGNXiRWZ3a2Rq?= =?us-ascii?q?484jA7CJm6DYrYXYCsgLmB3D+hEZFMZ2BGDEqMEXbyeImeVfcMcnHaHsg0jjUe?= =?us-ascii?q?XKaoTY46/Qy2vRPgwqEhIfCH1DcfsMep6Nh44OPakxApvR0yR+2H2n+ESWBv1C?= =?us-ascii?q?tcWzYs1b52p01m4kqb2LRiiuceGsYFtKABaRszKZOJl78yMNv1QA+UJ4rQFASW?= =?us-ascii?q?B+6+CDR0deofhscUah8nSci6hwzZ1jHsDKVHz+XaVqxxybrV2j3KH+g4zn/H0K?= =?us-ascii?q?c7iFx/GJlSLWS6nKdksQfJVdeQzhep0p2yfKFZ5xbjsWeOyW3X4hNeUQU2TL3M?= =?us-ascii?q?QWoWfQ3Zt4ah6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0COjQDRIhdebR6BjJZmHQEBDAErBQUBD?= =?us-ascii?q?QkBgUIFAQMBgSIbAgEBAQEBYmxWMRYUhAmBEYcUXoYQgS2CCZgXE4FnCQEDAQw?= =?us-ascii?q?fEAEBhQ4BBIEcHAcBBDgCDQIQAQEEAQEBAgECAwQBEw0VB4VnDIIpEgyDOwZFJ?= =?us-ascii?q?UkCeoMfgnoGqxiBMoQ6AYEUhHAGgTQCAQEBAQEBAYh1gx0agUE/hWaDCRWDN4J?= =?us-ascii?q?eBI1SoVgHA4I2hzaOZCOCR5gbAYRBi0Uahw6QV4FmgTFPgWOBH4MOTxgNV4xTh?= =?us-ascii?q?kmHZ0ABMo4kgkMBAQ?= X-IPAS-Result: =?us-ascii?q?A0COjQDRIhdebR6BjJZmHQEBDAErBQUBDQkBgUIFAQMBgSI?= =?us-ascii?q?bAgEBAQEBYmxWMRYUhAmBEYcUXoYQgS2CCZgXE4FnCQEDAQwfEAEBhQ4BBIEcH?= =?us-ascii?q?AcBBDgCDQIQAQEEAQEBAgECAwQBEw0VB4VnDIIpEgyDOwZFJUkCeoMfgnoGqxi?= =?us-ascii?q?BMoQ6AYEUhHAGgTQCAQEBAQEBAYh1gx0agUE/hWaDCRWDN4JeBI1SoVgHA4I2h?= =?us-ascii?q?zaOZCOCR5gbAYRBi0Uahw6QV4FmgTFPgWOBH4MOTxgNV4xThkmHZ0ABMo4kgkM?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.69,413,1571695200"; d="scan'208,217";a="430615933" X-MGA-submission: =?us-ascii?q?MDEEKFdRhv1Q/9xJouIqGYmacHUtdc9gToT+eJ?= =?us-ascii?q?X2U6KzzOP0g3uc6vOacmHJcsBc/L80hy/ndvzV8j6jGlXTfAuPrYlLGB?= =?us-ascii?q?g4pGm4yI0f7ABXwXjMg7u2PYW7f7egy0FYEUNQ2JRqZCYlbYF/VkLZ/0?= =?us-ascii?q?Fi8AGbeD6Rn+uJZp0A1/hzKQ=3D=3D?= Received: from nic.upatras.gr ([150.140.129.30]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Jan 2020 13:56:20 +0100 Received: from localhost (nic.upatras.gr [127.0.0.1]) by nic.upatras.gr (Postfix) with ESMTP id 2B36E27589B; Thu, 9 Jan 2020 14:56:19 +0200 (EET) X-Virus-Scanned: amavisd-new at upatras.gr Received: from nic.upatras.gr ([127.0.0.1]) by localhost (nic.upatras.gr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id r3LpvHFbF6kU; Thu, 9 Jan 2020 14:55:56 +0200 (EET) Received: from mail.upatras.gr (patreas.upatras.gr [150.140.129.29]) by nic.upatras.gr (Postfix) with ESMTPS; Thu, 9 Jan 2020 14:55:56 +0200 (EET) Received: from mail1.upatras.gr (peacock.upnet.gr [150.140.129.41]) by mail.upatras.gr (Postfix) with ESMTP id 60F03593DF8; Thu, 9 Jan 2020 14:55:54 +0200 (EET) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_c159bdc25b7ddf28648832440a37363b" Date: Thu, 09 Jan 2020 14:55:56 +0200 From: "Theofanis I. Aravanis" To: taravanis@upatras.gr Organization: University of Patras Message-ID: <6ff9e2ae9d55ce5cb454d8260244bfb2@upatras.gr> X-Sender: taravanis@upatras.gr X-Orig-Sender: up1052056 User-Agent: Roundcube Webmail/1.3.4 X-Validation-by: taravanis@upatras.gr Subject: [Caml-list] CFP - KR2020 & Robotics Reply-To: "Theofanis I. Aravanis" X-Loop: caml-list@inria.fr X-Sequence: 17939 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: --=_c159bdc25b7ddf28648832440a37363b Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Call for Papers **Special Session on Knowledge Representation and Robotics** at the 17th International Conference on Principles of Knowledge Representation and Reasoning September 12-18th, 2020 Rhodes, Greece https://kr2020.inf.unibz.it/ ------------------ Important Dates ------------------ Submission of title and abstract: 4 March 2020 Paper submission deadline: 11 March 2020 Author response period: 4--6 May 2020 Notification: 27 May 2020 Camera-ready papers: 24 June 2020 Conference dates: 12--18 September 2020 ------------------ "The key problems in robot capability yet to be solved are those of generalizable knowledge representation and of cognition based on that representation. How can computer memories represent knowledge to be retrieved by memory-based methods so that similar but not identical situations will call up the appropriate memories and thoughts?" Gill Pratt As Gill Pratt suggests, knowledge representation is a key towards equipping robots with true cognition skills. In this special session, we invite contributions that extend the state of the art at the intersection of knowledge representation and robotics. We especially encourage contributions in integrated and interactive systems (e.g., systems that sense and reason), and contributions that include evaluations on physical robots (single or multiple). Papers are solicited in all areas, including, but not limited to, one or more of the following: -- Knowledge representation and reasoning (KR) for Robotic Cognition -- Grounding knowledge in sense-plan-act loop -- Belief merging, information fusion for robotics -- KR for Autonomous Robot Architectures -- KR for Robotic Navigation and Manipulation -- KR for semantic maps -- Ontologies, and ontological representations for robotics -- Robotics and the Semantic Web -- Qualitative reasoning, and reasoning about physical systems for robotics -- KR for Human Robot Interaction and Communication -- KR for plan/intention recognition -- KR for human-robot dialogue planning and understanding -- Reasoning about knowledge, beliefs, and other mental attitudes of robots/humans -- Commonsense reasoning for robotics -- KR for Robotic Planning -- KR for Hybrid Reasoning (over discrete/continuous spaces) -- Combining logical/probabilistic, qualitative/quantitative representations/reasoning methods -- Geometric, spatial, and temporal reasoning for robotics -- Action languages for robotics applications -- Reasoning about actions and change in robotic domains -- Reasoning about actions connected to Control Theory -- KR for Robot Plan Execution and Monitoring -- Belief revision and update for robotics -- Explanation finding, diagnosis, causal reasoning, abduction for robotics -- Stream reasoning for robotics -- KR for Multi-Robot Systems -- KR for task allocation for robots, coordination of robots -- Combining KR in the lab and Robotic applications -- KR for Service Robotics -- KR for Cognitive Factories -- KR for Warehouse Robots -- KR for Autonomous Vehicles -- Computational aspects of knowledge representation and reasoning in robotics applications ------------------ Information for Authors ------------------ The Special Session on KR & Robotics will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to Authors Guidelines for KR2020. The special session emphasizes KR & Robotics, and welcomes contributions that extend the state of the art at the intersection of KR & Robotics. Therefore, KR-only or Robotics-only submissions will not be accepted for evaluation in this special session. Submissions will be rigorously peer reviewed by PC members, who are active in KR & Robotics. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. ------------------ Chairs ------------------ Michael Beetz (University of Bremen, Germany) Friedrik Heintz (Linköping University, Sweden) --=_c159bdc25b7ddf28648832440a37363b Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

Call for Papers
**Special Session on Knowledge Representation and R= obotics**
at the 17th International Conference on Principles of Knowle= dge Representation and Reasoning

September 12-18th, 2020
Rh= odes, Greece

https://kr2020.inf.unibz.it/

-----------= -------
Important Dates
------------------
Submission of tit= le and abstract: 4 March 2020
Paper submission deadline: 11 March 2020=
Author response period: 4--6 May 2020
Notification: 27 May 2020<= br />Camera-ready papers: 24 June 2020
Conference dates: 12--18 Septem= ber 2020  
------------------

“The key problems = in robot capability yet to be solved are those of generalizable knowledge r= epresentation and of cognition based on that representation. How can comput= er memories represent knowledge to be retrieved by memory-based methods so = that similar but not identical situations will call up the appropriate memo= ries and thoughts?”
Gill Pratt

As Gill Pratt suggests= , knowledge representation is a key towards equipping robots with true cogn= ition skills. In this special session, we invite contributions that extend = the state of the art at the intersection of knowledge representation and ro= botics. We especially encourage contributions in integrated and interactive= systems (e.g., systems that sense and reason), and contributions that incl= ude evaluations on physical robots (single or multiple).

Papers = are solicited in all areas, including, but not limited to, one or more of t= he following:

-- Knowledge representation and reasoning (KR) for= Robotic Cognition
-- Grounding knowledge in sense-plan-act loop
= -- Belief merging, information fusion for robotics   
-- KR = for Autonomous Robot Architectures
-- KR for Robotic Navigation and Ma= nipulation
-- KR for semantic maps
-- Ontologies, and ontologic= al representations for robotics
-- Robotics and the Semantic Web &nbs= p;
-- Qualitative reasoning, and reasoning about physical systems for = robotics   
-- KR for Human Robot Interaction and Communicat= ion
-- KR for plan/intention recognition
-- KR for human-robot di= alogue planning and understanding
-- Reasoning about knowledge, belief= s, and other mental attitudes of robots/humans  
-- Commonsense r= easoning for robotics
-- KR for Robotic Planning
-- KR for Hybrid= Reasoning (over discrete/continuous spaces)
-- Combining logical/prob= abilistic, qualitative/quantitative representations/reasoning methods
= -- Geometric, spatial, and temporal reasoning for robotics   = ;  
-- Action languages for robotics applications  
-- = Reasoning about actions and change in robotic domains
-- Reasoning abo= ut actions connected to Control Theory  
-- KR for Robot Plan Exe= cution and Monitoring
-- Belief revision and update for robotics =  
-- Explanation finding, diagnosis, causal reasoning, abduction= for robotics   
-- Stream reasoning for robotics
-- KR= for Multi-Robot Systems  
-- KR for task allocation for robots, = coordination of robots
-- Combining KR in the lab and Robotic applicat= ions
-- KR for Service Robotics
-- KR for Cognitive Factories
-- KR for Warehouse Robots
-- KR for Autonomous Vehicles
-- Com= putational aspects of knowledge representation and reasoning in robotics ap= plications    

------------------
Informatio= n for Authors
------------------
The Special Session on KR & = Robotics will allow contributions of both regular papers (9 pages) and shor= t papers (4 pages), excluding references, prepared and submitted according = to Authors Guidelines for KR2020.

The special session emphasize= s KR & Robotics, and welcomes contributions that extend the state of th= e art at the intersection of KR & Robotics. Therefore, KR-only or Robot= ics-only submissions will not be accepted for evaluation in this special se= ssion.  

Submissions will be rigorously peer reviewed by PC= members, who are active in KR & Robotics. Submissions will be evaluate= d on the basis of the overall quality of their technical contribution, incl= uding criteria such as originality, soundness, relevance, significance, qua= lity of presentation, and understanding of the state of the art.

------------------
Chairs
------------------
Michael Beetz = (University of Bremen, Germany)
Friedrik Heintz (Linköping Univer= sity, Sweden)

--=_c159bdc25b7ddf28648832440a37363b--