Reasoning Algebraically about Loops.
Ralph-Johan BackJoakim von WrightPublished in: Acta Informatica (1999)
Keyphrases
- multi agent
- knowledge base
- reasoning systems
- resource bounded
- spatial reasoning
- qualitative reasoning
- consistency checking
- reasoning process
- reasoning tasks
- iterative methods
- scientific discovery
- knowledge processing
- knowledge representation and reasoning
- neural network
- bayesian networks
- information systems
- social networks
- genetic algorithm