Non-Classical Logics
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.
Notifications: January 23, 2017.
Camera ready version due: February 27, 2017.

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)

  1. Non-mononotic logics
  2. Paraconsistent logics
  3. Fuzzy logics
  4. Deontic logics
  5. Paracomplete logics
  6. Many-valued logics
  7. Relevant logics
  8. Temporal logics
  9. Probability logics
  10. Combination of logics
Note: We invite original papers (i.e. work not previously submitted, in submission, or to be submitted to another conference during the reviewing process).

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 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.

Conference Proceedings

Papers will be refereed and all accepted papers will appear in the conference proceedings, which will be published by AAAI Press.
For this special track special issue(s) of the Journal of Applied Non-Classical Logic or/and Journal of Applied Logic will furthemore be published with full length papers

Organizer

Jean-Yves Beziau

Program Committee

Arnon Avron, Tel Aviv University, Israel
Davide Ciucci, University of Milan, Italy
Didier Dubois, IRIT, Toulouse, France
Brian Gaines, University of Victoria. Canada
Oliver Kutz, Free University of Bozen-Bolzano, Italy - tbc
Dov Gabbay, King's College, London - tbc
Bora Kumova, Izmir Institute of Technology, Turkey
Dominique Luzeaux, Polytechnique and Ministry of Defense, Paris, France
Eric Martin, University of New South Wales, Sydney, Australia
Raja Natarajan, Tata Institute of Fundamental Research, Mumbai, India
Sergei Odintsov, Sobolev Institute of Mathematics, Novosibirsk, Russia
Mauricio Osorio, University of the Americas, Cholula, Mexico
Serge Robert, University of Quebec at Montreal, Canada
Petros Stefaneas, National Technical University, Athens, Greece
Ivan Varcinczak, Federal University of Rio de Janeiro, Brazil

Further Information

Questions regarding the Non-Classical Logic in AI should be addressed to the track chair:

Jean-Yves Beziau

Conference Organizers:

Conference Chair:

Ingrid Russell, University of Hartford, USA (irussell@hartford.edu)

Program Co-Chairs:

Vasile Rus, University of Memphis, USA (vrus@memphis.edu)

Zdravko Markov, Central Connecticut State University, USA (markovz@ccsu.edu)

Special Tracks Coordinator:

Keith Brawner, Army Research Laboratory, USA (keith.w.brawner.civ@mail.mil)

Invited Speakers of FLAIRS- 30

Thomas 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/
FLAIRS-30 conference web page: http://www.flairs-30.info/
Florida AI Research Society (FLAIRS): http://www.flairs.com 

FLAIRS-30 home page