A First Order Logic Definition of Beyond-Planar Graphs.

Franz J. Brandenburg

Published in: J. Graph Algorithms Appl. (2018)

Keyphrases

first order logic
planar graphs
expressive power
knowledge representation
markov networks
inductive logic programming
markov logic networks
approximate inference
graphical models
weighted graph