Conference Program

Thursday

  • Registration

    -

  • Tutorial

    -

    Riccardo Zese: Probabilistic logic languages and their combination

  • Coffee break

    -

  • Tutorial

    -

    Diego Calvanese: Ontology-based Data Access: Relational Data and Beyond

  • GULP Board meeting

    -

Friday

  • Registration

    -

  • Keynote

    -

    Giuseppe De Giacomo: Reasoning and Planning for LTLf/LDLf goals (chair: Marco Montali)

  • Coffee break

    -

  • Special session

    -

    Alberto Pettorossi: A short story of my professional life (chair: Maurizio Proietti)

  • Presentations

    -

    Foundations (chair: Marianna Nicolosi-Asmundo)

  • Lunch

    -

  • Presentations

    -

    Verification and Validation (chair: Laura Giordano)

  • Coffee break

    -

  • Presentations

    -

    Description logics (chair: Diego Calvanese)

  • GULP General meeting

    -

  • Social dinner

    -

Saturday

  • Presentations

    -

    Languages and Applications (chair: Fabio Fioravanti)

  • Coffee break

    -

  • Presentations

    -

    Temporal reasoning (chair: Federico Chesani)