Annotated bibliography on the foundations of AI