Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.
Lars-Henrik ErikssonPublished in: CADE (1994)
Keyphrases
- highly interactive
- user interaction
- inductive learning
- databases
- automated deduction
- user friendly
- computer graphics
- genetic algorithm
- real time
- evolutionary algorithm
- virtual reality
- expressive power
- inductive logic programming
- machine learning
- data visualization
- partial information
- neural network
- interactive video