JAIR: An Electronic Journal by and for the AI Research Community