LQMR 2015 - 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR)

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. Key topics of the workshop include:
logics for qualitative reasoning
mixed qualitative?quantitative reasoning,
formal (e.g., logical, relational) representations of qualitative reasoning
geometric, spatial, and temporal reasoning
declarative spatial reasoning
logical formalisations of qualitative motion
knowledge representation and reasoning under incomplete, vague or inconsistent information
qualitative decision theory
qualitative reasoning in decision?support systems
complexity of qualitative reasoning
automated theorem proving for qualitative reasoning
qualitative physics, and simulation
qualitative methods in cognitive vision and robotics
qualitative reasoning for product, mechanical, and architecture design