Abstract Professor Koichi Furukawa, an eminent computer scientist and former Editor-in-
Chief of the New Generation Computing journal, passed away on January 31, 2017. His …

The driving force behind logic programming is the idea that a single formalism suffices for
both logic and computation, and that logic subsumes computation. But logic, as this series of …

This paper supports the importance of teaching logic (and logic programming) in computer
science degrees and discusses several proposals that can be included in current curricula …

The annual conference of the European Association for Computer Science Logic (EACSL),
CSL 2008, was held in Bertinoro, near Bologna (Italy), September 16–19, 2008. The …

In its 15th edition, LPAR looked back at a rich history. The conference evolved out of the First
and Second Russian Conferences on Logic Programming, held in Irkutsk, in 1990, and …

This book constitutes the proceedings of the 20th International Conference on Logic for
Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in …

When Krzysztof Apt asked me to review this book, I (Yves Deville) first refused for two
reasons:(1) I am a colleague of the first author, and (2) the book is 900 pages long. But I …

This special issue of JLP is devoted to high-performance implementations of logic
programming systems. The idea of having a special issue was born during a conversation …

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an
anniversary which gives his friends and colleagues an excuse to celebrate his career as an …

In 1999, the conference was held in Tbilisi, Georgia. At the suggestion of Michel Parigot, the
conference changed its name again to Logic for Programming and Automated Reasoning …