Artificial Intelligence IV

Presenting recent results and ongoing research in Artificial Intelligence, this book has a strong emphasis on fundamental questions in several key areas: programming languages, automated reasoning, natural language processing and computer vision.AI is at the source of major programming language design efforts. Different approaches are described, with some of their most significant results: languages combining logic and functional styles, logic and parallel, functional and parallel, logic with co