James N. Etheredge, Bill Z. Manaris (Eds.):
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA.
AAAI Press 2000, ISBN 1-57735-113-4 BibTeX
@proceedings{DBLP:conf/flairs/2000,
editor = {James N. Etheredge and
Bill Z. Manaris},
title = {Proceedings of the Thirteenth International Florida Artificial
Intelligence Research Society Conference, May 22-24, 2000, Orlando,
Florida, USA},
booktitle = {FLAIRS Conference},
publisher = {AAAI Press},
year = {2000},
isbn = {1-57735-113-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Artificial Intelligence Applications
Artificial Intelligence in Instructional Software
- Joseph E. Beck, Beverly Park Woolf:
Reasoning from Data Rather than Theory.
34-39 BibTeX
- Adrian Gordon, Lynne E. Hall:
Actively Supporting Collaboration in Virtual Learning Environments.
40-44 BibTeX
- Chun Wai Liew, Joel A. Shapiro, Donald E. Smith:
What is Wrong with this Equation? Error Detection and Feedback with Physics Equations.
45-49 BibTeX
- Lisa N. Michaud, Kathleen F. McCoy:
Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar.
50-54 BibTeX
- Christoph Peylo, Wilfried Teiken, Claus-Rainer Rollinger, Helmar Gust:
An Ontology as Domain Model in a Web-Based Educational System for Prolog.
55-59 BibTeX
- Feng-Jen Yang, Jung Hee Kim, Michael Glass, Martha W. Evens:
Turn Planning in CIRCSIM-Tutor.
60-64 BibTeX
Classification
Data Mining
Genetic Algorithms
Information Retrieval
Intelligent Agents
Knowledge Management
- Irma Becerra-Fernandez, Helen Stewart, Martha Del Alto, Chris Knight:
Developing an Advanced Environment for Collaborative Computing.
154-158 BibTeX
- Fatma Mili, Krish Narayanan, Vamsi Atluri:
Defining and Monitoring Knowledge Integrity.
159-165 BibTeX
- Francis D. Tuggle, Nancy C. Shaw:
The Effect of Organizational Culture on the Implementation of Knowledge Management.
166-169 BibTeX
- Rosina Weber, David W. Aha, Karl Branting, J. Robert Lucas, Irma Becerra-Fernandez:
Active Case-Based Reasoning for Lessons Delivery System.
170-174 BibTeX
Knowledge Representation
Machine Learning
Natural Language Processing
Neural Networks
Spacecraft Autonomy
Spatiotemporal Reasoning
Uncertain Reasoning
- Olav Bangsø, Pierre-Henri Wuillemin:
Top-Down Construction and Repetetive Structures Representation in Bayesian Networks.
282-286 BibTeX
- Jian Cheng, Marek J. Druzdzel:
Latin Hypercube Sampling in Bayesian Networks.
287-292 BibTeX
- Hongyu Geng, Yang Xiang:
Distributed Multi-Agent MSBN: Implementing Verification.
293-297 BibTeX
- Andrew J. Novobilski, Farhad Kamangar:
Inferencing Bayesian Networks from Time Series Data Using Natural Selection.
298-302 BibTeX
- Silja Renooij, Linda C. van der Gaag, Shaw Green, Simon Parsons:
Zooming in on Trade-Offs in Qualitative Probabilistic Networks.
303-307 BibTeX
- Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Rosen:
Independence Semantics for BKBs.
308-312 BibTeX
- Håkan L. S. Younes, Love Ekenberg:
A Deterministic Algorithm for Solving Imprecise Decision Problems.
313-317 BibTeX
Verification,
Validation,
and System Certification
- Volker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Formal Concepts of Learning Systems Validation in Use.
319-324 BibTeX
- Volker Dötsch, Klaus P. Jantke:
TIC - A Toolkit for Valication in Formal Language Learning.
325-330 BibTeX
- Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke:
Towards Validation of Rule-Based Systems - The Loop is Closed.
331-335 BibTeX
- Bruno Langenstein, Roland Vogt, Markus Ullmann:
The Use of Formal Methods for Trusted Digital Signature Devices.
336-340 BibTeX
- Heiko Mantel, Felix C. Gärtner:
A Case Study in the Mechanical Verification of Fault Tolerance.
341-345 BibTeX
- Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
Verification of Cooperating Systems - An Approach Based on Formal Languages.
346-350 BibTeX
- Uwe Petermann:
Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification.
351-355 BibTeX
- Werner Stephan, Georg Rock, Michael Brodski:
Modeling Specification and Verification of an Emergency Closing System.
356-360 BibTeX
- Setsuo Tsuruta, Takashi Onoyama, Sen Kubota, Kazuko Oyanagi:
Validation Method for Intelligent Systems.
361-365 BibTeX
Tutorial
Copyright © Sat May 16 23:12:10 2009
by Michael Ley (ley@uni-trier.de)
