Extending Equational Monadic Reasoning with Monad Transformers.
Reynald AffeldtDavid NowakPublished in: TYPES (2020)
Keyphrases
- automated reasoning
- theorem proving
- datalog queries
- deductive databases
- reasoning systems
- reasoning process
- reasoning tasks
- qualitative reasoning
- uncertain information
- database
- meta level
- knowledge representation
- knowledge representation and reasoning
- datalog programs
- knowledge base
- inference rules
- multi agent
- legal reasoning
- database systems