• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000) /

All Papers

All Papers

  • FLAIRS 2000 Organization

    Jim Etheredge , Bill Manaris

    PDF
  • Invited Talks

    Nicola Muscettola, Subrata Dasgupta, James Hendler, Janet L. Kolodner

    PDF
  • Formal Software Development in the Verification Support Environment (VSE)

    Dieter Hutter, Georg Rock, Jorg H. Siekmann, Werner Stephan, and Rol, Vogt, German Research Center for Artificial Intelligence, Germany

    PDF
  • Latin Hypercube Sampling in Bayesian Networks

    Jian Cheng , Marek J. Druzdzel, University of Pittsburgh, USA

    PDF
  • Ground-Based Control of a Satellite Cluster

    Ross Wainwright, Air Force Research Laboratory, USA

    PDF
  • Erosion Modeling in a Raster-Based GIS with Fuzzy Logic

    Hans W. Guesgen, Jochen Albrecht , Stefi Grundner, University of Auckland, New Zeal,

    PDF
  • Deriving Summaries Through an Identity-Based Approach

    Kathleen Hornsby, University of Maine, USA

    PDF
  • Learning to Transfer Knowledge between Reference Systems

    Maria do Carmo Nicoletti , Jane Brennan, The University of New South Wales, Australia

    PDF
  • Top-Down Construction and Repetitive Structures Representation in Bayesian Networks

    Olav Bangsø, Aalborg University, Denmark; Pierre-Henri Wuillemin, Université Paris 6, France

    PDF
  • Distributed Multi-Agent MSBN: Implementing Verification

    Hongyu Geng , Yang Xiang, University of Regina, Canada

    PDF
  • Zooming in on Trade-Offs in Qualitative Probabilistic Networks

    Silja Renooij , Linda C. van der Gaag, Utrecht University, The Netherlands; Shaw Green, Queen Mary , Westfield College, University of London, UK; Simon Parsons, University of Liverpool, UK

    PDF
  • Inferencing Bayesian Networks from Time Series Data Using Natural Selection

    Andrew J. Novobilski , Farhad A. Kamangar, University of Texas at Arlington, USA

    PDF
  • Independence Semantics for BKBs

    Solomon Eyal Shimony, Ben Gurion University, Israel; Eugene Santos Jr., University of Connecticut, USA; Tzachi Rosen, Ben Gurion University, Israel

    PDF
  • Formal Concepts of Learning Systems Validation in Use

    Volker Dötsch, Leipzig University, Germany; Gunter Grieser, Darmstadt University of Technology, Germany; Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany; Steffen Lange, Leipzig University, Germany

    PDF
  • TIC — A Toolkit for Validation in Formal Language Learning

    Volker Dötsch, Leipzig University, Germany; , Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany

    PDF
  • Towards Validation of Rule-Based Systems – The Loop is Closed

    Rainer Knauf , Ilka Philippow, Ilmenau Technical University, Germany; Avelino J. Gonzalez, University of Central Florida, USA; Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany

    PDF
  • The Use of Formal Methods for Trusted Digital Signature Devices

    Bruno Langenstein , Rol, Vogt, German Research Center for Artificial Intelligence Ltd., Germany; Markus Ullmann, German Information Security Agency, Germany

    PDF
  • A Deterministic Algorithm for Solving Imprecise Decision Problems

    Håkan L. Younes, Carnegie Mellon University, USA; Love Ekenberg, Mid Sweden University, Sweden

    PDF
  • A Case Study in the Mechanical Verification of Fault Tolerance

    Heiko Mantel, German Research Center for Artificial Intelligence Ltd., Germany; , Felix C. Gärtner, Darmstadt University of Technology, Germany

    PDF
  • Verification of Cooperating Systems — An Approach Based on Formal Languages

    Peter Ochsenschläger, Jürgen Repp , Rol, Rieke, German National Research Center for Information Technology, Germany

    PDF
  • Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification

    Uwe Petermann, University of Applied Sciences Leipzig, Germany

    PDF
  • Modeling, Specification and Verification of an Emergency Closing System

    Werner Stephan, Georg Rock , Michael Brodski, German Research Center for Artificial Intelligence Ltd., Germany

    PDF
  • Validation Method for Intelligent Systems

    Setuo Tsuruta, Hitachi Ltd., Japan; Takashi Onoyama, Sen Kubota , Kazuko Oyanagi, Hitachi Software Engineering Co., Ltd., Japan

    PDF
  • Real-Time Learning when Concepts Shift

    Jeffrey Coble , Diane J. Cook, The University of Texas at Arlington, USA

    PDF
  • An Algebraic Approach to Inductive Learning

    Zdravko Markov, Central Connecticut State University, USA

    PDF
  • Using a Reactive Planner as the Basis for a Dialogue Agent

    Reva Freedman, University of Pittsburgh, USA

    PDF
  • A Parallel Approach to Modeling Language Learning and Understanding in Young Children

    Charles Hannon , Diane J. Cook, University of Texas at Arlington, USA

    PDF
  • Mining Textual Answers with Knowledge-Based Indicators

    Sanda M. Harabagiu , Marius Pasca, Southern Methodist University, USA

    PDF
  • An Iterative Approach to Word Sense Disambiguatio

    Rada Mihalcea , Dan I. Moldovan, Southern Methodist University, USA

    PDF
  • Domain-Specific Knowledge Acquisition and Classification Using WordNet

    Dan Moldovan , Roxana Girju, Southern Methodist University, USA

    PDF
  • Fast Text Compression with Neural Networks

    Matthew V. Mahoney, Florida Institute of Technology, USA

    PDF
  • Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem

    Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny Scardino, William Douglas, University of Southern Mississippi, USA

    PDF
  • Systematic Treatment of Failures Using Multilayer Perceptron

    Fadzilah Siraj, Northern University of Malaysia, Malaysia; , Derek Partridge, University of Exeter, England

    PDF
  • Case Studies of Autonomy

    Henry Hexmoor, University of North Dakota, USA

    PDF
  • Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21)

    Thomas Schetter , Mark Campbell, University of Washington, USA; Derek Surka, Princeton Satellite Systems, USA

    PDF
  • Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge

    Gregory Johnson Jr. , Eugene Santos Jr., University of Connecticut, USA

    PDF
  • Producing Modular Hybrid Rule Bases for Expert Systems

    Ioannis Hatzilygeroudis , Jim Prentzas, University of Patras , Computer Technology Institute, Greece

    PDF
  • HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents

    Sandro Coimbra Assis, Xerox do Brasil; Flávio Miguel Varejão, Universidade Federal do Espírito Santo, Brasil; Ana Cristina Garcia, Universidade Federal Fluminense, Brasil

    PDF
  • Active Case-Based Reasoning for Lessons Delivery System

    Rosina Weber, University of Wyoming , Naval Research Laboratory, USA; David W. Aha, Naval Research Laboratory, USA; L. Karl Branting, University of Wyoming, USA; J. Robert Lucas, USACOM Joint Warfighting Center, USA; Irma-Becerra Fernandez, Florida International University, USA

    PDF
  • The Effect of Organizational Culture on the Implementation of Knowledge Management

    Francis D. Tuggle , Nancy Shaw, American University, USA

    PDF
  • Defining and Monitoring Knowledge Integrity

    Fatma Mili, Krish Narayanan , Vamsi Atluri, Oakl, University, USA

    PDF
  • Developing an Advanced Environment for Collaborative Computing

    Irma Becerra-Fernandez, Florida International University, USA; Helen Stewart, NASA Ames Research Center, USA; Martha Del Alto , Chris Knight, Caelum Research Corporation, USA

    PDF
  • Use of Data Mining on Satellite Data Bases for Knowledge Extraction

    Lance Self, Air Force Research Laboratory, US

    PDF
  • Structural Knowledge Discovery Used to Analyze Earthquake Activity

    Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook, University of Texas at Arlington, USA

    PDF
  • Graph-Based Hierarchical Conceptual Clustering

    Istvan Jonyer, Lawrence B. Holder, Diane J. Cook, University of Texas at Arlington, US

    PDF
  • Discovering Structural Patterns in Telecommunications Data

    Andi Baritchi, Diane J. Cook, Lawrence B. Holder, University of Texas at Arlington, USA

    PDF
  • A Boosting-Based Prototype Weighting and Selection Scheme

    Richard Nock , Marc Sebban, Université des Antilles-Guyane, France

    PDF
  • Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features

    Yani Zhang, Changyun Wen, Ying Zhang, Nanyang Technological University, Singapore

    PDF
  • Overriding the Experts: A Stacking Method for Combining Marginal Classifiers

    Mark D. Happel , Peter Bock, The George Washington University, USA

    PDF
  • Turn Planning in CIRCSIM-Tutor

    Feng-Jen Yang, Jung Hee Kim, Michael Glass, Martha Evens, Illinois Institute of Technology, USA

    PDF
  • An Ontology as Domain Model in a Web-Based Educational System for Prolog

    Christoph Peylo, Wilfried Teiken, Claus Rollinger, Helmar Gust, University of Osnabrück, Germany

    PDF
  • Supporting Intelligent Tutoring in CALL by Modeling the User’s Grammar

    Lisa N. Michaud , Kathleen F. McCoy, University of Delaware, USA

    PDF
  • What Is Wrong with this Equation? Error Detection and Feedback with Physics Equations

    C. W. Liew, Lafayette College, USA; Joel A. Shapiro , D. E. Smith, Rutgers University, USA

    PDF
  • A Fuzzy Algorithm for the Efficient Utilization of Information in Decision Trees

    Keeley A. Crockett , Zuhair Bandar, The Manchester Metropolitan University, UK; Akeel Al-Attar, Attar Software Limited, UK

    PDF
  • Partitioning Sets with Genetic Algorithm

    William A. Greene, University of New Orleans, USA

    PDF
  • Cache Diversity in Genetic Algorithm Design

    Eunice E. Santos, Lehigh University, USA; Eugene Santos Jr., University of Connecticut, USA

    PDF
  • The Degradation of Knowledge Base Integrity

    John Debenham, University of Technology, Australia

    PDF
  • Fundamental Properties of the Core Matching Functions for Information Retrieval

    D. W. Song , K. F. Wong, The Chinese University of Hong Kong, Hong Kong; P. D. Bruza, University of Queensland, Australia; C. H. Cheng, The Chinese University of Hong Kong, Hong Kong

    PDF
  • A Multiagent Architecture to Support Distance Learning Personalization on the Web

    J. G. Boticario , E. Gaudioso, Universidad Nacional de Educación a Distancia, Spain

    PDF
  • A Coherent Teamwork Model in a Dynamic Environment

    M. Goyal , N. Parameswaran, The University of New South Wales, Australia

    PDF
  • Resolving Conflicts Among Actions in Concurrent Behaviors: Learning to Coordinate

    Henry Hexmoor, University of North Dakota, USA

    PDF
  • Domain Semantics for Agent-Oriented Programming

    Roger Norton , Rebecca Thomas, Marist College, USA

    PDF
  • Using Learning in a Control Agent

    James J. Pomykalski, James Madison University, USA

    PDF
  • Preface

    Jim Etheredge , Bill Manaris

    PDF
  • Validation of Cryptographic Protocols by Efficient Automated Testing

    Sigrid Gürgens, German National Research Center for Information Technology, Germany; , René Peralta, Yale University, USA

    PDF
  • Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints

    Ortrun Ibens, Institut für Informatik, Technische Universität München, German

    PDF
  • The SH-Verification Tool

    Peter Ochsenschläger, Jürgen Repp, Rol, Rieke, German National Research Center for Information Technology, Germany

    PDF
  • Automated Partitioning of Tonal Music

    Bryan Pardo , William P. Birmingham, The University of Michigan, USA

    PDF
  • Using Genetic Algorithms to Solve the Tactical Fixed Interval Scheduling Problem

    Xiaomin Zhong , Eugene Santos Jr., University of Connecticut, USA

    PDF
  • Reasoning from Data Rather than Theory

    Joseph E. Beck , Beverly P. Woolf, University of Massachusetts, USA

    PDF
  • Actively Supporting Collaboration in Virtual Learning Environments

    Adrian Gordon , Lynne Hall, University of Northumbria at Newcastle, UK

    PDF
  • Autonomous Automobile Behavior through Context-Based Reasoning

    Fernando G. Gonzalez, Patrick Grejs, Avelino J. Gonzalez, University of Central Florida, USA

    PDF

Primary Sidebar