posted by user: chalwidz || 19860 views || tracked by 6 users: [display]

LQMR 2015 : 1st Workshop on Logics for Qualitative Modelling and Reasoning


When Sep 13, 2015 - Sep 16, 2015
Where Łódź, Poland
Submission Deadline Apr 24, 2015
Notification Due Jun 15, 2015
Final Version Due Jul 1, 2015
Categories    logic   computer science   artificial intelligence   knowledge representation

Call For Papers

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

as a part of

FedCSIS - Federated Conference on Computer Science and Information Systems

13-16 September, 2015
Łódź, Poland


Deadline: 24 April 2015


LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science.


- Thomas Bittner, Department of Philosophy, State University of New York at Buffalo, USA
(director of the Qualitative Spatial Reasoning unit of the Ontology Research Group, leading expert in amongst others: formal ontology, qualitative spatial reasoning and geographic information science)

- Ivan Bratko, head of Artificial Intelligence Laboratory, Faculty of Computer and Information Science of the University of Ljubljana
(author of over 200 scientific papers and numerous books, his research interests include machine learning, qualitative modelling and heuristic programming)

- Kenneth D. Forbus, Walter P. Murphy Professor of Computer Science and Professor of Education, Northwestern University, USA
(head of the Cognitive Systems Area, prominent expert in qualitative reasoning, analogical reasoning and learning, inference engine design)

- Ian Pratt-Hartmann, School of Computer Science, The University of Manchester, United Kingdom
(leading researcher in the fields of logic, AI and cognitive science. His main interests include interfaces between logic and complexity theory, logic and geometry and logic and natural language)


We invite submissions on all aspects of qualtitative modelling and reasoning including but not limited to:
- 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


Instruction on paper submission, including style templates, are available at the workshop's webpage:

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 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.


- Paper submission: Friday Apr 24 2015 12:00:00 pm HST
- Acceptance decision: June 15, 2015
- Final version of paper submission: July 01, 2015
- Conference dates: September 13-16, 2015


- Philippe Balbiani (University of Toulouse, France)
- Mohua Banerjee (Indian Institute of Technology, India)
- Mehul Bhatt, Co-Chair (University of Bremen, Germany)
- Ivan Bratko (University of Ljubljana, Slovenia)
- Domenico Cantone (University of Catania, Italy)
- Cezary Cieśliński (University of Warsaw, Poland)
- Davide Ciucci (University of Milano-Bicocca, Italy)
- Ivo Duentsch (Brock University, Canada)
- Alessandro Facchini (Dalle Molle Institute for Artificial Intelligence, Switzerland)
- Nina Gierasimczuk (University of Amsterdam, The Netherlands)
- Joanna Golińska-Pilarek, Co-Chair (University of Warsaw, Poland)
- Valentin Goranko (Stockholm University, Sweden)
- Jarek Gryz (University of York, Canada)
- Taneli Huuskonen (University of Helsinki, Finland)
- Linh Nguyen (University of Warsaw, Poland)
- Marianna Nicolosi Asmundo (University of Catania, Italy)
- Manuel Ojeda-Aciego (University of Malaga, Spain)
- Ewa Orłowska (National Institute of Telecommunications, Poland)
- Ian Pratt-Hartmann (The University of Manchester, United Kingdom)
- Torsten Schaub (University Potsdam, Germany)
- Renate Schmidt (University of Manchester, United Kingdom)
- Carl Schultz (University of Bremen, Germany)
- Jakub Szymanik (University of Amsterdam, The Netherlands)
- Johan van Benthem (University of Amsterdam, The Netherlands)


- Tomasz Lechowski (University of Warsaw, Poland)
- Przemysław Wałęga (University of Warsaw, Poland)
- Michał Zawidzki (University of Lodz / University of Warsaw, Poland)

Related Resources

KR 2022   Principles of Knowledge Representation and Reasoning
AAAI 2023   The 37th AAAI Conference on Artificial Intelligence
FLAIRS-36   36th International Florida Artificial Intelligence Research Society Conference
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
HDSSMD 2023   HDSSMD 2023: Special Session on Healthcare decision support systems modelling and development
JCRAI 2022-Ei Compendex & Scopus 2022   2022 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2022)
SEN 2022   Social Epidemic Network (SEN), Call for Book Chapters
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
PRIMA 2022   The 23rd International Conference on Principles and Practice of Multi-Agent Systems
ISEM 2023   The International Society for Ecological Modelling Global Conference 2022: Ecological Models for Tomorrow’s Solutions