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.

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.

Topics

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

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.

Session Program

Organizers
Contact:
 lqmr2015@fedcsis.org

Important dates

  • Call for event proposals: October 31, 2014
  • Paper submission: Friday May 08 2015 23:59:59 pm HST
  • Position paper submission: June 01, 2015
  • Acceptance decision: June 15, 2015
  • Final version of paper submission: July 01, 2015
  • Final deadline for discounted fee: July 31, 2015
  • Conference dates: September 13-16, 2015

FedCSIS is organized by :

 

Under auspices of

Prof. Lena Kolarska-Bobińska

Minister of Science
and Higher Education

Prof. Michał Kleiber

President of the Polish Academy of Sciences

Andrzej Halicki

Minister of Administration
and Digitization

Witold Stępień

Marszałek Województwa
Łódzkiego

Hanna Zdanowska

Mayor of the City of Lodz

Professor Stanisław Bielecki

His Magnificence Rector of Łódź University of Technology