JAIR(ISSN 1076 - 9757) covers all areas of artificial intelligence (AI), publishing refereed research articles, survey articles, and technical notes. Established in 1993 as one of the first electronic scientific journals, JAIR is indexed by INSPEC, Science Citation Index, and MathSciNet. JAIR reviews papers within approximately three months of submission and publishes accepted articles on the internet immediately upon receiving the final versions. JAIR articles are published for free distribution on the internet by the AI Access Foundation, and for purchase in bound volumes by AAAI Press.

Click here for latest volume »»

Recently Published Articles:

S. Cai, C. Luo and K. Su (2014) "Scoring Functions Based on Second Level Score for k-SAT with Long Clauses", Volume 51, pages 413-441 A. Metodi, R. Stern, M. Kalech and M. Codish (2014) "A Novel SAT-Based Approach to Model Based Diagnosis", Volume 51, pages 377-411 F. Belardinelli, A. Lomuscio and F. Patrizi (2014) "Verification of Agent-Based Artifact Systems", Volume 51, pages 333-376