Encoding Argument Graphs in Logic.
Philippe BesnardSylvie DoutreAndreas HerzigPublished in: IPMU (2) (2014)
Keyphrases
- modal logic
- logic programming
- logic based argumentation
- fractal image compression
- classical logic
- graph clustering
- graph representation
- graph model
- graph matching
- directed graph
- graph mining
- weighted graph
- graph theoretic
- automated reasoning
- multi valued
- random graphs
- subgraph isomorphism
- logical formulas
- undirected graph
- graph theory
- bipartite graph
- encoding scheme
- social networks