Extending Equational Monadic Reasoning with Monad Transformers.
Reynald AffeldtDavid NowakPublished in: CoRR (2020)
Keyphrases
- deductive databases
- theorem proving
- knowledge base
- reasoning systems
- knowledge representation and reasoning
- model based reasoning
- model based diagnosis
- reasoning tasks
- equational theories
- datalog queries
- rule based reasoning
- logic programming
- legal reasoning
- automated reasoning
- analogical reasoning
- datalog programs
- uncertain information
- neural network
- qualitative reasoning
- inference rules
- knowledge representation
- special case
- decision making
- artificial intelligence