Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits.
Axel PoignéPublished in: CTCS (1985)
Keyphrases
- reasoning systems
- knowledge base
- knowledge representation
- automated reasoning
- numerical values
- model based reasoning
- categorical data
- qualitative reasoning
- analogical reasoning
- causal reasoning
- production line
- reasoning process
- data sets
- spatial reasoning
- default reasoning
- legal reasoning
- computational properties
- model based diagnosis
- attribute values
- software development
- case based reasoning
- social networks
- raw material
- product line
- information retrieval