A Formal Theory of Undirected Graphs in Higher-Order Logic.
Ching-Tsun ChouPublished in: TPHOLs (1994)
Keyphrases
- formal theory
- higher order logic
- undirected graph
- higher order
- theorem prover
- conditional logic
- logical framework
- directed graph
- spanning tree
- approximation algorithms
- minimum cost
- connected components
- directed acyclic graph
- graph structure
- complex networks
- spatial reasoning
- vertex set
- multicommodity flow
- artificial intelligence
- inference rules
- data representation
- belief revision
- social network analysis
- mathematical model
- gray scale
- probability distribution
- np hard
- computational complexity
- social networks