Logic for Nested Graphs.
Anne PrellerMarie-Laure MugnierMichel CheinPublished in: Comput. Intell. (1998)
Keyphrases
- graph matching
- graph theoretic
- graph mining
- digital circuits
- logic programming
- directed graph
- proof theory
- graph theory
- weighted graph
- graph partitioning
- graph representation
- hierarchical data structures
- probability theory
- automated reasoning
- deontic logic
- series parallel
- sound and complete axiomatization
- asynchronous circuits
- neural network
- graph construction
- classical logic
- random graphs
- graphical models
- pairwise
- data structure