Graph Properties for Normal Logic Programs.
Agostino CortesiGilberto FiléPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- graph properties
- normal logic programs
- logic programs
- stable models
- graph theoretic
- graph theory
- default reasoning
- answer sets
- logic programming
- directed graph
- deductive databases
- answer set programming
- knowledge representation and reasoning
- maximal cliques
- stable model semantics
- clustering coefficient
- social networks
- graph data
- data structure