`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international collea

This book features a unique selection of works presented at the 2019 annual international conference of the International Association for Computing and Philosop