Fishing Fort: A System for Graph Analytics with ML Prediction and Logic Deduction.
Wenfei FanShuhao LiuPublished in: Tannen's Festschrift (2024)
Keyphrases
- maximum likelihood
- predictive modeling
- prediction accuracy
- computer algebra
- intuitionistic logic
- learning analytics
- prediction model
- graph representation
- protein function prediction
- proof procedure
- inference rules
- graph structure
- prediction algorithm
- logic programming
- theorem proving
- prediction error
- deductive reasoning
- graph theory
- bipartite graph
- case study
- data management
- business intelligence
- structured data
- directed graph
- graph model
- connected components
- protein interaction
- graph databases
- predictive model
- classical logic
- big data
- text mining
- knowledge representation
- data analysis
- image segmentation
- decision making