posted by organizer: dwolter_BA || 18697 views || tracked by 5 users: [display]

WS QSTR 2015 : Workshop on Qualitative Spatial and Temporal Reasoning: Computational Complexity and Algorithms

FacebookTwitterLinkedInGoogle

Link: http://www.math.tu-dresden.de/Workshop_QSTR_2015/
 
When Aug 21, 2015 - Aug 22, 2015
Where Dresden, Germany
Submission Deadline Jun 1, 2015
Categories    knowledge representation   artificial intelligence   complexity   algorithms
 

Call For Papers

*********************************************************************

Call for Papers - Workshop on
Qualitative Spatial and Temporal Reasoning:
Computational Complexity and Algorithms

http://www.math.tu-dresden.de/Workshop_QSTR_2015/

August 21st/22nd, 2015 - Dresden, Germany
co-located with KI 2015

submission deadline: June 1st, 2015


*********************************************************************

Apologies for cross-postings. Please forward to interested colleagues and students.


MOTIVATION AND OBJECTIVES

Qualitative spatial and temporal reasoning is a subfield of AI that is committed to the study of relational knowledge representation languages. Such languages are used for reasoning about semantically meaningful properties of the represented domain (contact of regions, temporal order, etc.). Allen's interval algebra and the RCC calculi are the most prominent approaches, but many more have been developed. Spatial and temporal domains are typically infinite and exhibit complex structures. Due to their richness and diversity, qualitative spatial and temporal reasoning is confronted with some unique challenges. In particular, analyzing the computational complexity of such problems and developing efficient algorithms have proven to be highly challenging tasks.

This workshop aims to provide a forum for researchers from different fields (including Automated Theorem Proving, Constraint Solving, Logic, Mathematics, Theoretical Computer Science, Qualitative Reasoning) to discuss open problems, methodology, and recent advancements in the field.


TOPICS OF INTEREST

We invite submissions related to all computational aspects of qualitative spatial and temporal reasoning including but not limited to:

* complexity of qualitative reasoning tasks
* efficient algorithms
* formal characterizations of qualitative representation and reasoning
* qualitative reasoning problems in applications
* qualitative vs. other forms of geometric, spatial and temporal reasoning
* logics for qualitative reasoning
* mixed qualitative–quantitative reasoning
* algorithms for qualitative query languages


IMPORTANT DATES

submission due June, 1st, 2015
notification of acceptance July 8th, 2015
workshop August 21nd/22nd (TBA), 2015


SUBMISSIONS

Participants are invited to submit papers presenting ongoing and new research, important results, and brilliant ideas. Papers will be reviewed by the program committee and should be submitted as PDF files (maximum 10 pages, plus clearly marked technical appendix if necessary).

Please submit your manuscript at:
https://easychair.org/conferences/?conf=quac2015


PROGRAM COMMITTEE AND ORGANIZATION

Manuel Bodirsky TU Dresden, Germany (organizer, chair)
Hubie Chen University of the Basque Country and Ikerbasque
Martin Cooper IRIT, Université de Toulouse III, France
Ivo Duentsch Brock University, Canada
Robin Hirsch University College London, UK
Peter Jonsson Linköping University, Sweden (organizer)
Sanjiang Li University of Technology, Sydney, Australia
Michael Pinsker Vienna University of Technology, Austria
Jochen Renz The Australian National University
Steven Schockaert Cardiff University, UK
John Stell University of Leeds, UK
Stefan Woelfl University of Freiburg, Germany
Diedrich Wolter University of Bamberg, Germany (organizer)

Related Resources

KR 2024   Principles of Knowledge Representation and Reasoning
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ADMA 2024   20th International Conference Advanced Data Mining and Applications
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
ECAI 2024   27th European Conference on Artificial Intelligence
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
JDSA-LearnTeD 2024   JDSA special isssue on Learning from Temporal data
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)