Continuous Reasoning for Managing Next-Gen Distributed Applications.
Stefano FortiAntonio BrogiPublished in: ICLP Technical Communications (2020)
Keyphrases
- knowledge base
- probabilistic reasoning
- meta level
- reasoning tasks
- uncertain information
- logical reasoning
- information retrieval
- reasoning engine
- resource bounded
- reasoning problems
- model based reasoning
- discrete space
- continuous functions
- reasoning systems
- computational properties
- qualitative reasoning
- knowledge representation
- data streams
- information systems