Self-instructive spreadsheets: An environment for automatic knowledge acquisition and tutor generation

International Journal of Human Computer Studies

Volumn 52, Issue 5, 2000, Pages 775-803

  Lentini, M ^a   Nardi, D ^a   Simonetta, A ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Automatic documentation; Hypertext; Intelligent spreadsheets; Knowledge acquisition; Knowledge based tutoring systems

Indexed keywords

EID: 0345852483     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1999.0363     Document Type: Article

References (43)

1. ABITEBOUL, S. (1997). Querying semi-structured data. Proceedings of the 6th International Conference on Data Base, Theory ICDT-97, pp. 1-18.
2. ANDERSON, J. R. (1988). The expert module. In M. C. POLSON & J. J. RICHARDSON, Eds. Foundations of Intelligent Tutoring Systems, pp. 21-51. London: Lawrence Erlbaum Associates Publishers.
3. BADRE, A. N., CATARCI, T., MASSARI, A. & SANTUCCI, G. (1996). Comparative ease of use of a diagrammatic vs. an iconic query language. Proceedings of the 3rd International Workshop on User-Interfaces to Database Systems, pp. 1-14, Edinburgh, Scotland.
4. BONARINI, A. & FILIPPI, V. (1993). Designing a tool supporting the development of ITS in different domains: the DOCET experience. Interactive Learning Environments, 3, 131-149.
5. BORN, G. (1995). Symbolic link format (SYLK). In The File Formats Handbook, pp. 221-230. International Thomson Computer Press, London.
6. CARLSON, P.A. (1988). Hypertext: a way of incorporating user feedback into online documentation. In E. BARRET Ed. Text Context and Ipertext Writing with and for the Computer, pp. 93-110. Cambridge, MA: The MIT Press.
7. CHENG, M. H. M., VAN EMDEN, M. H. & LEE, J. H. M. (1988). Tables as a user interface for logic programs. Proceedings of the International Conference on Fifth Generation Computer Systems. Delphi, Greece and Tokyo, Japan.
8. DAVIS, J. S. (1996). Tools for spreadsheet auditing. International Journal of Human-Computer Studies, 45, pp. 429-442.
9. DAVIS, J. S. & KANET, J. J. (1994). Developing an application-specific interactive system based on a spreadsheet package. The Journal of Systems and Software, 25, 201-209.
10. DEKKER, M. (1980). Symbolic Mathematical computation. In Encyclopedia of Computer Science and Technology, Dekker M. Inc.
11. DE ROSA, M., CATARCI, T., IOCCHI, L., NARDI, D. & SANTUCCI, G. (1998). Materializing the web. Proceedings of the 3rd IFCIS Conference on Cooperative Information Systems (CoopIS'98). New York, August.
12. DE ROSIS, F., PIZZUTILO, S. & DE CAROLIS, B. (1996). A tool to support specification and evaluation of context-customized interfaces. SIGCHI Bulletin, 28, 82-88.
13. FISCHER, G. & RATHKE, C. (1988). Knowledge based spreadsheets. Proceedings of the 7th National Conference on Artificial Intelligence, pp. 802-807. St. Paul, Minnesota.
14. HENDRY, D. & GREEN, T. (1994). Creating, comprehending, and explaining spreadsheets: a cognitive interpretation of what discretionary users think of spreadsheet model. International Journal of Human-Computer Studies, 40, 1033-1065.
15. HYVONEN, E. & DE PASCALE, S. (1999). A new basis for spreadsheet computing: Interval Solver for Microsoft Excel. Proceedings of the 11th Innovative Applications of Artificial Intelligence Conference. Menlo Park, CA: AAAI Press.
16. JENKS, R. D. & SUTOR, R. S. (1992). AXIOM: the Scientific Computation System, NAG. Berlin: Springer-Verlag.
17. KRYWACZEK, F. (1985). LogiCalc - a prolog spreadsheet. In Hayes, O. M. and Brodie, J., Eds. Machine Intelligence, col. 11, pp. 193-208. Clarendon Press, Oxford.
18. LAKSHMANAN, L. V. S., SUBRAMANIAN, S. N., GOYAL, N. & KRISHNAMURTY, R. (1998). On querying spreadsheets. Proceedings of the 14th International Conference on Data Engineering, pp. 134-141. Los Alamitos, CA: IEEE Computer Society.
19. LENTINI, M., NARDI, D. & SIMONETTA, A. (1995). Automatic generation of tutors for spreadsheet applications. Proceedings of the 7th World Conference on Artificial Intelligence in Education, pp. 59-66. Washington, DC.
20. LENTINI, M., NARDI, D. & SIMONETTA, A. (1996). A system for automatic generation of self-instructive spreadsheet applications. Proceedings of the 4th International Conference on the Practical Application of Prolog, pp. 217-234. London, UK.
21. LU, R., CAO, C., CHEN, C. & HAN, Z. (1995). On automatic generation of intelligent tutoring system. Proceedings of the 7th World Conference on Artificial Intelligence in Education, pp. 67-74. Washington, DC.
22. MALLEN, C. (1996). Designing intelligent help for information processing systems. International Journal of Human-Computer Studies, 45, 349-377.
23. MIZOGUCHI, R. & IKEDA, M. (1991). A generic framework for ITS and its evaluation. In R. LEWIS & S. OTSUKI, Eds. Advanced Research on Computers in Education, pp. 63-72 Amsterdam: North-Holland.
24. NARDI, B. A. & MILLER, J. R. (1991). Twinking lights and nested loops: distributed problem solving and spreadsheet development. International Journal of Man-Machine Studies, 34, 161-184.
25. NARDI, D. & SERRECCHIA, G. (1994). Automatic generation of explanation for spreadsheet applications. Proceedings of IEEE Conference on Applications of Artificial Intelligence, pp. 268-274. S. Antonio, TX.
26. PETERSON, J. L. (1977). Petri nets. Computing Surveys, 9, 223-252.
27. PRICE, J. (1988). Creating a style for online help. In E. BARRET, Ed. Text Context and Hypertext Writing with and for the Computer, pp. 329-341. Cambridge, MA: The MIT Press.
28. REFF, B. J. (1994). Dynamic-viewing spreadsheets. Byte, 11, 255-258.
29. REITER, E., MELLISH, C. & LEVINE, J. (1995). Automatic generation of technical documentation. Applied Artificial Intelligence, 9, 259-287.
30. RONEN, B., PALLEY, M.A. & LUCAS, H. C. (1989). Spreadsheet analysis and design. Communications of the ACM, 32, 84-93.
31. SAARILUOMA, P. & SAJANIEMI, J. (1991). Extracting implicit tree structures in spreadsheet calculation. Ergonomics, 34, 1027-1046.
32. SAJANIEMI, J. (1998). Modeling spreadsheet audit: a rigorous approach to automatic visualization. Report A-1998-5, Department of Computer Science, University of Joensuu, Finland.
33. SCHWABE, D., CAOLINI, A., GARZOTTO, F. & PAOLINI, P. (1992). Hypertext development using a model-based approach. Software-Practice and Experience, 22, 937-962.
34. SELF, J. (1990). Theoretical foundations for intelligent tutoring systems. Journal of Artificial Intelligence in Education, 1, 3-14.
35. SHNEIDERMAN, B., AHLBERG, C. & WILLIAMSON, C. (1993). Dynamic queries for information exploration: an implementation and evaluation. In B. SHNEIDERMAN, Ed. Sparks of Innovation in Human-Computer Interaction, pp. 281-294. Norwood, NJ: Ablex Publ.
36. TANG, Y. Y., YAN, C. D. & SUEN, C. Y. (1992). Document processing for automatic knowledge acquisition. IEEE Transactioins on Knowledge and Data Engineering, 6, 3-20.
37. THIMBLEBY, H. W. & LADKIN, P. B. (1997). From logic to manuals again. IEEE Proceedings on Software Engineering, 144, 185-192.
38. VAN BILJON, W. (1988). Extending Petri nets for specifying man-machine interaction. International Journal of Man-Machine Studies, 28, 437-455.
39. VALLEY, K. (1992). Explanation, exploration and learning: the use of expert system shell in education. Journal of Artificial Intelligence in Education, 3, 255-273.
40. VAN EMDEN, M. H., OHKI, M. & TAKEUCHI, A. (1986). Spreadsheets with incremental queries as a user interface for logic programming. New Generation Computing, 4, 287-304.
41. WEST, V. & BABB, E. (1990). A spreadsheet with visible logic. ICL Technical Journal, 7, 319-327.
42. YAZDANI, M. (1987). Intelligent tutoring systems: an overview. In R. L. LAWLER & M. YAZDANI, Eds. Artificial Intelligence & Tutoring Systems, pp. 183-201. NJ: Norwood.
43. ZHOU, H. B. & RICHTER, L. (1994). Very fast distributed spreadsheet computing. The Journal of Systems and Software, 25, 185-192.