posted by user: mpstew || 3546 views || tracked by 28 users: [display]

TIME 2016 : 23rd International Symposium on Temporal Representation and Reasoning


Conference Series : International Symposium on Temporal Representation and Reasoning
When Oct 17, 2016 - Oct 19, 2016
Where Copenhagen, Denmark
Submission Deadline Jun 20, 2016
Notification Due Jul 25, 2016
Final Version Due Aug 10, 2015
Categories    artificial intelligence   ontologies   data mining   verification

Call For Papers

TIME 2016 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer Science.
The symposium, currently in its 23rd edition, has a wide remit and
intends to cater to both theoretical aspects and well-founded
applications. One of the key aspects of the symposium is its
interdisciplinarity, with attendees from distinct areas such as
artificial intelligence, database management, logic and verification,
and beyond. Submissions of high-quality papers describing research
results are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere. Submitted
papers will be refereed for quality, correctness, originality, and
relevance. The symposium will encompass three tracks on temporal
representation and reasoning in (1) Artificial Intelligence, (2)
Databases and (3) Logic and Verification.

Related Resources

IJCAI 2017   International Joint Conference on Artificial Intelligence
KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
UR@FLAIRS30   FLAIRS-30 : Uncertain Reasoning (UR) Special Track
KDD 2017   Knowledge Discovery and Data Mining
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
RATIC 2016   Workshop on Reasoning about Time in CBR
OWLED-ORE 2016   13th OWL: Experiences and Directions Workshop (OWLED) and 5th OWL Reasoner Evaluation Workshop (ORE)