• Abstracts Due: February 1, 2001
• Full Paper (not to exceed 5000 words): February 2, 2001
• Accept/Reject notifications: March 12, 2001
• Camera-ready copies due: April 20, 2001
• Registration: April 30, 2001
• Workshop: May 17-19, 2001.
• AI-ED 2001 Conference: May 19 - 23, 2001
8:30 AQUA: A Framework for Automated Qualitative Abstraction by Martin Sachenbacher and Peter Struss
9:05 Qualitative induction by Dorian Šuc and Ivan Bratko
9:40 Disaggregation in Compositional Modelling of Ecological Systems via Dynamic Constraint Satisfaction by Jereon Keppens and Qiang Shen
10:15 Break
10:35 - Invited Talk 1 - Learning About Space, Qualitatively and Quantitatively Ben Kuipers
11:50 Lunch Break
2:00 Capacity Limits in Mechanical Reasoning by Mary Hegarty
2:35 Coordinating Actions and Models by Daniel L. Schwartz
3:05 How qualitative spatial reasoning can improve strategy game AIs by Kenneth D. Forbus, James V. Mahoney, and Kevin Dill
3:45 Break
4:00 Ambiguities and Deviations in Qualitative Circuit Analysis by Mark H. Lee, Jonathan Bell, and George M. Coghill
4:35 Qualitative/Quantitative Financial Analysis by Juan Flores, Ferderico González, and Beatriz Flores
8:30 A qualitative modeling environment for middle-school students: A progress report by Ken Forbus, Karen Carney, Rob Harris, and Bruce Sherin
9:05 Qualitative Reasoning techniques to support Learning by Teaching: The Teachable Agents Project by Krittaya Leelawong, Yingbin Wang, Gautam Biswas, Nancy Vye, John Bransford and Daniel Schwartz
9:40 Constructing Progressive Learning Routes through Qualitative Simulation Models in Ecology by Paulo Salles and Bert Bredeweg
10:15 Break
10:35 - Invited Talk 2 - Enabling Young Learners to Develop QP Theories of Minds Barbara White
11:50 Lunch Break
2:00 Common Sense on the Envelope by Praveen K. Partiosh and Kenneth D. Forbus
2:35 Towards Interactive Tools for Constructing Articulate Simulations by Vania Bessa Machado and Bert Bredeweg
3:05 Intelligent Computer Assisted Instruction in Thermodynamics at U. S. Naval Academy by Chih Wu and Ken Tuttle
3:45 Break
4:00 An Approach for Reasoning about Semiqualitative Models with Explicit Constraints by J. A. Ortega, R. M. Gasca, and M. Toro
4:35 Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Populatipon Biology by Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, and Nicolaas J. I Mars
5:30 Workshop Dinner
8:30 Evaluation of Error-Based Simulation by Using Qualitative Reasoning Techniques by Tsukasa Hirashima and Tomoya Horiguchi
9:05 Qualitative Simulation of Genetic Regulatory Networks: Method and Application by Hidde de Jong, Michel Page, Céline Hernandez, and Johannes Geiselmann
9:40 VisiGarp: Graphical Representations of Qualitative Simulation Models by Anders Bouwer and Bert Bredeweg
10:15 Motivation in Computer Supported Adult Learning Environments: Designing Online Learning to Support a Psychology of Becoming by Temi Rose
10:50 Break
11:00 Fair-Coverage Monte Carlo Generation on Monotonic Functions within Envelopes by T. K. Satish Kumar
11:15 A Hybrid Qualitative-Quantitive Classification Technique Applied To Aid Marketing Decisions by Núria Agell and Juan Carlos Aguado
11:30 QCBFS: Levering Qualitative Knowledge in Simulation Based Diagnosis by T. K. Satish Kumar
11:45 Qualitative Input Conditioning to Enhance RBF Neural Networks Generalization in Financial Rating Classification by Xavier Parra and Núria Agell
12:00 Qualitative Modeling and Simulation of a Coupled Bioeconomic System by J. Kropp and K. Eisenack
12:15 Break
12:30 Business Meeting