Keyphrases
- multi agent systems
- multi valued
- series parallel
- graph theory
- classical logic
- graph representation
- graph matching
- graph mining
- complex structures
- labeled graphs
- temporal relations
- graph databases
- weighted graph
- bipartite graph
- query answering
- graph theoretic
- directed graph
- expressive power
- social network analysis
- defeasible logic
- graph structures
- digital circuits
- predicate logic
- logic programming
- proof theory
- logical formulas
- pairwise