Abstract is missing.
- Dynamic User Model Construction with Bayesian Networks for Intelligent Information QueriesEugene Santos Jr., Scott M. Brown, Moises Lejter, Grace Ngai, Sheila B. Banks, Martin R. Stytz. 3-7
- A Threat Ranking Algorithm for Multiple Intelligent Entities in a Simulated EnvironmentIlker Gumus, Avelino J. Gonzalez. 8-12
- A Quality Assurance System Using Neural NetworksEdson Pacheco Paladini. 13-17
- KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-MakingSøren Holm, Peter Øhrstrøm, Claus Donner. 18-23
- Towards More Intelligent and Interactive InterfacesJames S. Jennings, Nicole D. Terry. 24-31
- RAID: A System to Aid in the Removal of Program BugsLisa J. Burnell, Alan Meadows, Patricia Bass, Keith E. Biggers, John W. Priest. 32-36
- Knowledge-Based Systems, Viewpoints and the World Wide WebIan Finch. 37-41
- Generating Satellite Control Schedules Using Case-Based SchedulingCostas Tsatsoulis, Julian Holtzman. 43-48
- Distributed Space-Segment Control Using SCLJim Van Gaasbeck, Allan Posner, Brian Buckley. 49-55
- Anytime Diagnosis Using Model-Based Methods for Satellite DiagnosticsPaul Cobb, Eric S. Yager, Charles Jacobus. 56-63
- An Overview of Agent Technology for Satellite AutonomyPaul Zetocha, Lance Self. 64-68
- Autonomy in Spacecraft Software ArchitectureHenry Hexmoor. 69-72
- Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground SystemsMala Mehrotra, Sergio Alvarado, Ross Wainwright. 73-77
- A Reinforcement Learning Approach for a Goal-Reaching BehaviorTiziana D Orazio, Grazia Cicirelli, Giovanni Attolico, Cosimo Distante. 79-83
- A Framework for Learning Visual DiscriminationJustus H. Piater, Roderic A. Grupen. 84-88
- Applying the Subdue Substructure Discovery System to the Chemical Toxicity DomainRavindra N. Chittimoori, Lawrence B. Holder, Diane J. Cook. 90-94
- Cooperative Relational Database Querying Using Multiple Knowledge BasesJosé Luís Braga, Alberto H. F. Laender, Claudiney Vander Ramos. 95-99
- Ranking the Interestingness of Summaries from Data Mining SystemsRobert J. Hilderman, Howard J. Hamilton, Brock Barber. 100-106
- Improving Technical Analysis Predictions: An Application of Genetic ProgrammingJin Li, Edward P. K. Tsang. 108-112
- Using Genetic Programming to Determine Software QualityMatthew P. Evett, Taghi M. Khoshgoftaar, Pei-der Chien, Edward B. Allen. 113-117
- Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative BehaviorYoichiro Maeda. 118-123
- Enhanced Simulated Annealing Techniques for Multiprocessor SchedulingGeorge E. Nasr, A. Harb, G. Meghabghab. 124-128
- Robustness of Case-Initialized Genetic AlgorithmsSushil J. Louis, Judy Johnson. 129-133
- Knowledge-Based Control of Self-Adaptive Evolutionary SearchChan-Jin Chung, Robert G. Reynolds. 134-139
- Improved Multiprocessor Task Scheduling Using Genetic AlgorithmsMichael Bohler, Frank W. Moore, Yi Pan. 140-146
- Towards a First-Order Approach for Social Agents: Preliminary ReportMaria Fasli. 148-152
- An Agent Based Approach to Expert System ExplanationSamhaa R. El-Beltagy, Ahmed A. Rafea, Ahmed H. Sameh. 153-159
- Group Membership Services for Dynamically Organized Sensible Agent-Based SystemsK. Suzanne Barber, Ryan McKay, Tse-Hsin Liu. 160-165
- Reasoning about Algebraic Answers in PhysicsChun Wai Liew, Joel A. Shapiro, Donald E. Smith. 167-171
- A Connectionist Model for Part of Speech TaggingBrent A. Olde, James Hoeffner, Patrick Chipman, Arthur C. Graesser. 172-176
- Adding Intelligence to Net-Based LearningLynne E. Hall, Adrian Gordon, Paul Black, Gary Baptist. 177-180
- A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS AuthoringRichard H. Stottler, Sowmya Ramachandran. 181-186
- What Should the Tutor Do When the Student Cannot Answer a Question?Yujian Zhou, Reva Freedman, Michael Glass, Joel A. Michael, Allen A. Rovick, Martha W. Evens. 187-191
- Approximate Natural Language Understanding for an Intelligent TutorPeter M. Wiemer-Hastings, Katja Wiemer-Hastings, Arthur C. Graesser. 192-196
- A Curriculum Planning Model for an Intelligent Tutoring SystemByung-In Cho, Joel A. Michael, Allen A. Rovick, Martha W. Evens. 197-201
- Knowledge Object DecompositionJohn K. Debenham. 203-207
- Preparing a First-Order Knowledge Base for Fast InferenceHelmut Prendinger, Mitsuru Ishizuka. 208-212
- Expert System for the Handling of the Attendance Mechanical Ventilation in Recently BornMauricio F. Deabate, Luis Manzanares, Carlos A. Bartó. 213-217
- Case-Based Problem Solving for Knowledge Management SystemsIrma Becerra-Fernandez, David W. Aha. 219-223
- Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching for Experts in FloridaIrma Becerra-Fernandez. 224-228
- On Feature Selection: A New Filter ModelMarc Sebbna. 230-234
- Feature Selection for Machine Learning: Comparing a Correlation-Based Filter Approach to the WrapperMark A. Hall, Lloyd A. Smith. 235-239
- A Weighted Instance-Based Algorithm for Situated Autonomous Robot LearningCarlos H. C. Ribeiro, Elder Moreira Hemerly. 240-243
- Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem ProvingStephan Schulz, Felix Brandt. 244-248
- Generalization Discovery for Proofs by Induction in Conditional TheoriesEmmanuel Kounalis, Pascal Urso. 250-256
- New Logics for Intelligent ControlE. Cherkashin, A. Postoenko, S. Vassilyev, A. Zherlov. 257-261
- Multi-Agent Systems: A Theory Based on Organization and Communication ConceptsWalid Chainbi. 262-266
- CH-Prolog: A Proof Procedure for Positive Disjunctive Logic ProgrammingWenjin Lu. 268-272
- Adopting an Object-Oriented Data Model in Inductive Logic ProgrammingMichela Milano, Andrea Omicini, Fabrizio Riguzzi. 273-279
- DISPO: Distributed Multi-Threaded Execution of Prolog ProgramsA. S. Mohamed, A. Galal, I. Khalil, K. Sobh, M. Selim. 280-284
- Universal Access to Mobile Computing Devices through Speech InputBill Z. Manaris, Valanne MacGyvers, Michail G. Lagoudakis. 286-292
- Automatic Acquisition of Sense Tagged CorporaRada Mihalcea, Dan I. Moldovan. 293-297
- Learning the Past Tense of English Verbs: An Extension to FOIDLAhmed H. Sameh, Tarek Radi, Rana Mikhail. 298-302
- Integrating Symbolic and Statistical Methods for Prepositional Phrase AttachmentSanda M. Harabagiu, Marius Pasca. 303-307
- Experiments in On-Line Learning Neuro-ControlAnthony G. Pipe, Mark Randall, Y. Jin. 309-314
- A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional MotionC. Dudley Girard. 315-319
- A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral BandsJames N. Etheredge. 320-324
- Connection Admission Control in ATM Networks Using Neural Networks: Research Directions and Issues in Commercial ExploitationPaul Cullen, Brian Carse. 325-331
- Neural Network Predictive Tool of Ground Settlement Due to Dewatering ActivitiesAmr W. Sadek, Hesham Ghoneim, Mustafa Mossad. 332-335
- Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training SetMarcin Paprzycki, Sean Bowers, Aaron Costeines. 336-339
- Smart Selective Competition Parallelism ATPGeoff Sutcliffe, Darryl Seyfang. 341-345
- Strategy Selection by Genetic ProgrammingGernot Stenz, Andreas Wolf. 346-350
- Adaptive Parallel Search for Theorem ProvingDiane J. Cook, Charles Hannon. 351-355
- Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous AlgorithmsEugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams. 356-360
- Strategy Parallelism and Lemma EvaluationJoachim Draeger, Andreas Wolf. 361-365
- Anytime Planning for Optimal Tradeoff between Deliberative and Reactive PlanningWill Briggs, Diane J. Cook. 367-370
- Learning Rationales to Improve Plan Quality for Partial Order PlannersMuhammad Afzal Upal, Renee Elio. 371-377
- Learning Opposite Concept for Machine PlanningKang Soo Tae. 378-382
- Function Modeling Based on Interactions of Mass, Energy and InformationYang Bo, Filippo A. Salustri. 384-388
- Towards Functional Benchmarking of Information Retrieval ModelsDawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung Cheng. 389-393
- Automating Mechanical FMEA Using Functional ModelsNigel Hughes, Enxi Chou, Chris Price, Mark Lee. 394-398
- Functional Modeling: Representation of Dynamic Aspects in Function StructuresHans Grabowski, Ralf-Stefan Lossack, Harald Kunze. 399-404
- Satisfiability in Nonlinear Time: Algorithms and ComplexityFrank D. Anger, Debasis Mitra, Rita V. Rodríguez. 406-411
- A Qualitative Notion of Spatial ProximityHans W. Guesgen, Jochen Albrecht. 412-416
- On Correcting Sewer Robots Odometry Errors by ReasoningJoachim Hertzberg, Frank Schönherr. 417-421
- A Wayfinding Application Based on the Influence Area Spatial ModelDriss Kettani, Bernard Moulin. 422-430
- Representing Simple Trajectories as Oriented CurvesCarola Eschenbach, Christopher Habel, Lars Kulik. 431-436
- Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian NetworksYanping Xiang, Kristian G. Olesen, Finn Verner Jensen. 438-443
- A Factorized Representation of Independence of Causal Influence and Lazy PropagationAnders L. Madsen, Bruce D Ambrosio. 444-448
- Representation and Reasoning with Uncertain Temporal RelationsVladimir Ryabov, Seppo Puuronen, Vagan Y. Terziyan. 449-453
- Nondeterminism and Uncertainty in the Situation CalculusJavier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus. 454-460
- On-board Diagnosis of Car Catalytic Converters Using Statistical Pattern RecognitionA. Boatas, Bernard Dubuisson, M. A. Dillies-Peltier. 461-465
- Meta-Pattern Extraction: Mining CyclesJennifer Seitzer, James P. Buckley, Alvaro E. Monge. 466-470
- Proof Theoretic Reasoning in System PSimon Parsons, Rachel A. Bourne. 471-476
- Probabilistic Reasoning through Genetic Algorithms and Reinforcement LearningXiaomin Zhong, Eugene Santos Jr.. 477-481
- Intelligent Alarm HandlingLars Asker, Mats Danielson, Love Ekenberg. 482-487
- Validation of Human Behavioral ModelsAvelino J. Gonzalez. 489-493
- Applying Reliability Engineering to Expert SystemsValerie Barr. 494-498
- Lattices of Knowledge in Intelligent Systems ValidationKlaus P. Jantke, Jörg Herrmann. 499-505
- Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-BasesEugene Santos Jr., Sheila B. Banks, Scott M. Brown, David J. Bawcom. 506-510
- VERITAS - A Verification Tool for Real-Time Applications in Power System Control CentersJorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques. 511-515
- Towards Validation of Case-Based SystemsRainer Knauf, Avelino J. Gonzalez, Klaus P. Jantke. 516-520
- Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge RefinementSetsuo Tsuruta, Hideaki Ishida, Masaki Honma, Akio Nakaon. 521-525
- Validation of CBL PrinciplesHans-Rainer Beick, Klaus P. Jantke. 526-530
- Validation Manager - A Tool for AI Systems Evaluation by a Turing Test-Like MethodologyDirk Salecker, Rainer Knauf. 531-535