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