FLAIRS-97 Preliminary Conference Schedule

Sunday, May 11, 1997

7:00 a.m. - 9:00 a.m. Workshop Registration

8:00 a.m. - 5:00 p.m. TIME-97 Workshop

3:00 p.m. - 8:00 p.m. FLAIRS Registration

7:00 p.m. - 8:00 p.m. Workshop and Pre-Conference Reception

Monday, May 12, 1997

7:00 a.m. - 5:00 p.m. Registration

8:30 a.m. - 10:00 a.m. Opening Session

• 8:30 a.m. - 8:45 a.m. Welcoming: Conference Chair
• 8:45 a.m. - 9:00 a.m. Welcoming: Steve Sliva

9:00 a.m. - 10:00 a.m. Invited Speaker

10:00 a.m. - 10:20 a.m. Break

10:20 a.m. - 12:00 noon Parallel Sessions

AI Methods in Deduction 1

• 10:20 Automatic Selection of Search-Guiding Heuristics, M. Fuchs, U. Kaiserslautern, Germany
• 10:45 Case-Based Reasoning for Automated Deduction, M. Fuchs, TU Munich, Germany; M. Fuchs, U. Kaiserlautern, Germany
• 11:10 A Translation of Model Elimination Proofs into a Structured Natural Deduction, A. Wolf, TU Munich, Germany
• 11:35 Discussion

Effective Use of AI Techniques in the Design and Development of Intelligent Tutoring Systems 1

• 10:20 Towards a Formal Curriculum Planning for Operational Skill Training, D. M. Zhang, CSIRO, Australia; L. Alem, CSIRO, Australia
• 10:45 Some Phenomena Handled by the Circsim-Tutor V3 Input Understander, M. Glass, Illinois Institute of Technology
• 11:10 Using Machine Learning to Acquire Domain Knowledge in an Intelligent Tutoring Authoring System, R. Morelli, Trinity College
• 11:35 A Generic Approach to Developing Low-Cost Emulations For Text-Mode Training Applications, F. Kilpatrick Jr., USAF Phillips Laboratory, E. Santos, Jr., Air Force Institute of Technology

Constraint Satisfaction

• 10:20 A Domain Decomposition Method to Solve N-ary CSPs, R. Hamadi, TIMC-IMAG, France
• 10:45 Using Complete No-Good Sets to Build a Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems, B. Y. Choueiry, Swiss Federal Institute of Technology in Lausanne, Switzerland; G. Noubir, Swiss Federal Institute of Technology in Lausanne, Switzerland
• 11:10 A Framework for Expressing Knowledge about Constraint Satisfaction Problems, P. Roy, Université de Paris VI, France, F. Pachet, Université de Paris VI, France, J.-F. Perrot, Université de Paris VI, France
• 11:35 A Sufficient Condition for Backtrack-Free Search, W. Pang, University of Regina, Canada; S. D. Goodwin, University of Regina, Canada

12:00 noon - 1:30 p.m. Lunch Break

1:30 p.m. - 3:35 p.m. Parallel Sessions

Effective Use of AI Techniques in the Design and Development of Intelligent Tutoring Systems 2

• 1:30 Constraining a Random Number Generator to Generate Challenging Problems for First Fit Placement Algorithm in an Intelligent Tutoring System, A. N. Kumar, Ramapo College of New Jersey
• 1:55 Knowledge Types and Tutoring Interactions in an ITS in a Problem-Solving Domain, R. Lelouche, Université Laval, Canada, J.-F. Morin, Université Laval, Canada
• 2:20 Advice with Part-Whole and Precedence Relations in Task Graphs for Intelligent Tutoring Systems, J.-Y. Djamen, Diantre R&D Inc., Canada; F. Pachet, Université de Paris VI, France

Expert Systems

