Journal of Logic and Computation
works as
Efficient compliance checking of RDF data (2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Preface (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
Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Arg2P: An argumentation framework for explainable intelligent systems (2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Decision procedures for BDI logics (1998) — Anand S. Rao, Michael P. Georgeff