CILC 2021

Convegno Italiano di Logica Computazionale – 36º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming
Parma, Italy, 07/09/2021–09/09/2021

The Italian Conference on Computational Logic (CILC) is the annual conference organized by the Group of researchers and Users of Logic Programming (GULP).

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 neighboring areas such as artificial intelligence and deductive databases.

The 36th edition will be held in Parma (Italy) from September 7th to September 9th, 2021.

Due to the COVID-19 pandemic, online participation to the conference will be guaranteed.

topics of interest
  • Abductive Logic Programming
  • Analysis, transformation, validation, and verification of programs
  • Answer Set Programming
  • Applications of Computational Logic
  • 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
works as
origin event for publication
page_white_acrobatA Mechanism for Reasoning over Defeasible Preferences in Arg2P (paper in proceedings, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
hosting event for talk
page_white_powerpointA Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)