CILC 2023


pagemagnifierpage_white_acrobatmagnifier

38th Italian Conference on Computational Logic

Udine, Italy, 21/06/2023 – 23/06/2023

The Italian Conference of Computational Logic (CILC) is the annual meting of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti Logic Programming) and since its first edition held in Genoa in 1986 it has represented an important occasion for meeting and exchanging ideas and experiences between users, researchers, and developers working in the field of Computational Logic.

The 38th annual conference will take place at the University of Udine and will be organized by the Department of Mathematics, Computer Science and Physics on 21-23 June 2023.

Over the years, the annual conference organized by GULP has broadened its horizons from the specific field of logic programming to the more general ones of Computational Logic, including for instance, declarative programming, constraints programming, and applications in various neighboring sectors, such as Artificial Intelligence and Deductive Databases. Once again with this year’s conference, the GULP intends to pursue, and possibly expand, this policy by identifying, with the more general term of Computational Logic, the entire variegated world of research, both basic and applied, which directly or indirectly uses or compare with the ideas and techniques of Computational Logic.

The conference program includes the presentation of contributions on specific theoretical or applied topics, and the presentation of software prototypes with the relative “demos”.

Two types of contribution are expected: long papers, possibly already published in journals or in proceedings of other conferences, or short papers. The latter are particularly suitable for presenting works in progress, even if not yet ready for publication, descriptions of software prototypes, summaries of doctoral theses, etc.

Topics of Interest
  • Abductive Logic Programming
  • Analysis, transformation, validation and verification of programs
  • Answer Set Programming
  • Applications of Computational Logic and systems
  • Approximate Reasoning
  • Automated Theorem Proving
  • Computational Logic and formal methods in Artificial Intelligence
  • Computational Logic for concurrency, coordination, mobility, agents and objects
  • Data mining and Data integration
  • Deductive databases
  • Extensions and integrations of declarative programming paradigms
  • Implementations and benchmarking of Computational Logic systems
  • Inductive Logic Programming
  • Knowledge representation and extraction
  • Logic programming, constraint programming and other declarative programming paradigms
  • Model-based Reasoning
  • Model Checking
  • Multi-agent systems
  • Natural language processing
  • Non-Monotonic Reasoning
  • Planning and scheduling
  • Probabilistic Logic Programming
  • Semantic Web
  • Temporal logics
  • Tools and environments for program development
  • Treatment of uncertain or incomplete knowledge

Tags:

Events / Views

Home
clouds
tags
per year
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014–1992
per date
forthcoming  |  deadlines

Event

— acronym

— type

conference

— series

GULP-AGP-CILC (38th, 2023)

— where

Udine, Italy

— when

21/06/2023–23/06/2023

dates

— abstract submission

24/03/2023

— paper submission

30/03/2023

— notification

01/05/2023

— camera-ready

01/06/2023

URLs

home page  |  submission

roles

— PC members

Andrea Omicini

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY