Index: Abduction, temporal and causal reasoning; Belief revision and nonmonotonic reasoning; Case-based reasoning; Constraint-based reasoning and constraint programming; Genetic algorithms and neural networks; Intelligent user interfaces; Knowledge representation; Logic programming, theorem proving and search; Machine intelligence and knowledhe acquisition; Model-based, qualitative and spatial reasoning; Multi-agent systems; Natural language processing; Planning, scheduling, and reasoning about actions; Reasoning with uncertainty; Robotics and vision; Invited spakers.