This document contains the full and short papers on artificial intelligence in education from ICCE/ICCAI 2000 (International Conference on Computers in Education/International Conference on Computer-Assisted Instruction) covering the following topics: a computational model for learners' motivation states in individualized tutoring system; a fuzzy-based assessment for Perl tutoring system; a genetic approach to parallel test construction; a learning environment for problem posing in simple arithmetical word problems; a method of creating counterexamples by using error-based simulation; a study of a networked constructive CAI (Computer Assisted Instruction) system using multiplication; adaptive programming language tutoring system on the World Wide Web; an agent-based intelligent tutoring system; an educational system that can visualize behavior of programs on the domain world; an environment for learning by design; applicability of an educational system assisting teachers of novice programming to actual education; a case-based evaluating assistant of novice programs; development and evaluation of a call system for supporting the writing of technical Japanese texts on the Web; development and evaluation of a mental model framing support ITS (Intelligent Tutoring System); development of intelligent learning support system with a large knowledge base; educational agents and the social construction of knowledge; facilitating examples understanding through explicit questioning; generating interactive explanations by using both images and texts for Micro World; intelligent interactive learning environment design issues; Internet video on demand system of classroom teaching cases-building 'Rhapsody': an intelligent media-oriented remote educational system for self-learning support; learning protocols for knowledge discovery--a collaborative data-mining approach to creative science education; monitoring and verifying mathematical proofs formulated in a restricted natural language; natural language-like knowledge representation for multimedia educational systems; the application of uncertainty reasoning for an ITS; the design and implementation of automatic exercise generator with tagged documents based on the intelligence of students (AEGIS); the design of CAI with thinking activity to progress constructive teaching; the estimation of music genres using neural network and its educational use; the externalization support system of self-explanation for the learning problem-solving process; traversing the case graphs--a computer model for developing case-based learning systems; use of abstraction levels in the design of intelligent tutoring systems; and using decision networks for adaptive tutoring. (MES)