![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th FLAIRS Conference 1999: Orlando, Florida, USA
- Amruth N. Kumar, Ingrid Russell:
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
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
- Costas Tsatsoulis, Julian Holtzman:
Generating Satellite Control Schedules Using Case-Based Scheduling. 43-48 - Jim Van Gaasbeck, Allan Posner, Brian Buckley:
Distributed Space-Segment Control Using SCL. 49-55 - Paul Cobb, Eric S. Yager, Charles Jacobus:
Anytime Diagnosis Using Model-Based Methods for Satellite Diagnostics. 56-63 - Paul Zetocha, Lance Self:
An Overview of Agent Technology for Satellite Autonomy. 64-68 - Henry Hexmoor:
Autonomy in Spacecraft Software Architecture. 69-72 - Mala Mehrotra, Sergio Alvarado, Ross H. Wainwright:
Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems. 73-77
Computer Vision
- Tiziana D'Orazio, Grazia Cicirelli, Giovanni Attolico, Cosimo Distante:
A Reinforcement Learning Approach for a Goal-Reaching Behavior. 79-83 - Justus H. Piater, Roderic A. Grupen:
A Framework for Learning Visual Discrimination. 84-88
Databases and AI
- Ravindra N. Chittimoori, Lawrence B. Holder, Diane J. Cook:
Applying the Subdue Substructure Discovery System to the Chemical Toxicity Domain. 90-94 - José Luís Braga, Alberto H. F. Laender, Claudiney Vander Ramos:
Cooperative Relational Database Querying Using Multiple Knowledge Bases. 95-99 - Robert J. Hilderman, Howard J. Hamilton, Brock Barber:
Ranking the Interestingness of Summaries from Data Mining Systems. 100-106
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, George V. 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
- Maria Fasli:
Towards a First-Order Approach for Social Agents: Preliminary Report. 148-152 - Samhaa R. El-Beltagy, Ahmed A. Rafea, Ahmed H. Sameh:
An Agent Based Approach to Expert System Explanation. 153-159 - K. Suzanne Barber, Ryan McKay, Tse-Hsin Liu:
Group Membership Services for Dynamically Organized Sensible Agent-Based Systems. 160-165
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
- John K. Debenham:
Knowledge Object Decomposition. 203-207 - Helmut Prendinger, Mitsuru Ishizuka:
Preparing a First-Order Knowledge Base for Fast Inference. 208-212 - Mauricio F. Deabate, Luis Manzanares, Carlos A. Bartó:
Expert System for the Handling of the Attendance Mechanical Ventilation in Recently Born. 213-217
Knowledge Management
- Irma Becerra-Fernandez, David W. Aha:
Case-Based Problem Solving for Knowledge Management Systems. 219-223 - Irma Becerra-Fernandez:
Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching for Experts in Florida. 224-228
Learning
- Marc Sebbna:
On Feature Selection: A New Filter Model. 230-234 - Mark A. Hall, Lloyd A. Smith:
Feature Selection for Machine Learning: Comparing a Correlation-Based Filter Approach to the Wrapper. 235-239 - Carlos H. C. Ribeiro, Elder Moreira Hemerly:
A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning. 240-243 - Stephan Schulz, Felix Brandt:
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. 244-248
Logic and AI
- Emmanuel Kounalis, Pascal Urso:
Generalization Discovery for Proofs by Induction in Conditional Theories. 250-256 - Evgeny A. Cherkashin, A. Postoenko, Stanislav N. Vassilyev, A. Zherlov:
New Logics for Intelligent Control. 257-261 - Walid Chainbi:
Multi-Agent Systems: A Theory Based on Organization and Communication Concepts. 262-266
Logic Programming
- Wenjin Lu:
CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming. 268-272 - Michela Milano, Andrea Omicini, Fabrizio Riguzzi:
Adopting an Object-Oriented Data Model in Inductive Logic Programming. 273-279 - A. S. Mohamed, A. Galal, I. Khalil, K. Sobh, M. Selim:
DISPO: Distributed Multi-Threaded Execution of Prolog Programs. 280-284
Natural Language Processing
- Bill Z. Manaris, Valanne MacGyvers, Michail G. Lagoudakis:
Universal Access to Mobile Computing Devices through Speech Input. 286-292 - Rada Mihalcea, Dan I. Moldovan:
Automatic Acquisition of Sense Tagged Corpora. 293-297 - Ahmed H. Sameh, Tarek Radi, Rana Mikhail:
Learning the Past Tense of English Verbs: An Extension to FOIDL. 298-302 - Sanda M. Harabagiu, Marius Pasca:
Integrating Symbolic and Statistical Methods for Prepositional Phrase Attachment. 303-307
Neural Network Applications
- Anthony G. Pipe, Mark Randall, Y. Jin:
Experiments in On-Line Learning Neuro-Control. 309-314 - C. Dudley Girard:
A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion. 315-319 - James N. Etheredge:
A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands. 320-324 - Paul Cullen, Brian Carse:
Connection Admission Control in ATM Networks Using Neural Networks: Research Directions and Issues in Commercial Exploitation. 325-331 - Amr W. Sadek, Hesham Ghoneim, Mustafa Mossad:
Neural Network Predictive Tool of Ground Settlement Due to Dewatering Activities. 332-335 - Marcin Paprzycki, Sean Bowers, Aaron Costeines:
Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set. 336-339
Parallel and Distributed Reasoning
- Geoff Sutcliffe, Darryl Seyfang:
Smart Selective Competition Parallelism ATP. 341-345 - Gernot Stenz, Andreas Wolf:
Strategy Selection by Genetic Programming. 346-350 - Diane J. Cook, Charles Hannon:
Adaptive Parallel Search for Theorem Proving. 351-355 - Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams:
Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms. 356-360 - Joachim Draeger, Andreas Wolf:
Strategy Parallelism and Lemma Evaluation. 361-365
Planning
- Will Briggs, Diane J. Cook:
Anytime Planning for Optimal Tradeoff between Deliberative and Reactive Planning. 367-370 - Muhammad Afzal Upal, Renee Elio:
Learning Rationales to Improve Plan Quality for Partial Order Planners. 371-377 - Kang Soo Tae:
Learning Opposite Concept for Machine Planning. 378-382
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 J. Price, Mark H. 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
- Frank D. Anger, Debasis Mitra, Rita V. Rodríguez:
Satisfiability in Nonlinear Time: Algorithms and Complexity. 406-411 - Hans W. Guesgen, Jochen Albrecht:
A Qualitative Notion of Spatial Proximity. 412-416 - Joachim Hertzberg, Frank Schönherr:
On Correcting Sewer Robots' Odometry Errors by Reasoning. 417-421 - Driss Kettani, Bernard Moulin:
A Wayfinding Application Based on the Influence Area Spatial Model. 422-430 - Carola Eschenbach, Christopher Habel, Lars Kulik:
Representing Simple Trajectories as Oriented Curves. 431-436
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, Luíz 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 Nakano:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.