caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] CFP - KR2020 & Robotics
@ 2020-01-09 12:55 Theofanis I. Aravanis
  0 siblings, 0 replies; only message in thread
From: Theofanis I. Aravanis @ 2020-01-09 12:55 UTC (permalink / raw)
  To: taravanis

[-- 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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-09 12:55 [Caml-list] CFP - KR2020 & Robotics Theofanis I. Aravanis

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