• 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 Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999) /

All Papers

All Papers

  • Invited Talks

    John Laird, Bruce Buchanan, Kenneth Ford, Patrick J. Hayes, David Stork, Frank Anger

    PDF
  • Applying Reliability Engineering to Expert Systems

    Valerie Barr, Hofstra University

    PDF
  • Lattices of Knowledge in Intelligent Systems Validation

    Klaus P. Jantke, DFKI GmbH , Jörg Herrmann, Deutsches Zentrum für Luft - und Raumfahrt e.V.

    PDF
  • Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases

    Eugene Santos Jr., University of Connecticut; Sheila B. Banks, Calculated Insight; Scott M. Brown , David J. Bawcom, Air Force Institute of Technology

    PDF
  • VERITAS–A Verification ToolFor Real-time Applications in Power System Control Centers

    Jorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques

    PDF
  • Towards Validation of Case-Based Systems

    Rainer Knauf, Technical University of Ilmenau; Avelino J. Gonzalez, University of Central Florida; Klaus P. Jantke, Hokkaido University

    PDF
  • Index

    David M. Hamilton

    PDF
  • Validation Manager – A Tool for AI Systems’ Evaluation by A Turing Test-Like Methodology

    Dirk Salecker , Rainer Knauf

    PDF
  • Validation of CBL Principles

    Hans-Rainer Beick, Hokkaide University; , Klaus P. Jantke, DFKI GmbH, Germany

    PDF
  • Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement

    Setsuo Tsuruta, Masaki Honma, Hideaki Ishida , Akio Nakano

    PDF
  • Flairs 1999 Conference Organization

    Ingrid Russell , Amruth Kumar

    PDF
  • On Correcting Sewer Robots’ Odometry Errors by Reasoning

    Joachim Hertzberg , Frank Schönherr, GMD-SET

    PDF
  • Learning Opposite Concept for Machine Planning

    Kang Soo Tae, Jeonju University

    PDF
  • Function Modeling Based on Interactions of Mass, Energy and Information

    Yang Bo, Filippo A. Salustri

    PDF
  • Towards Functional Benchmarking of Information Retrieval Models

    D. W. Song , K. F. Wong, Chinese University of Hong Kong; P. D. Bruza, Queensl, University of Technology; C. H. Cheng, Chinese University of Hong Kong

    PDF
  • Automating Mechanical FMEA Using Functional Models

    Nigel Hughes, Enxi Chou, Chris Price , Mark Lee, University of Wales

    PDF
  • Functional Modeling: Representation of Dynamic Aspects in Function Structures

    Hans Grabowski, Ralf Lossack , Harald Kunze, University of Karlsruhe

    PDF
  • A Qualitative Notion of Spatial Proximity

    Hans W. Guesgen , Jochen Albrecht, University of Auckland

    PDF
  • A Wayfinding Application Based on the Influence Area Spatial Model

    Driss Kettani, Department of National Defense , Laval University; Bernard Moulin, Laval University

    PDF
  • Representing Simple Trajectories as Oriented Curves

    Carola Eschenbach, Christopher Habel , Lars Kulik, University of Hamburg

    PDF
  • Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks

    Y. Xiang, University of Regina; K. G. Olesen , F. V. Jensen, Aalborg University

    PDF
  • Representation and Reasoning with Uncertain Temporal Relations

    Vladimir Ryabov , Seppo Puuronen, University of Jyväskylä; Vagan Terziyan, Kharkov State Technical University of Radioelectronics

    PDF
  • Validation of Human Behavioral Models

    Avelino J. Gonzalez, University of Central Florida

    PDF
  • Intelligent Alarm Handling

    Lars Asker, Mats Danielson , Love Ekenberg, Royal Institute of Technology

    PDF
  • Probabilistic Reasoning Through Genetic Algorithms and Reinforcement Learning

    Xiaomin Zhong , Eugene Santos Jr., University of Connecticut

    PDF
  • Satisfiability in Nonlinear Time: Algorithms and Complexity

    Frank D. Anger, University of West Florida; Debasis Mitra, Morgan State University; Rita V. Rodríguez, University of West Florida

    PDF
  • Proof Theoretic Reasoning in System P

    Simon Parsons , Rachel A. Bourne

    PDF
  • Meta-Pattern Extraction: Mining Cycles

    Jennifer Seitzer, James P. Buckley , Alvaro Monge, University of Dayton

    PDF
  • A Factorized Representation of Independence of Causal Influence and Lazy Propagation

    Anders L. Madsen, Aalborg University , Bruce D'Ambrosio, Oregon State University

    PDF
  • On-board Diagnosis of Car Catalytic Converters Using Statistical PatternRecognition

    Arm, Boatas and Bernard Dubuisson , M. A. Dillies-Peltier

    PDF
  • Nondeterminism and Uncertainty in the Situation Calculus

    Javier Pinto, Pontificia Universidad Católica de Chile; Amílcar Sernadas, Cristina Sernadas , Paulo Mateus, Instituto Superior Técnico

    PDF
  • DISPO: Distributed Multi-threaded Execution of Prolog Programs

    A. S. Mohamed, A. Galal, I. Khalil, K. Sobh , M. Selim

    PDF
  • Universal Access to Mobile Computing Devices through Speech Input

    Bill Manaris , Valanne MacGyvers, University of Southwestern Louisiana

    PDF
  • Automatic Acquisition of Sense Tagged Corpora

    Rada F Mihalcea, Dan I. Moldovan

    PDF
  • Learning the Past Tense of English Verbs: An Extension to FOIDL

    Ahmed Sameh, Tarek Radi , Rana Mikhail, The American University in Cairo

    PDF
  • Integrating Symbolic and Statistical Methods for Prepositional PhraseAttachment

    Sanda M. Harabagiu , Marius Pasca

    PDF
  • Experiments in On-Line Learning Neuro-Control

    A. G. Pipe, M. Randall , Y. Jin, University of the West of England

    PDF
  • A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion

    Dudley Girard, University of South Carolina

    PDF
  • A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands

    James N. Etheredge

    PDF
  • Connection Admission Control in ATM Networks Using Neural Networks

    Paul Cullen , Brian Carse, University of the West of England

    PDF
  • Neural Network Predictive Tool of Ground Settlement Due to Dewatering Activities

    Amr W. Sadek , Hesham Ghoneim, Kuwait Institute for Scientific Research; Mustafa Mossad, Cairo University

    PDF
  • Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set

    Marcin Paprzycki, Sean Bowers , Aaron Costeines, University of Southern Mississippi

    PDF
  • Smart Selective Competition Parallelism ATP

    Geoff Sutcliffe, Darryl Seyfang

    PDF
  • Strategy Selection by Genetic Programming

    Gernot Stenz , Andreas Wolf, Universität München

    PDF
  • Adaptive Parallel Search for Theorem Proving

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

    PDF
  • Solving Hard Computational Problems Through Collections (Portfolios) of Cooperative Heterogeneous Algorithms

    Eugene Santos Jr., University of Connecticut; Solomon Eyal Shimony, Ben Gurion University of the Negev; Edward Michael Williams, Air Force Information Warfare

    PDF
  • Strategy Parallelism and Lemma Evaluation

    Joachim Draeger , Andreas Wolf, Universität München

    PDF
  • Anytime Planning for Optimal Tradeoff Between Deliberative and Reactive Planning

    Will Briggs, Lynchburg College , Diane J. Cook, University of Texas at Arlington

    PDF
  • Learning Rationales to Improve Plan Quality for Partial Order Planners

    A Upal , R. Elio

    PDF
  • Adopting an Object-Oriented Data Model in Inductive Logic Programming

    Michela M. Milano, Andrea Omicini, Fabrizio Riguzzi

    PDF
  • CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming

    Wenjin Lu, University of Koblenz-Landau

    PDF
  • What Should the Tutor Do When the Student Cannot Answer a Question?

    Yujian Zhou, Illinois Institute of Technology; Reva Freedman, University of Pittsburgh , Illinois Institute of Technology; Michael Glass, Illinois Institute of Technology; Joel A. Michael , Allen A. Rovick, Rush Medical College; Martha W. Evens, Illinois Institute of Technology

    PDF
  • Group Membership Services for Dynamically Organized Sensible Agent-Based Systems

    K. S. Barber, R. M. McKay , T. H. Liu, University of Texas at Austin

    PDF
  • Reasoning About Algebraic Equations In Physics

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

    PDF
  • A Connectionist Model for Part of Speech Tagging

    Brent Olde, James Hoeffner, Patrick Chipman, Arthur C. Graesser, Tutoring Research Group

    PDF
  • Adding Intelligence to Net-based Learning

    Lynne Hall, Adrian Gordon, Paul Black, Gary Baptist, University of Northumbria at Newcastle

    PDF
  • A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring

    Richard Stottler , Sowmya Ramachandran, Stottler Henke Associates, Inc.

    PDF
  • Approximate Natural Language Understanding for an Intelligent Tutor

    Peter Wiemer-Hastings, Katja Wiemer-Hastings , Arthur C. Graesser, University of Memphis

    PDF
  • A Curriculum Planning Model for an Intelligent Tutoring System

    Byung-In Cho, Illinois Institute of Technology; Joel A. Michael , Allen A. Rovick, Rush Medical College; Martha W. Evens, Illinois Institute of Technology

    PDF
  • Knowledge Object Decomposition

    John Debenham, University of Technology, Sydney

    PDF
  • Preparing a First-order Knowledge Base for Fast Inference

    Helmut Prendinger , Mitsuru Ishizuka, University of Tokyo

    PDF
  • Case-Based Problem Solving for Knowledge Management Systems

    Irma Becerra-Fernandez, Florida International University , David W. Aha, Naval Research Laboratory

    PDF
  • Multi-Agent Systems : A Theory based on Organization and Communication Concepts

    Walid Chainbi, Laris Laboratory--FSEG

    PDF
  • New Logics for Intelligent Control

    E. Cherkashin, A. Postoenko, S. Vassilyev , A. Zherlov, Siberian Branch of Russian Academy of Sciences

    PDF
  • Generalization Discovery for Proofs by Induction

    Emmanuel Kounalis , Pascal Urso, Université de Nice

    PDF
  • UsingTerm Space Maps to Capture Search ControlKnowledge in Equational Theorem Proving

    Stephan Schultz , Felix Brandt, Technische Universität München

    PDF
  • A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning

    Carlos H. C. Ribeiro , Elder M. Hemerly

    PDF
  • Feature Selection For Machine Learning: Comparing a Correlation-based Filter Approach to the Wrapper

    Mark A. Hall , Lloyd A. Smith, University of Waikato

    PDF
  • On Feature Selection: a New Filter Model

    Marc Sebban, West Indies , Guiana University

    PDF
  • Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching Experts in Florida

    Irma Becerra-Fernandez, Florida International University

    PDF
  • Expert System For The Handling Of The Attendance Mechanical Ventilation In Recently Born

    Mauricio F. Deabate, Luis Manzanares , Carlos A. Bartó, Universidad Nacional de Córdoba

    PDF
  • Improved Multiprocessor Task Scheduling Using Genetic Algorithms

    Michael Bohler, Air Force Research Laboratory; Frank Moore, Miami University; Yi Pan, University of Dayton

    PDF
  • Generating Satellite Control Schedules Using Case-Based Scheduling

    Costas Tsatsoulis , Julian Holtzman, Lawrence Applied Research Corporation (LARC)

    PDF
  • Distributed Space-Segment Control Using SCL

    Jim Van Gaasbeck, Allan Posner , Brian Buckley, Interface & Control Systems, Inc.

    PDF
  • Anytime Diagnosis Using Model-Based Methods for Satellite Diagnistics

    Paul Cobb, Eric S. Yager, Charles Jacobus

    PDF
  • An Overview of Agent Technology for Satellite Autonomy

    Paul Zetocha , Lance Self, Air Force Research Laboratory

    PDF
  • Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems

    Mala Mehrotra, Pragati Synergetic Research Inc.; Sergio Alvarado, Aerospace Corporation; Ross Wainwright, Air Force Research Laboratory

    PDF
  • Autonomy in Spacecraft Software Architecture

    Henry Hexmoor, University of North Dakota

    PDF
  • A Reinforcement Learning Approach for a Goal-Reaching Behavior

    T. D'Orazio, G. Cicirelli , G. Attolico, Istituto Elaborazione Segnali ed Immagini - C.N.R.; C. Distante, University of Massachusetts

    PDF
  • A Framework for Learning Visual Discrimination

    Justus H. Piater , Roderic A. Grupen, University of Massachusetts

    PDF
  • Applying the Subdue Substructure Discovery System to the Chemical Toxicity Domain

    Ravindra N. Chittimoori, Lawrence B. Holder , Diane J. Cook, University of Texas at Arlington

    PDF
  • Cooperative Relational Database Querying Using Multiple Knowledge Bases

    José Luís Braga, Universidade Federal de Viçosa; Alberto H. F. Laender, Universidade Federal de Minas Gerais; Claudiney Vander Ramos, Engetron Engenharia

    PDF
  • Improving Technical Analysis Predictions: An Application of Genetic Programming

    Jin Li , Edward P. K. Tsang, University of Essex

    PDF
  • An Agent Based Approach to Expert System Explanation

    Samhaa R. El-Beltagy , Ahmed Rafea, Ministry of Agriculture , Land Reclamation; Ahmed Sameh, The American University in Cairo

    PDF
  • Towards a First-Order Approach for Social Agents: Preliminary Report

    Maria Fasli, University of Essex

    PDF
  • Knowledge-Based Control of Self-Adaptive Evolutionary Search

    Chan-Jin Chung, Lawrence Technological University , Robert G. Reynolds, Wayne State University

    PDF
  • Robustness of Case-Initialized Genetic Algorithms

    Sushil J. Louis, Judy Johnson

    PDF
  • Enhanced Simulated Annealing Tecniques for Multiprocessor Scheduling

    George E. Nasr , A. Harb, Lebanese American University; G. Meghabghab, Valdosta State University

    PDF
  • Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior

    Yoichiro Maeda, Osaka Electro-Communication University

    PDF
  • Using Genetic Programming To Determine Software Quality

    Matthew Evett, Taghi Khoshgoftaar, Pei-Der Chien, Ed Allen

    PDF
  • Ranking the Interestingness of Summaries from Data Mining Systems

    Robert J. Hilderman, Howard J. Hamilton , Brock Barber

    PDF
  • Preface

    Ingrid Russell , Amruth Kumar

    PDF
  • Knowledge-Based Systems, Viewpoints and the World Wide Web

    Ian Finch

    PDF
  • RAID: A System to Aid in the Removal of Program Bugs

    Lisa Burnell, Alan Meadows, Patricia Bass , Keith Biggers, Texas Wesleyan University; John Priest, The University of Texas at Arlington

    PDF
  • Towards More Intelligent and Interactive Interfaces

    James S. Jennings , Nicole D. Terry

    PDF
  • KARDIO – A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making

    Søren Holm, University of Manchester; Peter Øhrstrøm and Claus Donner, Aalborg University

    PDF
  • A Threat Ranking Algorithm for Multiple Intelligent Agents in a Simulated Environment

    Ilker Gumus, Avelino Gonzalez

    PDF
  • A Quality Assurance System Using Neural Networks

    Edson Pacheco Paladini, Universidade Federal de Santa Catarina

    PDF
  • Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries

    Eugene Santos Jr., University of Connecticut; Scott M. Brown, Air Force Research Laboratory; Moises Lejter , Grace Ngai, University of Connecticut; Sheila B. Banks , Martin R. Stytz, Calculated Insight

    PDF

Primary Sidebar