• 1:30 An Adaptive Knowledge-Based Interface for a Medical Expert System, C. W. Turner, University of West Florida; E. J. Andrews, University of West Florida
• 1:55 CLASSES: A Class Scheduling Expert System, J. N. Etheredge, University of Southern Mississippi; W. E. Simmons, University of Southern Mississippi; W. L. Etheredge, Global Financial Aid Services
• 2:20 Using Structural Knowledge for System Validation, J. Herrmann, TU Ilmenau, Germany; K. P. Jantke, HTWK Leipzig, Germany; R. Knauf, TU Ilmenau, Germany
• 2:45 A Knowledge-based Information System, K. R. Riggs, University of Miami, J. W. Collins, University of Miami
• 3:10 A Four-Valued Approach for Handling Inconsistency in Prioritizing Knowledge-Bases, O. Arieli, Tel-Aviv University, Israel

Models and Applications for Design

• 1:30 A Logic-based Approach to Prosthesis Design, P. Hammond, Brunel University, J. Davenport, University of Birmingham
• 1:55 Requirement Specification for Engineering Modeling, A. Pos, University of Tewente, H Akkermans, University of Tewente
• 2:20 A Model for Concurrent Information Exchange Based on the Method of Temporal Differences, A. Varma, University of California, Berkeley, A. Agogino, University of California, Berkeley
• 2:45 Hybrid Modeling for Smart System Design, R. Kapadia, Vanderbilt University; G. Biswas, Vanderbilt University; M. Fromherz, Xerox PARC
• 3:10 Impedance-Driven Model-based Diagnosis of Electrical Power Distribution System Faults, G. Pettersson, University of Central Florida; A. J. Gonzalez, University of Central Florida; R. A. Morris, Florida Institute of Technology

4:00 p.m. - 5:40 p.m. Parallel Sessions

Reasoning about Function

• 4:00 Modeling of Product Functions: Creating a Semantic Backbone for the Design Process, H. C. Grabowski, University Fridericiana of Karlsruhe, Germany
• 4:25 A Generic Framework for Knowledge-Based Software Reuse System Development, Y. F. Chen, Clark Atlanta University, N. A. Warsi, Clark Atlanta University
• 4:50 Function-Based Engineering Product Retrieval: Progress Report, Y. Iwasaki, Stanford University; K. Oguchi, Stanford University

A.I. Applications

• 4:00 Uses and Abuses of Coaching in a Coached Practice Environment: Lessons Learned by Observing Student-Tutor Interactions, S. Katz, University of Pittsburgh, A. Lesgold, University of Pittsburgh, L. Greenberg, University of Pittsburgh
• 4:25 Just-in-Time Training: An Intelligent Tutor Deployed on the World Wide Web, L. Yu, Caelum Research/NASA Ames; N. Groleau, Recom Technologies/NASA Ames
• 4:50 A VHDL-93 Hardware Description Browser, L. C. DeBrock, Wright State University; K. Thirunarayan, Wright State University
• 5:15 An Architecture for Multi-Agent Systems Communities, O. Belo, Universidade do Minho; Portugal, J. Neves, Universidade do Minho, Portugal

Scene and Image Processing

• 4:00 On Fuzzy Geographic Information Systems, H. W. Guesgen, University of Auckland, New Zealand
• 4:25 Analysis of Human Activities Described by Image Sequences, F. Brémond, INRIA Sophia Antipolis, France; M. Thonnat, INRIA Sophia Antipolis, France
• 4:50 Image Database Indexing Using JPEG Coefficients, S. K. Bhatia, University of Missouri - St. Louis

6:00 p.m. - 7:30 p.m. Reception

Tuesday, May 13, 1997

7:00 a.m. - 5:00 p.m. Registration

8:00 a.m. - 10:05 a.m. Parallel Sessions

AI Methods in Deduction 2

• 8:00 Incremental Proof Planning by Meta-Rules, S. Gerberding, TH Darmstadt, Germany; A. Noltemeier, Debis Systemhaus GEI, Darmstadt, Germany
• 8:25 Self-Modifying Theorem Provers, D. Fuchs, U. Kaiserlsautern, Germany; M. Fuchs, TU Munich, Germany
• 8:50 Hierarchical Proof Planning Using Abstractions, D. Hutter, DFKI Saarbrucken, Germany
• 9:15 Discussion

