Amruth N. Kumar, Ingrid Russell (Eds.):
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, May 1-5, 1999, Orlando, Florida, USA.
AAAI Press 1999, ISBN 1-57735-080-4 
@proceedings{DBLP:conf/flairs/1999,
editor = {Amruth N. Kumar and
Ingrid Russell},
title = {Proceedings of the Twelfth International Florida Artificial Intelligence
Research Society Conference, May 1-5, 1999, Orlando, Florida,
USA},
booktitle = {FLAIRS Conference},
publisher = {AAAI Press},
year = {1999},
isbn = {1-57735-080-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
AI Applications
- Eugene Santos Jr., Scott M. Brown, Moises Lejter, Grace Ngai, Sheila B. Banks, Martin R. Stytz:
Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries.
3-7
- Ilker Gumus, Avelino J. Gonzalez:
A Threat Ranking Algorithm for Multiple Intelligent Entities in a Simulated Environment.
8-12
- Edson Pacheco Paladini:
A Quality Assurance System Using Neural Networks.
13-17
- Søren Holm, Peter Øhrstrøm, Claus Donner:
KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making.
18-23
- James S. Jennings, Nicole D. Terry:
Towards More Intelligent and Interactive Interfaces.
24-31
- Lisa J. Burnell, Alan Meadows, Patricia Bass, Keith E. Biggers, John W. Priest:
RAID: A System to Aid in the Removal of Program Bugs.
32-36
- Ian Finch:
Knowledge-Based Systems, Viewpoints and the World Wide Web.
37-41
AI Applied to Spacecraft Autonomy
Computer Vision
Databases and AI
Evolutionary Computation
- Jin Li, Edward P. K. Tsang:
Improving Technical Analysis Predictions: An Application of Genetic Programming.
108-112
- Matthew P. Evett, Taghi M. Khoshgoftaar, Pei-der Chien, Edward B. Allen:
Using Genetic Programming to Determine Software Quality.
113-117
- Yoichiro Maeda:
Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior.
118-123
- George E. Nasr, A. Harb, G. Meghabghab:
Enhanced Simulated Annealing Techniques for Multiprocessor Scheduling.
124-128
- Sushil J. Louis, Judy Johnson:
Robustness of Case-Initialized Genetic Algorithms.
129-133
- Chan-Jin Chung, Robert G. Reynolds:
Knowledge-Based Control of Self-Adaptive Evolutionary Search.
134-139
- Michael Bohler, Frank W. Moore, Yi Pan:
Improved Multiprocessor Task Scheduling Using Genetic Algorithms.
140-146
Intelligent Agents
Intelligent Tutoring Systems
- Chun Wai Liew, Joel A. Shapiro, Donald E. Smith:
Reasoning about Algebraic Answers in Physics.
167-171
- Brent A. Olde, James Hoeffner, Patrick Chipman, Arthur C. Graesser:
A Connectionist Model for Part of Speech Tagging.
172-176
- Lynne E. Hall, Adrian Gordon, Paul Black, Gary Baptist:
Adding Intelligence to Net-Based Learning.
177-180
- Richard H. Stottler, Sowmya Ramachandran:
A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring.
181-186
- Yujian Zhou, Reva Freedman, Michael Glass, Joel A. Michael, Allen A. Rovick, Martha W. Evens:
What Should the Tutor Do When the Student Cannot Answer a Question?
187-191
- Peter M. Wiemer-Hastings, Katja Wiemer-Hastings, Arthur C. Graesser:
Approximate Natural Language Understanding for an Intelligent Tutor.
192-196
- Byung-In Cho, Joel A. Michael, Allen A. Rovick, Martha W. Evens:
A Curriculum Planning Model for an Intelligent Tutoring System.
197-201
Knowledge-Based Systems
Knowledge Management
Learning
Logic and AI
Logic Programming
Natural Language Processing
Neural Network Applications
Parallel and Distributed Reasoning
Planning
Reasoning About Function
- Yang Bo, Filippo A. Salustri:
Function Modeling Based on Interactions of Mass, Energy and Information.
384-388
- Dawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung Cheng:
Towards Functional Benchmarking of Information Retrieval Models.
389-393
- Nigel Hughes, Enxi Chou, Chris Price, Mark Lee:
Automating Mechanical FMEA Using Functional Models.
394-398
- Hans Grabowski, Ralf-Stefan Lossack, Harald Kunze:
Functional Modeling: Representation of Dynamic Aspects in Function Structures.
399-404
Spatiotemporal Reasoning
Uncertain Reasoning
- Yanping Xiang, Kristian G. Olesen, Finn Verner Jensen:
Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks.
438-443
- Anders L. Madsen, Bruce D'Ambrosio:
A Factorized Representation of Independence of Causal Influence and Lazy Propagation.
444-448
- Vladimir Ryabov, Seppo Puuronen, Vagan Y. Terziyan:
Representation and Reasoning with Uncertain Temporal Relations.
449-453
- Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus.
454-460
- A. Boatas, Bernard Dubuisson, M. A. Dillies-Peltier:
On-board Diagnosis of Car Catalytic Converters Using Statistical Pattern Recognition.
461-465
- Jennifer Seitzer, James P. Buckley, Alvaro E. Monge:
Meta-Pattern Extraction: Mining Cycles.
466-470
- Simon Parsons, Rachel A. Bourne:
Proof Theoretic Reasoning in System P.
471-476
- Xiaomin Zhong, Eugene Santos Jr.:
Probabilistic Reasoning through Genetic Algorithms and Reinforcement Learning.
477-481
- Lars Asker, Mats Danielson, Love Ekenberg:
Intelligent Alarm Handling.
482-487
Verification,
Validation,
and Knowledge Base Refinement
- Avelino J. Gonzalez:
Validation of Human Behavioral Models.
489-493
- Valerie Barr:
Applying Reliability Engineering to Expert Systems.
494-498
- Klaus P. Jantke, Jörg Herrmann:
Lattices of Knowledge in Intelligent Systems Validation.
499-505
- Eugene Santos Jr., Sheila B. Banks, Scott M. Brown, David J. Bawcom:
Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases.
506-510
- Jorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques:
VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers.
511-515
- Rainer Knauf, Avelino J. Gonzalez, Klaus P. Jantke:
Towards Validation of Case-Based Systems.
516-520
- Setsuo Tsuruta, Hideaki Ishida, Masaki Honma, Akio Nakaon:
Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement.
521-525
- Hans-Rainer Beick, Klaus P. Jantke:
Validation of CBL Principles.
526-530
- Dirk Salecker, Rainer Knauf:
Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology.
531-535
Last update Fri May 25 08:14:11 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
