divided into topical sections on logics for AI, intelligent information retrieval,