Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022”
Journal of Logic and Computation 33(8), pages 1711–1897
December 2023
Synopsis based on the public issue page and editorial: This special issue collects eight extended papers selected from CILC 2022. Its contributions cover computational logic, argumentation, and artificial intelligence, ranging from foundational and theoretical results to practical applications, case studies, and logic-programming technologies, while marking Prolog’s 50th anniversary.
Efficient compliance checking of RDF data (article in journal, 2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Preface (editorial/introduction/preface, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Journal of Logic and Computation (JLC)
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (article in journal, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini