ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…
Category: Book Announcement
Book Announcement: Programming Machine Ethics
By Luis Moniz Pereira and Ari Saptawijaya
Book Announcement: Constraint Solving and Planning with Picat
Constraint Solving and Planning with Picat By Neng-Fa Zhou Håkan Kjellerstrand, Jonathan Fruhman Abstract The book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial…
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
Book Announcement
Communicated by Krzysztof Apt
Antoni Niederlinski
A Gentle Guide to Constraint Logic Programming
via ECLiPSe Third edition, 2014, 570 p. ISBN 978-83-62652-08-2
The book is freely downloadable from http://www.anclp.pl/
Book Announcement: Programming with Higher-Order Logic
By Dale Miller (INRIA & LIX/Ecole Polytechnique) and Gopalan Nadathur (University of Minnesota)
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal
Book Announcement: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
Book Announcement: A 25 Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
Draft Book Announcement: Computational Logic and Human Life – How to be Artificially Intelligent
Robert Kowalski, Imperial College, UK