Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem.
Chu Min LiZhe QuanPublished in: ICTAI (1) (2010)
Keyphrases
- graph structure
- graphical models
- deductive reasoning
- propositional logic
- graph model
- undirected graph
- probabilistic logic
- graph representations
- tree structure
- directed graph
- knowledge base
- knowledge representation
- databases
- default logic
- proof procedure
- first order logic
- reinforcement learning
- weighted graph
- graph structures
- truth maintenance systems