Uncertainty in AI

• 8:00 Discovering Rules in the Environment with Noise and Incompleteness, N. Zhong, Yamaguchi University, Japan, J.-Z. Dong, Yamaguchi University, Japan, S. Ohsuga, Waseda University, Japan
• 8:25 Parallel Learning of Belief Networks, T. Chu, University of Regina, Canada; Y. Xiang, University of Regina, Canada
• 8:50 On Order of Magnitude Reasoning and Qualitative Probability, S. Parsons, Queen Mary and Westfield College, United Kingdom
• 9:15 Experimenting with the Cheeseman-Stutz Evidence Approximation for Predictive Modeling and Data Mining, P. Kontkanen, University of Helsinki, Finland; P. Myllymaki, University of Helsinki, Finland; H. Tirri, University of Helsinki, Finland
• 9:40 Changing Defaults in Diagnosis, A. Tawfik Wilfred Laurier University, Canada; E. Neufeld, Wilfred Laurier University, Canada

Neural Networks

• 8:00 A Method to Enhance a Simulated Allealing Technique, R. Loganantharaj, University of Southwestern Louisiana
• 8:25 Classification Based on Class Boundary Feature Distances, D. K. Y. Chiu, University of Guelph, Canada, F. E. Kavanaugh, University of Guelph, Canada
• 8:50 Using Intelligent Fuzzy-Neural Systems for Software Cost Estimation, Q. Hu, Florida Atlantic University, R. T. Plant, University of Miami
• 9:15 Knowledge Based Systems for Handwritten Characters Recognition, J. Castaing, Université Paris Nord, France
• 9:40 Personal Identification by Palm Print Recognition, P. S. Li, City University of Hong Kong, M. Li, City University of Hong Kong

10:30 a.m. - 11:45 a.m. Parallel Sessions

Neural Network Applications 1

• 10:30 Application of Machine Learning for Machine Monitoring and Diagnosis, D. Maluf, Stanford University; L. K. Daneshmend, Queens University, Canada
• 10:55 Artificial Neural Networks Analysis of Ozone as a Water Disinfectant, S. Heck, St. Paul's College, G. W. Ellis, St. Paul's College
• 11:20 Radial Basis Functions Neural Networks vs NOVEL on Four Benchmarks Problems, G. Meghabghab, Valdosta State University, D. Boyd, Valdosta State University, G. Nasr, American Lebanese University, Lebanon

Natural Language 1

• 10:30 SUITE: Speech Understanding Interface Tools and Environments, B. Manaris, University of Southwestern Louisiana; A. Harkreader, University of Southwestern Louisiana
• 10:55 Real World Auto-Tagging of Scientific Text, L. Boggess, Mississippi State University; L. D. S. Perry, Mississippi State University
• 11:20 HEART: A Model of Emotion for Natural Language Interpretation 5. Coupling between Emotions and Comparison with Other Models, M. S. Schmaltz, University of Florida; D. D. Dankel, University of Florida

RoboLearn

• A Fair Judge of Learning: Experiments with a Robot Manipulator Using a Pen, H. Hexmoor, SUNY Buffalo; C. Egert, SUNY Buffalo; E. Cuddihy, SUNY Buffalo
• Multiple Evaluation Techniques for Robot Learning, J. Hoar, University of Edinburgh, UK; J. Wyatt, University of Birmingham, UK; G. Hayes, University of Edinburgh, UK
• Social Entropy: A New Metric for Learning Robot Teams, T. Balch, Georgia Institute of Technology
• Behavior Evaluation and Learning from an Internal Point of View, F. Michaud, Brandeis University; M. J. Mataric, Brandeis University
• A Classification for the Control of the Evolution of Adaptive Agents, C. Lattaud, Université René Descartes, France

11:45 a.m. - 1:15 p.m. Lunch Break

1:15 p.m. - 2:15 p.m. RoboLearn Speaker

2:45 p.m. - 4:00 p.m. Parallel Sessions

Neural Network Applications 2

