1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15)
Lodz, Poland, 13-16 September, 2015
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.
Topics
- 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
Invited Speakers
- Bittner, Thomas, Department of Philosophy, State University of New York at Buffalo, USA
- Bratko, Ivan, Faculty of Computer and Information Science, University of Ljubljana, Slovenia
- Forbus, Kenneth D., Northwestern University, USA
- Pratt-Hartmann, Ian, School of Computer Science, The University of Manchester, United Kingdom / Institute of Mathematics and Informatics, University of Opole, Poland
Paper submission
- Authors should submit draft papers (as Postscript, PDF of MSWord file).
- IEEE style templates for paper preparation are available here.
- The total length of a paper should not exceed 15 pages IEEE style (including tables, figures and references). IEEE style templates are available here.
- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
- Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants.
- Only papers presented at the workshop will be published in the "Proceedings of the Logics for Qualitative Modelling and Reasoning".
- Workshop proceedings will be published as a SEPARATE ELECTRONIC VOLUME, WITH ISBN, ISSN AND DOI NUMBERS and will be made available at the conference WWW site. These papers will NOT be placed in the IEEE Digital Library. However, they will be indexed in the BazEcon database, and submitted for indexing to: Thomson Reuters Web of Science, SciVerse Scopus, Inspec, DBLP Computer Science Bibliography and Google Scholar.