Sound reasoning in tock-CSP.
James BaxterPedro RibeiroAna CavalcantiPublished in: Acta Informatica (2022)
Keyphrases
- constraint satisfaction problems
- reasoning systems
- constraint satisfaction
- reasoning process
- constraint propagation
- model based reasoning
- analogical reasoning
- constraint programming
- automated reasoning
- search algorithm
- reasoning tasks
- meta level
- knowledge base
- arc consistency
- knowledge representation
- reasoning problems
- closest string