Smart Sensorization Using Propositional Dynamic Logic.

Salvador Merino Alfredo Burrieza Francisco Guzmán Javier Martínez

Published in: Sensors (2022)

Keyphrases

propositional dynamic logic
reasoning about actions
dynamic logic
data sets
artificial intelligence
smart environments
databases
decision making
image processing
ubiquitous environments