tag : computational logics
7 publications
Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (PLP 2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini Logics for Artificial Intelligence (Intelligenza Artificiale, 2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu