References

---

Alchourr n, C., Makinson, D., & G rdenfors, P. (1985). On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510–530.

Antoniou, G., & Williams, M.-A. (1996). Reasoning with incomplete and changing information. Journal of Information Science, 99(1 & 2), 83–99.

Bertel, T. What is Knowledge Management? The Knowledge Management Forum. Available on the World Wide Web: http://www.km-forum.org/what_is.htm

Bruff, C. M., & Williams, M. -A. (1999). An intelligent tutoring system architecture based on knowledge representation and reasoning. In Proceedings of the Seventh International Conference on Computers in Education (pp. 736–743). IOS Press.

Bruff, C. M., & Williams, M. -A. (2000). An agent-based intelligent tutoring system. Eighth International Conference on Computers in Education (pp. 427–433). IOS Press.

De Diana, I., & Aroyo, L. Knowledge management for networked learning environments: Applying intelligent agents. Available from the World Wide Web: http://projects.edte.utwente.nl/proo/italo.htm

De Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28, 127–162.

Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12, 231–272.

Dubois, D., & Prade, H. (1992). Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50, 223–239.

Giangrandi, P., & Tasso, C. (1995). Truth maintenance techniques for modelling students’ behaviour. J. Artificial Intelligence in Education, 6, 153–202.

Huang, X. (1994). Modeling a student’s inconsistent beliefs and attention. In

J. E. Greer, & G. I. McCalla (Eds.), Student modeling: The key to individualized knowledge-based instruction (pp. 267–280).

Huang, X., & McCalla, G. (1992). Instructional planning using Focus of Attention. In C. Frasson, G. Gauthier, & G. McCalla (Eds.), Second International Conference on Intelligent Tutoring Systems (pp. 443– 450). Montreal, Canada.

Kono, Y., Ikeda, M., & Mizoguchi, R. (1992). To contradict is human—Student modeling of inconsistency. In C. Frasson, G. Gauthier, & G. McCalla (Eds.), Second International Conference on Intelligent Tutoring Systems (pp. 451–458). Montr al, Canada.

Lelouche, R., & Morin, J. F. (1996). Using qualitative reasoning in cost engineering. The Role of Qualitative Reasoning Techniques in Intelligent Tutoring Systems, proceedings workshop held at the Third International Conference, ITS’96, Montr al, Canada.

Lelouche, R., & Morin, J. F. (1997). Knowledge types and tutoring interactions in an ITS in a problem-solving domain. In Proceedings of the 10th Florida Artificial Intelligence Research Symposium (FLAIRS-97)— Special Track on Intelligent Tutoring Systems (pp. 62–66), 10–14 May, Daytona Beach, Florida. Journal of Man–Machine Studies, 11, 97–124.

Lelouche, R., & Morin, J. F. (1997). Use of abstraction and complexity levels in intelligent educational systems design. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97) (pp. 329–334). Nagoya, Japan.

LLTSC. Learning technology standards committee Web site. Available on the World Wide Web: http://ltsc.ieee.org/

McCalla, G. I., & Greer, J. E. (1994). Granularity based reasoning and belief revision in student models. In J. E. Greer, & G. I. McCalla (Eds.), Student modeling: The key to individualized knowledge-based instruction (pp. 39–62).

Mizoguchi, R., Ikeda, M., & Kakusho, O. (1988). An innovative framework for intelligent tutoring systems. In P. Ercoli, & R. Lewis (Eds.), Artificial intelligence tools in education (pp. 105–120).

Morin, J. F., & Lelouche, R. (1998). Agent-oriented tutoring knowledge modeling in a problem-solving ITS. In Proceedings of the ACMSIGART Workshop on Interaction Agents (IA 98) (pp. 26–32). May 24, L’Aquila, Italy.

Norman, D. A. (1992). Cognitive artifacts. In J. M. Carroll (Ed.), Designing interaction: Psychology at the human–computer interface (pp. 17–38). London; New York: Cambridge University Press.

Norrie, D. H., & Gaines, B. R. The learning Web: A system view and an agent- oriented model. Available on the World Wide Web: http:// ksi.cpsc.ucalgary.ca/articles/ LearnWeb/EM95J/

Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81–132.

Sheridan, T. B. (1992). Telerobotics, automation, and human supervisory control. Cambridge, MA: MIT Press.

SIGCUE. (1992). Computer-supported collaborative learning. Bulletin of the Special Interest Group for Computer Uses in Education (SIGCUE), 21(3), 1–65.

Silveira, R. A., & Viccari, R. M. (1998). Distance learning: From the intelligent tutor paradigm to a multi-agents architecture. In F. Oliveira (Ed.), Lectures Notes on Artificial Intelligence—SBIA’98. Heidelberg: Springer-Verlag.

Taylor, R. What is knowledge management? The Knowledge Management Forum. Available on the World Wide Web: http://www.km-forum.org/what_is.htm

Tecuci, G. (1998). Building intelligent agents: An apprenticeship multi- strategy learning theory, methodology, tool and case studies. New York: Academic Press.

Wenger, . (1987). Artificial intelligence and tutoring systems. Los Altos, CA: Morgan Kaufmann.

Wiig, K. (1995). Knowledge flows, knowledge management methods: Practical approaches to managing knowledge. Arlington, TX: Schema Press.

Wiley, D. A. (Ed.). (2002). The instructional use of learning objects. The Agency for Instructional Technology and the Association for Educational Communications and Technology.

Wooldridge, M., & Jennings, N. R. (1994). Agent theories, architectures, and languages: A survey. In ECAI Workshop on Agent Theories, Architectures, and Languages (pp. 1–39).

---