The following pages link to Frank van Harmelen (Q685546):
Displaying 5 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- Explanation-based generalisation \(=\) partial evaluation (Q1109580) (← links)
- Debugging incoherent terminologies (Q2462643) (← links)
- The OYSTER-CLAM system (Q6488570) (← links)