Computational Logic Logic Programming And Beyond

Computational Logic: Logic Programming and Beyond

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural languages, and learning. Together with its companion volume, LNAI 2407, this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.

Computational Logic: Logic Programming and Beyond

The book contains the proceedings of the 12th European Testis Workshop and gives an excellent overview of the state of the art in testicular research. The chapters are written by leading scientists in the field of male reproduction, who were selceted on the basis of their specific area of research. The book covers all important aspects of testicular functioning, for example, Sertoli and Leydig cell functioning, spermatogonial development and transplantation, meiosis and spermiogenesis. Even for those investigators who were not present at the workshop, this volume provides a clear impression of the topics discussed during that meeting.

Computational Logic: Essays in honour of Robert A. Kowalski