-------- Original-Nachricht -------- Betreff: [WI] 2nd CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey Datum: Thu, 23 May 2013 15:04:38 +0300 Von: peterschueller@sabanciuniv.edu

(Apologies for cross-posting.)

CALL FOR PAPERS AND POSTER ABSTRACTS

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.

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:

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

IMPORTANT DATES

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

ORGANIZERS

Mohan Sridharan Department of Computer Science Texas Tech University, USA http://www.cs.ttu.edu/~smohan/

Fangkai Yang Department of Computer Sciences The University of Texas at Austin, USA http://www.cs.utexas.edu/~fkyang

Volkan Patoglu Mechatronics Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://myweb.sabanciuniv.edu/vpatoglu/

Peter Schueller Computer Science Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://www.peterschueller.com/

-- Mailing-Liste: wi@aifb.uni-karlsruhe.de Administrator: wi-request@lists.uni-karlsruhe.de Konfiguration: https://www.lists.uni-karlsruhe.de/sympa/info/wi