CILC 2023

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