This special issue of Fundamenta Informaticae contains the revised, extended versions of selected papers presented at the Italian Conference on Computational Logic (Convegno Italiano di Logica Com- putazionale, CILC’09) which was held at the Engineering Department of the University of Ferrara, Italy. This conference was the twenty-fourth edition of the Italian national congress of the GULP Associ- ation (Gruppo Ricercatori e Utenti di Logic Programming) which gathers researchers and users of Logic Programming. Since the first edition in Genoa in 1986, the GULP Association organizes every year a scientific meeting to present ideas, tools, and new advances in Computational Logic and related areas, such as Artificial Intelligence and Ded...
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
The present book includes a set of selected extended papers from the second International Joint Conf...
International audienceThe present book includes a set of selected extended papers from the sixth Int...
This special issue of Fundamenta Informaticae contains the revised, extended versions of selected p...
2The 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting o...
Rapporto di ricerca "Quaderno del Dipartimento di Matematica", n. 390, Universita' di Parm
This special issue of ACM Transactions on Computational Logic is devoted to papers first presented a...
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE...
Il primo numero del sesto anno della rivista Italian Journal of Computational Linguistics (IJCoL), l...
The six papers in this special issue arose from the conference CiE 2009: Mathematical Theory and Com...
This special issue is a collection of papers whose preliminary versions were submitted to the 18th I...
This special issue of Mathematical Structures in Computer Science is devoted to the fourteenth Itali...
Preface On behalf of the Program Committee, a very warm welcome to the Seventh Italian Conference o...
Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004This spe...
This special issue is devoted to various areas in Theoretical Computer Science. The issue took insp...
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
The present book includes a set of selected extended papers from the second International Joint Conf...
International audienceThe present book includes a set of selected extended papers from the sixth Int...
This special issue of Fundamenta Informaticae contains the revised, extended versions of selected p...
2The 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting o...
Rapporto di ricerca "Quaderno del Dipartimento di Matematica", n. 390, Universita' di Parm
This special issue of ACM Transactions on Computational Logic is devoted to papers first presented a...
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE...
Il primo numero del sesto anno della rivista Italian Journal of Computational Linguistics (IJCoL), l...
The six papers in this special issue arose from the conference CiE 2009: Mathematical Theory and Com...
This special issue is a collection of papers whose preliminary versions were submitted to the 18th I...
This special issue of Mathematical Structures in Computer Science is devoted to the fourteenth Itali...
Preface On behalf of the Program Committee, a very warm welcome to the Seventh Italian Conference o...
Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004This spe...
This special issue is devoted to various areas in Theoretical Computer Science. The issue took insp...
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
The present book includes a set of selected extended papers from the second International Joint Conf...
International audienceThe present book includes a set of selected extended papers from the sixth Int...