AnyLog: a Grand Unification of the Internet of Things.

Daniel J. Abadi Owen Arden Faisal Nawab Moshe Shadmon

Published in: CIDR (2020)

Keyphrases

key technologies
higher order
physical world
mobile devices
equational theories
location information
ubiquitous computing
future internet
big data
theorem proving
neural network
automated theorem proving
databases
expert systems
computer vision
mobile computing
open standards
function symbols