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 

temi di interesse

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.

numero speciale

 Special issue: Selected papers from the 37th Italian Conference on Computational Logic (CILC 2022)

evento origine per pubblicazione

 Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (numero speciale, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 CILC 2022 – Italian Conference on Computational Logic (curatela, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 Knowledge injection of Datalog rules via Neural Network Structuring with KINS (articolo in rivista, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini

 KINS: Knowledge Injection via Network Structuring (articolo in atti, 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini

 Efficient compliance checking of RDF data (articolo in rivista, 2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa

 Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editoriale/introduzione/prefazione, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 Preface (editoriale/introduzione/prefazione, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 Taking stock of available technologies for compliance checking on first-order knowledge (articolo in atti, 2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis

 Logic Programming library for Machine Learning: API design and prototype (articolo in atti, 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

evento contenitore per presentazione

 Logic Programming library for Machine Learning: API design and prototype (CILC 2022, 01/08/2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Castiglio, Roberta Calegari)

 KINS: Knowledge Injection via Network Structuring (CILC 2022, 01/07/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)

evento sorgente per

 Special issue: Selected papers from the 37th Italian Conference on Computational Logic (CILC 2022)