Compositional Reasoning for Side-effectful Iterators and Iterator Adapters.
Aurel BílýJonas HansenPeter MüllerAlexander J. SummersPublished in: CoRR (2022)
Keyphrases
- input output
- reasoning systems
- conflicting information
- reasoning process
- resource bounded
- knowledge representation and reasoning
- automated reasoning
- operating system
- knowledge representation
- probabilistic reasoning
- model based reasoning
- reasoning problems
- knowledge base
- rule based reasoning
- model based diagnosis
- spatial reasoning
- social networks
- semantic web
- formal models
- reasoning about actions
- reasoning mechanisms
- information systems