The Italian Conference on Computational Logic (CILC) is the annual meeting of the Italian Association for Logic Programming (GULP - Gruppo Ricercatori e Utenti Logic Programming).

Since its first edition, which was held in Genoa in 1986, the Conference has represented an important occasion for meeting and exchanging ideas and experiences between users, researchers, and developers working in the field of Computational Logic.

Over the years, the Conference organized by GULP has broadened its horizon from the specific field of logic programming to the more general one of Computational Logic, including for instance, declarative programming, constraint programming, and applications in various neighboring sectors, such as Artificial Intelligence.

The 39th Italian Conference on Computational Logic will be held in Rome at the National Research Council of Italy on 26-28 June 2024.

The Conference will feature presentations of invited speakers and contributed papers concerning all aspects of computational logic. The topics of interest for the conference are, but are not limited to, the following:

• 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 Argumentation
• 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

The Conference solicits two types of submissions:

• Full papers, possibly already published in journals or in proceedings of other conferences, and
• Short papers, which are particularly suitable to present work in progress, software prototypes, extended abstracts of doctoral theses, and general overviews of research projects.

Accepted original contributions will be included in a volume of the CEUR Workshop Proceedings.

Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if available.

For each paper accepted, at least one of the authors is required to make a senior registration (details will be available soon on the web site).

Following the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be determined). Extensions of accepted non-original contributions, if not yet published in a journal, can be considered for the inclusion in the special issue.