A first course in artificial intelligence[electronic resource]