Automated Algebraic Reasoning for Collections and Local Variables with Lenses.
Simon FosterJames BaxterPublished in: RAMiCS (2020)
Keyphrases
- information retrieval
- relevant variables
- semi automated
- knowledge representation
- document collections
- reasoning systems
- imaging systems
- algebraic structures
- logical formulas
- rule based reasoning
- model based reasoning
- analogical reasoning
- automated analysis
- reasoning tasks
- variable selection
- fully automated
- semi automatic
- description logics
- higher order
- knowledge base
- input variables
- qualitative reasoning
- automated reasoning
- uncertain information
- digital libraries
- bayesian networks
- metadata