Intellectual output

The main output of the ARC project is the ARC book with the title “Computational Logic: A Practical Approach” together with the tools available at:

This book is dedicated to Computational Logic and contains: course material (text) integrated with interactive exercises and demonstrations, software tools to run the exercises, and best-practice recommendations to run the lectures, based on advanced pedagogical principles as Problem Based Learning and Project Centered Learning. The chapters of the book correspond to actual and planned lectures at the partner institutions.