Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lire la suite
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suite
Logical Approaches to Computational Barriers
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
Lire la suite
Logical Aspects of Computational Linguistics
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Lire la suite
New Frontiers in Artificial Intelligence
The objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers ...
Lire la suite
New Frontiers in Artificial Intelligence : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers
The technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
Lire la suite
Reasoning, Action and Interaction in AI Theories and Systems
The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, ...
Lire la suite
Typed Lambda Calculi and Applications
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Lire la suite
