Colored E-Graph: Equality Reasoning with Conditions.
Eytan SingherShachar ItzhakyPublished in: CoRR (2023)
Keyphrases
- sufficient conditions
- knowledge base
- graph representation
- bipartite graph
- graphical representation
- random walk
- graph theoretic
- reasoning systems
- structured data
- graph theory
- knowledge representation
- directed graph
- directed acyclic graph
- graph clustering
- automated reasoning
- spatial reasoning
- graph search
- graph databases
- production rules
- expert systems
- graph mining
- graph matching
- connected components
- first order logic
- reasoning tasks
- reasoning process
- case based reasoning
- random graphs
- uncertain information
- artificial intelligence