37th Italian Conference on Computational Logic

Bologna, Italy, 29/06/2022 – 01/07/2022

Since its first edition, which was held in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers, and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighbouring areas such as artificial intelligence and deductive databases.

The 37th edition will be held in Bologna (Italy) from June 29th to July 1st, 2022.

Topics of Interest

This conference provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to computational logic; including, but not limited to:

  • Abductive Logic Programming
  • Analysis, transformation, validation, and verification of declarative 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, and objects
  • Data Mining and Data Integration
  • Deductive Databases
  • Extensions and integrations of declarative programming paradigms
  • Inductive Logic Programming
  • Knowledge representation and extraction
  • Logic Programming, Constraint Programming, and other paradigms of declarative programming
  • Logics for strategic reasoning
  • Model Checking
  • Model-Based Reasoning
  • Multi-Agent systems
  • Natural Language Processing
  • Non-Monotonic Reasoning
  • Pedagogy of Computational Logic
  • Planning and scheduling
  • Probabilistic Logic Programming
  • Semantic Web
  • Temporal logics
  • Tools and environments for program development
  • Treatment of uncertain and incomplete knowledge.

Tags:

Event

37th Italian Conference on Computational Logic

— acronym

CILC 2022

— type

conference

— series

GULP-AGP-CILC (37th, 2022)

— where

Bologna, Italy

— when

29/06/2022–01/07/2022

Dates

— paper submission

22/05/2022

— notification

05/06/2022

— camera-ready

15/06/2022

URLs

home page
submission

Organisation

— general chair

Andrea Omicini

— program chair

Roberta Calegari, Giovanni Ciatto

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY