Important dates

• 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


Event Schedule

Session 1: Qualitative Abstraction and Induction

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

Session 2: Cognitive Models and Spatial Reasoning

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

Session 3: Applications/Order of Magnitude Reasoning

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

Day 2

Session 4: Qualitative Reasoning and Instruction

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

Session 5: Qualitative Reasoning and Instructional Systems

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

Session 6: Semi-Qualitative Models

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

Day 3

Session 7: Qualitative Reasoning and Learning Environments

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

Session 8: Poster Presentations

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