Special Track at The 30th International FLAIRS Conference In cooperation with the American Association for Artificial Intelligence Marco Island, Florida, USA May 22 - 24, 2017
Paper submission deadline: November 21, 2016. All accepted papers will be published as FLAIRS proceedings by the AAAI. Call for Papers |
||||||||
What are Non-Classical Logics? Non-classical logics are systems developed to have a better understanding of what reasoning is and/or could be. It helps to study how human reasoning is being performed and to develop robots that can be considered as intelligent. John McCarthy (1927-2011), who coined the expression “Artificial Intelligence”, worked in particular in non-monotonic logic, systems according to which, when adding hypotheses/information, what was already proved is not necessarily preserved. There are many other systems of non-classical logic dealing with many different aspects of reasoning, for example paraconsistent logics dealing with contradictory or incompatible data. What is the GOAL of the track? The objective of this track is to strengthen the use of logic in artificial intelligence, developing new logic systems clarifying what reasoning is and/or could be. Who might be interested? All logicians having in mind applications of logical systems to AI What kind of studies will be of interest? Papers and contributions are encouraged for any work relating Non-Classical Logics with AI: Topics of interest may include (but are in no way limited to)
SubmissionGuidelines Interested authors should format their papers according to AAAI formatting guidelines. The papers should be original work (i.e., not submitted, in submission, or submitted to another conference while in review). Papers should not exceed 6 pages (4 pages for a poster) and are due by November 21, 2016. For FLAIRS-30, the 2017 conference, the reviewing is a double blind process. Fake author names and affiliations must be used on submitted papers to provide double-blind reviewing. Papers must be submitted as PDF through the EasyChair conference system. Note: do not use a fake name for your EasyChair login - your EasyChair account information is hidden from reviewers. Authors should indicate the Non-Classical Logics in AI as special track for submissions. The proceedings of FLAIRS will be published by the AAAI. Authors of accepted papers will be required to sign a form transferring copyright of their contribution to AAAI. FLAIRS requires that there be at least one full author registration per paper. Important Dates November 21, 2016 Paper submission deadlineJanuary 23, 2017 Paper acceptance notification February 6, 2017 Poster abstract submission February 13, 2017 Poster abstract notification February 20, 2017 AUTHOR registration February 27, 2017 Camera ready version due April 11, 2017 Early registration May 16, 2017 Regular registration May 22-24, 2017 Conference Please, check the website http://www.flairs-30.info/ for further information. Conference Proceedings Papers will be refereed and all
accepted papers will appear in the conference proceedings, which will be
published by AAAI Press. Organizer Program Committee Arnon Avron, Tel Aviv University, Israel Further Information Questions regarding the Non-Classical Logic in AI should be addressed to the track chair: Conference Organizers:
Invited Speakers of FLAIRS- 30 Thomas G. Dietterich - Oregon State UniversityJaiwei Han - University of Illinois James Allen - Institute for Human Machine Cognition Conference Web Sites Paper submission site: follow the
link for submissions at http://www.flairs-30.info/ |