13-16 Sep 2015
Lodz, Poland
*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
Lodz, Poland
https://www.fedcsis.org/2015/lqmr
<https://www.fedcsis.org/2015/lqmr>
*CALL FOR PAPERS*
*IMPORTANT DATES*
- 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
*INTRODUCTION*
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.
*INVITED SPEAKERS*
*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)
*AIMS AND SCOPE*
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
*SUBMISSIONS DETAILS*
Instruction on paper submission, including style templates, are available at
the workshop's webpage:
https://www.fedcsis.org/2015/lqmr
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.
*PROGRAM COMMITTEE*
- 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)
*WORKSHOP CHAIRS*
- Tomasz Lechowski (University of Warsaw, Poland)
- Przemys?aw Wa??ga (University of Warsaw, Poland)
- Micha? Zawidzki (University of Lodz / University of Warsaw, Poland)