The Special Issue on the Italian Conference in Computational Logic CILC 2008, has been bublished as Volume 96 Number 3/2009 of Fundamenta Informaticae. Guest Editors Andrea Formisano and Alberto Pettorossi. OFFICIAL LINK (verified SEPT 16 2015)
Yearly Archives: 2009
Conditional and Preferential Logics: Proof Methods and Theorem Proving
By Gianluca Pozzato Università di Torino Novembre 2009 Abstract This volume is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as…
Distinguished Dissertations 2007-2009
Premio GULP 2007-2009 per la migliore Tesi di Dottorato su argomenti di Logica Computazionale “Marco Cadoli”
XXIV. VI CILC (2009), Ferrara (Italy)
Ferrara (Italy), 24-26 June 2009. Web Page: XXIV. VI CILC (2009) Program chairs: Marco Gavanelli and Fabrizio Riguzzi CILC 2009 Proceedings: available for download (PDF) Special Issue containing selected, revised papers published as Vol 105, Number 1-2 / 2010 of…
Atti del CILC 2009
Editors: Marco Gavanelli e Fabrizio Riguzzi Atti del convegno (PDF) Ferrara, 24-26 Giugno 2009.
Specification and Verification of Declarative Open Interaction Models – A Logic-based framework
By Marco Montali Università di Bologna 8 Aprile 2009 Abstract The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the…