Collagories: Relation-algebraic reasoning for gluing constructions.
Wolfram KahlPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- abstract argumentation
- topological relations
- knowledge base
- automated reasoning
- reasoning tasks
- data sets
- machine learning
- spatial reasoning
- qualitative reasoning
- rule based reasoning
- default reasoning
- meta level
- production rules
- reasoning process
- legal reasoning
- causal reasoning
- mathematical theory
- data mining
- reasoning engine
- databases