Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.

Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca

Browse the full PADL paper archive.