caml-list - the Caml user's mailing list
 help / color / Atom feed
From: "Theofanis I. Aravanis" <taravanis@upatras.gr>
To: taravanis@upatras.gr
Subject: [Caml-list] CFP - KR2020 & Robotics
Date: Thu, 09 Jan 2020 14:55:56 +0200
Message-ID: <6ff9e2ae9d55ce5cb454d8260244bfb2@upatras.gr> (raw)

[-- Attachment #1: Type: text/plain, Size: 4148 bytes --]

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)

[-- Attachment #2: Type: text/html, Size: 4847 bytes --]

<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p>Call for Papers<br />**Special Session on Knowledge Representation and Robotics**<br />at the 17th International Conference on Principles of Knowledge Representation and Reasoning<br /><br />September 12-18th, 2020<br />Rhodes, Greece<br /><br />https://kr2020.inf.unibz.it/<br /><br />------------------<br />Important Dates<br />------------------<br />Submission of title and abstract: 4 March 2020<br />Paper submission deadline: 11 March 2020<br />Author response period: 4--6 May 2020<br />Notification: 27 May 2020<br />Camera-ready papers: 24 June 2020<br />Conference dates: 12--18 September 2020 &nbsp;<br />------------------<br /><br />&ldquo;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?&rdquo;<br />Gill Pratt<br /><br />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).<br /><br />Papers are solicited in all areas, including, but not limited to, one or more of the following:<br /><br />-- Knowledge representation and reasoning (KR) for Robotic Cognition<br />-- Grounding knowledge in sense-plan-act loop<br />-- Belief merging, information fusion for robotics&nbsp; &nbsp;<br />-- KR for Autonomous Robot Architectures<br />-- KR for Robotic Navigation and Manipulation <br />-- KR for semantic maps <br />-- Ontologies, and ontological representations for robotics <br />-- Robotics and the Semantic Web &nbsp;<br />-- Qualitative reasoning, and reasoning about physical systems for robotics&nbsp; &nbsp;<br />-- KR for Human Robot Interaction and Communication<br />-- KR for plan/intention recognition<br />-- KR for human-robot dialogue planning and understanding<br />-- Reasoning about knowledge, beliefs, and other mental attitudes of robots/humans &nbsp;<br />-- Commonsense reasoning for robotics<br />-- KR for Robotic Planning<br />-- KR for Hybrid Reasoning (over discrete/continuous spaces)<br />-- Combining logical/probabilistic, qualitative/quantitative representations/reasoning methods<br />-- Geometric, spatial, and temporal reasoning for robotics&nbsp;&nbsp;&nbsp; &nbsp;<br />-- Action languages for robotics applications &nbsp;<br />-- Reasoning about actions and change in robotic domains<br />-- Reasoning about actions connected to Control Theory &nbsp;<br />-- KR for Robot Plan Execution and Monitoring<br />-- Belief revision and update for robotics&nbsp; &nbsp;<br />-- Explanation finding, diagnosis, causal reasoning, abduction for robotics&nbsp; &nbsp;<br />-- Stream reasoning for robotics<br />-- KR for Multi-Robot Systems &nbsp;<br />-- KR for task allocation for robots, coordination of robots<br />-- Combining KR in the lab and Robotic applications<br />-- KR for Service Robotics<br />-- KR for Cognitive Factories<br />-- KR for Warehouse Robots<br />-- KR for Autonomous Vehicles<br />-- Computational aspects of knowledge representation and reasoning in robotics applications&nbsp;&nbsp; &nbsp;<br /><br />------------------<br />Information for Authors<br />------------------<br />The Special Session on KR &amp; 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. <br /><br />The special session emphasizes KR &amp; Robotics, and welcomes contributions that extend the state of the art at the intersection of KR &amp; Robotics. Therefore, KR-only or Robotics-only submissions will not be accepted for evaluation in this special session. &nbsp;<br /><br />Submissions will be rigorously peer reviewed by PC members, who are active in KR &amp; 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.<br /><br />------------------<br />Chairs<br />------------------<br />Michael Beetz (University of Bremen, Germany)<br />Friedrik Heintz (Link&ouml;ping University, Sweden)</p>

</body></html>

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=6ff9e2ae9d55ce5cb454d8260244bfb2@upatras.gr \
    --to=taravanis@upatras.gr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git