Programming distributed applications with symbolic reasoning on WSNs.

Salvatore Gaglio Giuseppe Lo Re Gloria Martorella Daniele Peri

Published in: ICNC (2015)

Keyphrases

symbolic reasoning
wireless sensor networks
symbolic representation
production rules
programming language
energy consumption
sensor nodes
diagrammatic reasoning
artificial intelligence
sensor networks
logic programs
routing protocol