Improving Transitive Embeddings in Neural Reasoning Tasks via Knowledge-Based Policy Networks (full paper).
Shervin MehryarRemzi CelebiPublished in: SemREC/SMART@ISWC (2022)
Keyphrases
- reasoning tasks
- description logics
- temporal reasoning
- automated reasoning
- logic programming
- answer set programming
- abductive reasoning
- network architecture
- point algebra
- expert systems
- reasoning problems
- situation calculus
- bucket elimination
- neural network
- transitive closure
- complex networks
- optimal policy
- data mining
- dl lite
- logic programs
- quantified boolean formulas
- query language