Correction to: Sound reasoning in tock-CSP.
James BaxterPedro RibeiroAna CavalcantiPublished in: Acta Informatica (2022)
Keyphrases
- constraint satisfaction problems
- knowledge representation
- constraint satisfaction
- constraint programming
- model based reasoning
- knowledge base
- constraint propagation
- reasoning problems
- arc consistency
- distributed constraint satisfaction
- reasoning systems
- probabilistic reasoning
- tree decomposition
- reasoning tasks
- reasoning process
- decomposition methods
- distortion correction
- closest string
- analogical reasoning
- automated reasoning
- formal models
- uncertain information
- data sets
- qualitative reasoning
- constraint networks
- error correction
- artificial intelligence
- neural network