WHR 2015 - Workshop on Hybrid Reasoning

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.