A Logical Framework for Augmented Simulations of Wireless Sensor Networks.

Luca Gatani Giuseppe Lo Re Marco Ortolani

Published in: SMC (2006)

Keyphrases

logical framework
wireless sensor networks
inference rules
belief revision
reasoning tasks
sensor networks
energy consumption
energy efficient
linear logic
normative systems
possibilistic logic
epistemic logic
training data
multi dimensional
probabilistic inference