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

• Facebook page of the conference 

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.