CILC 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.

• 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