tag : computational logics

7 publications
page_white_acrobat 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
page_white_acrobat Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
page_white_acrobat CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
page_white_acrobat 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
page_white_acrobat Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
page_white_acrobat Logics for Artificial Intelligence (Intelligenza Artificiale, 2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
page_white_acrobat 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