Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams.
Elena V. RavvePublished in: FoIKS (2020)
Keyphrases
- distributed data streams
- data streams
- optimization algorithm
- distributed environment
- incremental learning
- optimization method
- defeasible logic
- data driven
- optimization process
- databases
- modal logic
- combinatorial optimization
- proof theory
- global optimization
- monitoring system
- optimization problems
- knowledge representation
- genetic algorithm