Lindenmayer graph languages, first-order theories and expanders.
Teodor KnapikPublished in: CoRR (2024)
Keyphrases
- theory revision
- expressive power
- higher order
- first order logic
- graph based algorithm
- structured data
- databases
- logical theories
- random walk
- bipartite graph
- graph theoretic
- graph representation
- cross lingual
- grammatical inference
- horn clauses
- graph model
- graph theory
- graph matching
- graph databases
- language independent
- text summarization
- weighted graph
- graph construction
- theoretical framework
- text classification
- bayesian networks