Declarative continuous reasoning in the cloud-IoT continuum

Publication
J. Log. Comput.
Stefano Forti
Stefano Forti
Assistant Professor

Assistant Professor @ University of Pisa, Italy.

Giuseppe Bisicchia
Giuseppe Bisicchia
PhD Student

PhD student in Computer Science @ University of Pisa, Italy.

Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.