Directed Graph Networks for Logical Reasoning (Extended Abstract).
Michael RawsonGiles RegerPublished in: PAAR+SC²@IJCAR (2020)
Keyphrases
- extended abstract
- directed graph
- logical reasoning
- directed edges
- random walk
- graph structures
- formal semantics
- source node
- graph structure
- edge weights
- directed acyclic graph
- maximum flow
- strongly connected
- computer networks
- undirected graph
- graph properties
- machine learning
- black box
- complex networks
- network structure