SeLFiE: Modular Semantic Reasoning for Induction in Isabelle/HOL.
Yutaka NagashimaPublished in: CoRR (2020)
Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- proof planning
- reasoning systems
- theorem proving
- inference rules
- natural language
- inductive reasoning
- semantic information
- semantic annotation
- domain independent
- semantic description
- higher order logic
- high level
- reasoning tasks
- derivation rules
- data sets
- semantic search
- semantic network
- first order logic
- spatial reasoning
- inductive learning
- semantic representation
- inductive logic programming
- constructive induction
- semantic web
- logical reasoning
- domain specific
- knowledge representation
- machine learning