• 2:45 Neural Networks and Stereotactic Pallidotomy for Parkinson's, S. I. Sayegh, Purdue University, R. Worth, Indiana University Medical School, K. Ranasinghe, Purdue University
• 3:10 Neural Networks in Real-Time Manufacturing Inspection, D. Shetty, University of Hartford, S. Embong, University of Hartford, L. Motiwalla, University of Hartford
• 3:35 Surveillance and Calibration Verification Using Autoassociative Neural Networks, D. J. Wrest, University of Tennessee Knoxville; J. W. Hines, University of Tennessee Knoxville; and R. E. Uhrig, University of Tennessee Knoxville and Oak Ridge National Laboratory

Natural Language 2

• 2:45 Integrating N-Gram Lexical Matching with a Semantic Knowledge Base for Document Analysis, B. R. Bryant, University of Alabama at Birmingham; L. Li, Unisys Corp.; M. R. Kindl. Georgia Institute of Technology
• 3:10 HEART: A Model of Emotion for Natural Language Interpretation 6. Ontologies, Paradigms, and Perspectives for Emotional Relativism, M. S. Schmaltz, University of Florida, D. D. Dankel, University of Florida
• 3:35 Story Parsing Grammar with Attributes, S. Zhang, Universitaet Bremen, Germany

Knowledge Acquisition

• 2:45 Automated Acquisition Tool for Tactical Knowledge, A. E. Henninger, University of Central Florida, A. J. Gonzalez, University of Central Florida
• 3:10 The Necessity of User Guidance in Case-Based Reasoning, K. P. Jantke, HTWK Leipzig, Germany, V. Dötsch, HTWK Leipzig, Germany
• 3:35 Exploiting Parallelism in a Scientific Discovery System to Improve Scalability, G. Galal, University of Texas, Arlington, D. J. Cook, University of Texas, Arlington

4:30 p.m. - 6:10 p.m. Parallel Sessions

Natural Language Engineering

• 4:30 Natural Language Interface for Simple Classification Tasks, E. Paek, LG Electronics, Korea, H.-J. Jeon, LG Electronics, Korea
• 4:55 Contextual Information Brokers - Gathering Commonsense Knowledge from the Internet, S. Harabagiu, UCLA, D. Moldovan, SMU (Dallas)
• 5:20 Automatic Categorization of Various Text Collections Using Thematic Representation of Texts, N. Loukachevitch, Inst. of USA and Canada Studies, Moscow

Learning 1

• 4:30 Fuzzy Rule Induction from Data Sets, K. A. Crockett, The Manchester Metropolitan University, England; Z. Bandar, The Manchester Metropolitan University, England; A. Al-Attar, The Manchester Metropolitan University, England
• 4:55 The WoRLD: Knowledge Discovery from Multiple Distributed Databases, J. M. Aronis, University of Pittsburgh; V. Kolluri, University of Pittsburgh; F. J. Provost, NTNEX Science and Technology; B. G. Buchanan, University of Pittsburgh
• 5:20 A Study of Overfit in Decision-Tree Induction, T. L. Duell, University of Texas, Arlington; L. B. Holder, University of Texas, Arlington

Planning

• 4:30 Possibility Theory Applied to Control an Autonomous Mobile Robot, E. Zaafrani, University of Nice - Sophia Antipolis, E. Dekneuvel, University of Nice - Sophia Antipolis, M. C. Thomas, University of Nice - Sophia Antipolis
• 4:55 Systems for Perception, Action, and Effective Representation, G. S. Wasson, University of Virginia; G. J. Ferrer, University of Virginia; W. N. Martin, University of Virginia
• 5:20 FOLPLAN: A Semantically Guided First-Order Planner, D. A. Plaisted, University of North Carolina, Y. Zhu, University of North Carolina
• 5:45 An Electronic Commerce Framework for Resource Allocation among Multi-Agent Enterprises, A. Cunha, Universidade do Minho, Portugal; O. Belo, Universidade do Minho, Portugal

6:10 p.m. - 7:10 p.m. FLAIRS Business Meeting

