Declarative continuous reasoning in the cloud-IoT continuum.

Stefano Forti Giuseppe Bisicchia Antonio Brogi

Published in: J. Log. Comput. (2022)

Keyphrases

cloud computing
knowledge representation
management system
abductive logic programming
declarative knowledge
reasoning process

high level
analogical reasoning
service providers
qualitative reasoning
big data
production rules

data center
computing infrastructure
piecewise linear
mobile computing
data sets

logic programs
data management
description logics
fuzzy logic
knowledge base