tag : logic-based techniques

Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari

Il Milione. Viaggio nella logica computazionale in Italia () — Matteo Baldoni, Cristina Baroglio