[Om-announce] [Deadline extended: June 15] CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey

peterschueller at sabanciuniv.edu peterschueller at sabanciuniv.edu
Mon Jun 3 16:08:58 CEST 2013

(Apologies for cross-posting.)


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:

Conference web site:



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

Papers must be written in English using the same format used for
ICLP submissions: http://www.iclp2013.org/en/Submissions.html

Easychair paper submission web site:



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


Mohan Sridharan
Department of Computer Science
Texas Tech University, USA

Fangkai Yang
Department of Computer Sciences
The University of Texas at Austin, USA

Volkan Patoglu
Mechatronics Program
Faculty of Engineering and Natural Sciences
Sabanci University, Istanbul, Turkey

Peter Schueller
Computer Science Program
Faculty of Engineering and Natural Sciences
Sabanci University, Istanbul, Turkey

More information about the Om-announce mailing list