journal : Journal of Logic and Computation
7 articles
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 Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini Efficient compliance checking of RDF data (Journal of Logic and Computation, 2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (2023) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation, 2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor Decision procedures for BDI logics (Journal of Logic and Computation, 1998) — Anand S. Rao, Michael P. Georgeff