[fg-arc] 1st CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey

[peterschueller at sabanciuniv.edu]

(Apologies for cross-posting.)


CALL FOR PAPERS


Workshop on Knowledge Representation and Reasoning in Robotics
at the International Conference on Logic Programming (ICLP).

Location: Istanbul, Turkey.
Date of Workshop: August 25, 2013.

Workshop web site:

	http://www.cs.ttu.edu/~smohan/krr_iclp13/
	
Conference web site:

	http://www.iclp2013.org/en/default.asp


WORKSHOP SCOPE

Mobile robots (and agents) are increasingly being used in a range
of application domains such as disaster rescue, surveillance,
health care and navigation. A formidable challenge to the
widespread deployment of robots in our homes, offices and other
complex domains is the ability to represent, reason with and
revise incomplete and inconsistent domain knowledge obtained from
sensor inputs and high-level human feedback. Although many
algorithms have been developed for representing and reasoning
with domain knowledge, the research community is fragmented, with
separate vocabularies that are increasingly (and ironically)
making it difficult for these researchers to communicate with
each other. As a result, the rich body of research in knowledge
representation for cognitive agents is not fully exploited by
robotics researchers. For instance, declarative programming
paradigms provide non-monotonic reasoning capabilities essential
for robotics, although they do not always consider the challenge
of modeling the uncertainty in robot application domains. In
parallel, many robotics researchers are developing probabilistic
reasoning algorithms that elegantly model the uncertainty in
sensing and navigation on robots, although it is a challenge to
use such algorithms to represent and reason with commonsense
knowledge. In recent years, algorithms have also been developed
for combining logical and probabilistic reasoning, but these
algorithms do not support the desired knowledge representation
and reasoning capabilities, or fail to address problems (e.g.,
frame problem, ramification problem) that are well understood in
the logic programming community.

This workshop seeks to engage the logic programming community in
robotics research challenges. The objective is to promote a
deeper understanding of recent breakthroughs and tough challenges
in the logical programming and probabilistic robotics
communities, resulting in collaborative efforts towards
addressing the knowledge representation and reasoning challenges
in robotics. Topics of interest include (but are not limited to):

 *  Knowledge acquisition and representation.
 *  Reasoning with incomplete and inconsistent knowledge.
 *  Reasoning about actions and change.
 *  Planning and scheduling.
 *  Learning and symbol grounding.
 *  Cognitive architectures.
 *  Multiagent systems. 

We are especially interested in papers describing efforts to
integrate knowledge representation, logical reasoning and/or
probabilistic reasoning on robots and agents in different
application domains.


PAPER SUBMISSION

Paper submissions can be in one of the following categories:

* Regular paper: the length of regular papers (including figures
  and bibliography) should not exceed 12 pages.

* Poster/summary paper: the length of poster/summary papers
  (including all figures and bibliography) should not exceed 4
  pages.

Easychair paper submission web site:

	https://www.easychair.org/conferences/?conf=krr2013


IMPORTANT DATES

Submission deadline:   May 25, 2013
Notifications:         June 25, 2013
Camera-ready deadline: July 10, 2013
Workshop at ICLP:      August 25, 2013