Special Track at
The 30th International FLAIRS Conference
In cooperation with the American Association for Artificial Intelligence
Marco Island, Florida, USAMay 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)
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 DatesNovember 21, 2016 Paper submission deadline
January 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.
Papers will be refereed and all
accepted papers will appear in the conference proceedings, which will be
published by AAAI Press.
Arnon Avron, Tel Aviv University, Israel
Questions regarding the Non-Classical Logic in AI should be addressed to the track chair:
Invited Speakers of FLAIRS- 30Thomas G. Dietterich - Oregon State University
Jaiwei 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/