This document contains the full and short papers on intelligent tutoring systems (ITS) from ICCE/ICCAI 2000 (International Conference on Computers in Education/International Conference on Computer-Assisted Instruction) covering the following topics: a framework for Internet-based distributed learning; a fuzzy-based assessment for the Perl tutoring system, a learning environment for problem posing in simple arithmetical word problems; a method of creating counterexamples by using error-based simulation; adaptive programming language tutoring system on the World Wide Web; an agent-based collaborative learning environment for ITS; an agent-based ITS; an educational system that can visualize the behavior of programs on the domain world; an environment for learning by design in the case of learning of search algorithms; an online ITS for elementary algebra; automatic background knowledge construction using genetic algorithms; AWETS (Automatic Web-Based English Testing System); case-based evaluating assistant of novice program; CBR-Tutor--a case-based reasoning approach to an Internet agent-based tutoring system; controlling problem progression in adaptive testing; development of an intelligent learning support system with a large knowledge base; educational agents and the social construction of knowledge; generating interactive explanations by using both images and texts for Micro World; intelligent interactive learning environment design issues; towards a meta-knowledge agent--creating the context for thoughtful instructional systems; modeling the tutor using reinforcement learning; monitoring and verifying mathematical proofs formulated in a restricted natural language; a multimedia ITS for context-free grammar; MyEnglishTeacher--a Web system for academic English teaching; navigation script for the Web; organization of the introductory and motivating stage of activity in a computer tutoring system; the application of uncertainty reasoning for an ITS; the design and implementation of an automatic exercise generator with tagged documents based on the intelligence of students (AEGIS); traversing the case graphs: a computer model for developing case-based learning systems; use of abstraction levels in the design of ITS; and using decision networks for adaptive tutoring. (MES)