Some techniques for reasoning automatically on co-inductive data structures.
Nicolas PeltierPublished in: J. Log. Comput. (2024)
Keyphrases
- data structure
- knowledge representation
- deductive reasoning
- inductive reasoning
- artificial intelligence
- automatically generated
- inductive learning
- formal models
- functional programs
- production rules
- inductive concept learning
- database
- reasoning mechanisms
- model based reasoning
- knowledge representation and reasoning
- reasoning systems
- qualitative reasoning
- spatial reasoning
- database management systems
- website
- knowledge base
- genetic algorithm
- machine learning