Summary and Conclusion
Key Points:
- Knowledge entry = “component assembly”
- Graphical interface based on
- dialog in terms of examples
- claim that a limited set of axiom types is adequate
Key Results:
- It (really!) works!
- …but…
- Some knowledge not captured
- Some mistakes still made
- Viewpoints not well handled