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 Deductive Databases. All these areas had a very significant growth over the last decades and nowadays they all play a crucial role in the fields of Information Processing and Computer Science. The CILC’09 meeting was attended by more than fifty people and 28 papers were presented. Out of those papers, 13 papers were selected and their authors were invited to submit an improved version for publication in this special issue. After two rounds of careful reviews, where each article was assigned to at least three reviewers, we finally chose 8 papers which now appear in this present issue
Special Issue on the Italian Conference on Computational Logic: CILC 2009
GAVANELLI, Marco;RIGUZZI, Fabrizio;
2010
Abstract
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 Deductive Databases. All these areas had a very significant growth over the last decades and nowadays they all play a crucial role in the fields of Information Processing and Computer Science. The CILC’09 meeting was attended by more than fifty people and 28 papers were presented. Out of those papers, 13 papers were selected and their authors were invited to submit an improved version for publication in this special issue. After two rounds of careful reviews, where each article was assigned to at least three reviewers, we finally chose 8 papers which now appear in this present issueI documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.