Compositional Reasoning for Non-multicopy Atomic Architectures.
Nicholas CoughlinKirsten WinterGraeme SmithPublished in: Formal Aspects Comput. (2023)
Keyphrases
- knowledge base
- automated reasoning
- knowledge representation and reasoning
- reasoning process
- reasoning tasks
- logical reasoning
- reasoning mechanism
- rule based reasoning
- reasoning systems
- computational properties
- decision making
- meta level
- production rules
- case based reasoning
- knowledge representation
- query language
- parallel architectures
- model based reasoning
- resource bounded
- multi agent
- real world