1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15) (LQMR'15)

Qualitative Reasoning (QR) is a research area at the interface of Artificial Intelligence, Cognitive Science, Engineering, and Science. Its core objective is to model real world systems that have continuous aspects about which we only have incomplete or qualitative knowledge. In seeking to understand human ability to reason qualitatively, QR combines the quest for comprehension of effective reasoning about systems and new ways to supplement conventional modeling, analysis, diagnosis, and control techniques to tackle real-world applications. This workshop categorically addresses the theory and application of logical formalisations of qualitative reasoning within engineering, technical, and computational cognitive systems. The workshops will build bridges between different research groups interested in qualitative modelling and reasoning. In particular, perspectives from logic and computer science employing formal methods for QR, formal methods for spatial reasoning, and researchers dealing with fundamental philosophical aspects of QR are of focus. Additionally, problems of more applied nature in the filed of engineering and artificial intelligence are also emphasised.