Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach.
Oguzhan KeskinAlisia Maria LupidiStefano FioravantiLucie Charlotte MagisterPietro BarbieroPietro LioFrancesco GianniniPublished in: TAG-ML (2023)
Keyphrases
- artificial intelligence
- desirable properties
- theorem proving
- case based reasoning
- graph patterns
- dynamic graph
- equational theories
- design patterns
- structural properties
- expert systems
- ai methods
- computational intelligence
- itemsets
- pattern discovery
- machine learning
- theorem prover
- graph mining
- graph data
- graph properties