Declarative continuous reasoning in the cloud-IoT continuum.
Stefano FortiGiuseppe BisicchiaAntonio BrogiPublished 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