<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>- Probabilistic logic languages and their combination Riccardo Zese, University of Ferrara - Ontology-based Data Access: Relational Data and Beyond Diego Calvanese, Free University of Bozen-Bolzano</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2018</year>
      </pub-date>
      <abstract>
        <p>The 33rd edition of the Italian Convention of Computational Logic (CILC 2018), the annual meeting organized by GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the Free University of Bozen-Bolzano, from September 20th to September 22nd, 2018. CILC is the leading forum for the exchange of ideas and experiences between Italian researchers working in the theory and practice of computational logic, although it has broaden its topics of interest also to related areas. The technical program of CILC 2018 included 21 presentations, among which 13 papers are included in these proceedings and further 8 appeared or have been submitted elsewhere. Paper selection was made by peer reviewing, and each submitted paper received three reviews by members of the Program Committee. The contributions address different topics related to computational logic, including verification and validation, temporal and spatial reasoning, description logics, probabilistic reasoning, constraint logic programming. The program was also enriched by the keynote “Reasoning and Planning for LTLf /LDLf goals" by Giuseppe De Giacomo, Sapienza University of Rome, and with 2 tutorials: In addition, we had the pleasure of hosting a special session where Alberto Pettorossi shared his professional experience and highlighted his personal contribution to the field of computational logic.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>