12. ICTAI 2000: Vancouver, BC, Canada

Session A1: Logic and Reasoning

Session B1: Machine Learning

Session C1: Software and Knowledge Engineering

Session A2: Data and Knowledge Mining

Session B2: Constraint Satisfaction and Optimization

Session C2: Neural Networks

Session A3: Multimedia and Image Processing

Session B3: Planning and Scheduling

Session C3: Knowledge-Based Systems

Session A4: Genetic Algorithms

Session B4: Internet and The World Wide Web

Session C4: Robotics

Session A5: Multimedia and Image Processing

Session B5: Machine Learning

Session C5: Constraint Satisfaction and Optimization

Session A6: Soft Computing

Session B6: Database and Information Systems

Session C6: Software and Knowledge Engineering

Session A7: Constraint Satisfaction and Optimization

Session B7: Logic and Reasoning

Session C7: Machine Learning