7:30 p.m. - 9:30 p.m. Banquet

Wednesday, May 14, 1997

7:00 a.m. - 11:00 a.m. Registration

8:00 a.m. - 9:40 a.m. Parallel Sessions

AI Methods in Deduction 3

• 8:00 Analogy as a Control Strategy in Theorem Proving, E. Melis, University of Saarlandes; J. Whittle, University of Edinburgh, United Kingdom
• 8:25 Proving Ground Completeness of Resolution by Proof Planning, M. Kerber, U. Birmingham, England; A. C. Sehn, University of Saarlandes
• 8:50 Some Experiments on the Applicability of Folding Architecture Networks to Guide Theorem Proving, S. Schulz, TU Munich, Germany, Christoph Goller, TU Munich, Germany, Andreas Kuechler, University of Ulm, Germany
• 9:15 Discussion

AI and Software Engineering

• 8:00 Natural-Language-Based Domain Model for Software Engineering Tools, P. Lutsky, Brandeis University and Borders, Inc.
• 8:25 An Anytime Approach to Analyzing Software Systems, D. Rubenstein, University of Massachusetts, L. Osterweil, University of Massachusetts, S. Zilberstein, University of Massachusetts
• 8:50 A Framework for Practical Temporal Reasoning, L. Hoebel, Rome Laboratory

Verification and Validation

• 8:00 Towards an Assessment of an AI System's Validity by a Turing Test, R. Knauf, Technical University of Ilmenau, Germany, A. J. Gonzalez, University of Central Florida, I. Philippow, Technical University of Ilmenau, Germany
• 8:25 Utilizing Criteria to Reduce a Set of Test Cases for Expert System Validation, T. Abel, Technical University of Ilmenau, Germany, A. J. Gonzalez, University of Central Florida
• 8:50 KBS-DetectOR: Automating Anomaly Detection in Hybrid KBSs, P. R. Stiger, University of Tulsa, R. F. Gamble, University of Tulsa, R. T. Plant, University of Miami

10:00 a.m. - 11:15 a.m. Parallel Sessions

AI Applications to Aviation Aerospace

• 10:00 The DARWIN Workspace Environment for Analysing Experimental and Computational Data, D. J. Korsmayer, NASA Ames Research Center, D. E. Thompson, NASA Ames Research Center, J. D. Walton, NASA Ames Research Center
• 10:25 Knowledge Base Development Tool Requirements for an Intelligent Monitoring Aid, E. J. Bass, Search Technology, Inc.; S. T. Ernst-Fortin, Search Technology, Inc.; R. L. Small, Search Technology, Inc.
• 10:50 Using Artificial Intelligence to Support Traffic Flow Management Problem Resolution, S. J. Bayless, MITRE Corporation

Learning 2

• 10:00 CA Classifiers: Co-Evolution and Sub-Populations, C. N. Eichelberger, University of Florida
• 10:25 Version Space Sets for Machine Learning, H. J. Hamilton, University of Regina, Canada; L. Li, University of Regina, Canada
• 10:50 Learning English Pronunciation Rules: A Comparison of IVSA and C4.5, H. J. Hamilton, University of Regina, Canada; J. Zhang, University of Regina, Canada

Case and Constraint-Based Reasoning

• 10:00 Axiomatic Characterizations of Structural Similarity for Case-Based Reasoning, D. Matuschek, HTWK Leipzig, Germany; K. P. Jantke, HTWK Leipzig, Germany
• 10:25 A Randomised Systhesis based Algorithm for Constraint Satisfaction Problems, S. Nagarajan, University of Regina, Canada; S. D. Goodwin, University of Regina, Canada; W. Pang, University of Regina, Canada
• 10:50 QDOOCS:A C++ Class Library for Solving Binary Constraint Satisfaction Problems, K. Wiese, University of Regina, Canada; S. Nagarajan, University of Regina, Canada; S. D. Goodwin, University of Regina, Canada

11:30 a.m. - 12:30 p.m. Speaker

12:30 p.m. - 1:30 p.m. Panel or Speaker