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