Workshop on Hybrid Reasoning @ IJCAI 2015
Call for Papers
For many years, research in the area of knowledge representation and reasoning (KR&R) was mainly concerned with logic-based, qualitative forms of reasoning. However, in order to successfully apply KR&R techniques to areas such as robotics, bioinformatics or logistics usually requires taking into account quantitative aspects of reasoning as well. An example is a symbolic planner on a mobile robot, which is integrated with geometric planning in continuous state space in order to check whether a grasping action is feasible or not. Similarly, in bioinformatics quantitative information is often needed for discriminating solutions obtained from qualitative constraints. Examples include natural aspects like mass preservation or flux balances but also human-oriented ones due to different degrees of confidence in data or models. Other forms of quantitative aspects of reasoning are uncertainty, time, resources, numerical rankings, and data such as text or 3D point clouds.
This workshop intends to bring together researchers interested in combining both qualitative and quantitative forms of reasoning, which we refer to as hybrid reasoning. We solicit papers on all aspects of hybrid reasoning, including its theoretical foundations and applications.
Submission Instructions:Papers must be at most seven (7) pages in length and formatted according to the IJCAI formatting instructions.
Reviewing will be single-blind, that is, author names should be included in the submissions.
Papers must be submitted in PDF format only by the due date at the EasyChair submission site.
- Paper submission: April 27, 2015
- Notification: May 20, 2015
- Camera-ready version: May 30, 2015
- IJCAI Workshops: July 25-27, 2015
Esra Erdem (Sabanci University)
Gabriele Kern-Isberner (TU Dortmund)
Gerhard Lakemeyer (RWTH Aachen University)
Torsten Schaub (University of Potsdam)