Java Core Library

• Parser
• Representation
• Container
• Evaluator and default functions
• Request handler
• Unit tester

Java Common Library

• Graphs
  • Types
    • Directed graph
    • Undirected graph
    • Weighted graph
  • Functions
    • Transpose
    • Bellman Ford shortest path
    • Depth first search
    • Strongly connected components
    • Directed graph to DOT format
    • Undirected graph to DOT format
• Planning
  • Types
    • State
    • Goal
    • Operator
    • Planning problem
    • Plan
  • Functions
    • State-variable planner
    • Forward search planner
    • Fast forward heuristic
    • Causal graph heuristic
• Machine learning
  • Types
    • Attributes
    • Data
    • Supervised machine learning problem
  • Functions
    • Decision tree learner
    • Decision tree classifier
    • Decision tree model tester
    • Data shuffler
    • Data splitter
    • Accuracy calculator
• Reasoning
  • Types
    • Prolog knowledge base
  • Functions
    • Prolog query runner

Java Examples

• Planning and Goal Inference
• Planning for Learning
• Learning for Planning