A Modular Approach to Metatheoretic Reasoning for Extensible Languages.
Dawn MichaelsonGopalan NadathurEric Van WykPublished in: CoRR (2023)
Keyphrases
- highly flexible
- expressive power
- language independent
- databases
- knowledge base
- knowledge representation
- reasoning systems
- reasoning tasks
- automated reasoning
- reasoning process
- qualitative reasoning
- modular neural networks
- spatial reasoning
- machine learning
- database
- markup language
- text summarization
- cross lingual
- object oriented
- analogical reasoning
- artificial intelligence
- highly expressive
- deductive reasoning
- vague concepts
- syntactic and semantic dependencies
- derivation rules