default search action
15th FLAIRS Conference 2002: Pensacola Beach, Florida, USA
- Susan M. Haller, Gene Simmons:
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA. AAAI Press 2002, ISBN 1-57735-141-X
Agents
- Charles J. Hannon:
Biologically Inspired Mechanisms for Processing Sensor Rich Environments. 3-7 - Nicholas Lacey, Henry Hexmoor, Gordon Beavers:
Planning at the Intention Level. 8-12 - Peter T. O'Hare, Gregory M. P. O'Hare, T. D. Lowen:
Far and A WAY: Context Sensitive Service Delivery through Mobile Lightweight PDA Hosted Agents. 13-17
AI in Aerospace
- Eric A. Domeshek:
Semi-Formal Representations in Support of Design Coordination. 19-23 - John L. Mohammed:
SpaceCAPS: Automated Mission Planning for the TechSat 21 Formation-Flying Cluster Experiment. 24-27 - Lance Self:
Design of a Satellite Data Distribution Center. 28-31 - Walt Truszkowski:
An Agent Community Supporting Orbit Determination. 32-34
Artificial Intelligence in Educational Information Technology
- Boris A. Galitsky:
On the Training of Mental Reasoning: Searching the Works of Literature. 36-40 - Lúcia Maria Martins Giraffa:
Modeling and Implementing Intelligent Educational Environments Using An Interdisciplinary Approach. 41-45 - Alexandre L. Gonçalves, Roberto Carlos dos Santos Pacheco, Aran Bey Tcholakian Morales, Vinícius Medina Kern:
Cluster Analysis in Science and Technology: An Application in Research Group Evaluation. 46-50 - Lobna Jeribi, Béatrice Rumpler, Jean-Marie Pinon:
User Modeling and Instance Reuse for Information Retrieval Study Case: Visually Disabled Users Access to Scientific Documents. 51-55
Automated Reasoning
- Matthias Fuchs, Geoff Sutcliffe:
Homogeneous Sets of ATP Problems. 57-61 - Philomena Y. Lee, Michael T. Cox:
Dimensional Indexing for Targeted Case-Base Retrieval: The SMIRKS System. 62-66 - Marius Pasca:
Answer Finding Guided by Question Semantic Constraints. 67-71 - Stephan Schulz:
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. 72-76
Behavioral Characteristics and AI Systems: Innovations and Application
- Christine L. Lisetti, Fatma Nasoz:
Application of the Multilevel Process Theory of Emotion to User-Modeling. 78-81 - Nandan Parameswaran:
Emotions in Intelligent Agents. 82-86 - Michael J. Prietula, Kathleen M. Carley:
TAG Models with Emotion. 87-88 - Matthias Scheutz:
Agents with or without Emotions?. 89-93
Case-Based Reasoning
- David W. Aha, Kalyan Moy Gupta:
Causal Query Elaboration in Conversational Case-Based Reasoning. 95-100 - Belén Díaz-Agudo, Pedro A. González-Calero:
CBROnto: A Task/Method Ontology for CBR. 101-105 - David B. Leake, Raja Sooriamurthi:
Managing Multiple Case Bases: Dimensions and Issues. 106-110 - Lorraine McGinty, Barry Smyth:
Shared Experiences in Personalized Route Planning. 111-115 - M. Michael, Deepak Khemani:
An Industrial Application of CBR in Manufacturing to Reduce Rejections. 116-120 - Derry O'Sullivan, David C. Wilson, Barry Smyth:
Using Collaborative Filtering Data in Case-Based Recommendation. 121-125 - David W. Patterson, Niall Rooney, Mykola Galushka, Sarab S. Anand:
Towards Dynamic Maintenance of Retrieval Knowledge in CBR. 126-131 - Ian D. Watson, Emilia Mendes, Chris Triggs, Nile Mosley, Steve Counsell:
Using CBR to Estimate Development Effort for Web Hypermedia Applications. 132-136
Categorization and Concept Representation Models and Implications
- Andrea Di Ferdinando, Anna M. Borghi, Domenico Parisi:
The Role of Action in Object Categorization. 138-142 - Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste:
Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. 143-147 - Liane Gabora, Diederik Aerts:
Contextualizing Concepts. 148-152 - Françoise Gayral, Daniel Kayser:
Inference and Categorization. 153-157 - Michael Grimsley, Anthony Meehan:
Perceptual Scaling in Materials Selection for Concurrent Design. 158-162 - Todd M. Gureckis, Bradley C. Love:
Modeling Unsupervised Learning with SUSTAIN. 163-167 - David B. Leake, Ana Gabriela Maguitman, Alberto J. Cañas:
Assessing Conceptual Similarity to Support Concept Mapping. 168-172 - Fabio Pardi:
Category Similarity as a Predictor for SVM Learning Performance. 173-177 - Anca Pascu, François-Gilles Carpentier:
Object Determination Logic - A Categorization System. 178-180 - Pei Wang:
The Logic of Categorization. 181-185
Constraint Satisfaction and Theorem Proving
- John F. Kolen:
An On-Line Satisfiability Algorithm for Conjunctive Normal Form Expressions with Two Literals. 187-191 - Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
Extending Dual Arc Consistency. 192-197 - Vasile Rus, Dan I. Moldovan, Orest Bolohan:
Bracketing Compound Nouns for Logic Form Derivation. 198-202 - Rong Zhou, Eric A. Hansen:
Memory-Bounded A* Graph Search. 203-209
Evaluation of Intelligent Systems
- Hans-Werner Kelbassa:
Higher Order Refinement Heuristics for Rule Validation. 211-215 - Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, Dirk Salecker:
System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge. 216-220 - Silvie Spreeuwenberg, Rik Gerrits:
Requirements for Successful Verification in Practice. 221-225 - Setsuo Tsuruta, Takashi Onoyama, Yoshio Taniguchi:
Knowledge-Based Validation Method for Validating Intelligent Systems. 226-230
Genetic Algorithms
- Sanghamitra Bandyopadhyay, Ujjwal Maulik, Diane J. Cook, Lawrence B. Holder, Yousuf Ajmerwala:
Enhancing Structure Discovery for Data Mining in Graphical Databases Using Evolutionary Programming. 232-236 - Takashi Onoyama, Sen Kubota, Yoshio Taniguchi, Setsuo Tsuruta:
Proposal and Evaluation of "Selfish-Gene with Limited Allowance" Type GA for Solving Constraint TSP. 237-241 - T. Rajkumar, Jorge E. Bardina:
Prediction of Aerodynamic Coefficients Using Neural Networks for Sparse Data. 242-246
Imprecise and Indeterminate Probabilities in Artificial Intelligence
- Fábio Gagliardi Cozman:
Algorithms for Conditioning on Events of Zero Lower Probability. 248-252 - Henry E. Kyburg Jr.:
Semantics for Interval Probabilities. 253-257 - Ahmed Y. Tawfik:
Towards Temporal Reasoning Using Qualitative Probabilities. 258-262
Integrated Intelligent Systems
- Guido Bologna:
On the Validation of the DIMLP Neural Network. 264-266 - I. G. L. da Silva, B. P. de Amorim, P. G. Campos, Lourdes Mattos Brasil:
Integration of Data Mining and Hybrid Expert System. 267-271 - H. Kazeli, T. C. Christofides, E. Keravnou:
An Intelligent Hybrid Decision Support System for the Management of Water Resources. 272-276 - Ciprian-Daniel Neagu, Vasile Palade:
Modular Neuro-Fuzzy Networks Used in Explicit and Implicit Knowledge Integration. 277-281 - Tony White, Bernard Pagurek, Dwight Deugo:
Biologically-Inspired Agents for Priority Routing in Networks. 282-287
Interactive Tutoring
- John W. Coffey:
A Knowledge-Based Instructional Assistant to Accompany LEO: A Learning Environment Organizer. 289-293 - Eman El-Sheikh, Jon Sticklen:
A Task-Specific Architecture for the Generation of Intelligent Tutoring Systems. 294-298 - Chun Wai Liew, Donald E. Smith:
Checking for Dimensional Correctness in Physics Equations. 299-303
Knowledge Management
- Lisa J. Burnell, Ryan Figg, Minh Phan, Justin Smith, Akihiro Sugihara, John W. Priest, John R. Durrett:
A Business-Rules Approach for Departmental Advising. 305-309 - Kenneth R. Henry:
Knowledge Assets: Governmental Measurement Standards. 310-313 - Ruben D. Jaen:
Data Mining: An Empirical Application in Real Estate Valuation. 314-317 - Dan Zhu, Michael J. Prietula:
Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues. 318-320
Machine Learning
- Svetla Boytcheva, Zdravko Markov:
An Algorithm for Inducing Least Generalization Under Relative Implication. 322-326 - Fábio Gagliardi Cozman, Ira Cohen:
Unlabeled Data Can Degrade Classification Performance of Generative Classifiers. 327-331 - Karen C. Davis, Krishnamoorthy Janakiraman, Ali A. Minai, Robert B. Davis:
Data Integration Using Data Mining Techniques. 332-338 - Ronnie Fanguy, Miroslav Kubat:
Modifying Upstart for Use in Multiclass Numerical Domains. 339-343 - Rattikorn Hewett, John H. Leuchner, Choh Man Teng, Sean D. Mooney, Teri E. Klein:
Compression-Based Induction and Genome Data. 344-348 - Priyath T. Sandanayake, Diane J. Cook:
Imitating Agent Game Strategies Using a Scalable Markov Model. 349-353 - Alexey Tsymbal, Seppo Puuronen, Mykola Pechenizkiy, Matthias Baumgarten, David W. Patterson:
Eigenvector-Based Feature Extraction for Classification. 354-358
Natural Language Processing
- Roxana Girju, Dan I. Moldovan:
Text Mining for Causal Relations. 360-364 - Susan M. Haller, Barbara Di Eugenio, Michael J. Trolio:
Generating Natural Language Aggregations Using a Propositional Representation of Sets. 365-369 - Beum-Seuk Lee, Barrett R. Bryant:
Contextual Knowledge Representation for Requirements Documents in Natural Language. 370-374 - Adrian Novischi:
Accurate Semantic Annotations via Pattern Matching. 375-379
Neural Networks
- George E. Nasr, E. A. Badr, C. Joun:
Cross Entropy Error Function in Neural Networks: Forecasting Gasoline Demand. 381-384 - Denis V. Rubtsov, Sergei V. Butakov:
A New XML-Based Language for Neural Solution Interchange. 385-389
Robotics
- Scott A. DeLoach, Eric T. Matson, Yonghua Li:
Applying Agent Oriented Software Engineering to Cooperative Robotics. 391-396 - Christine L. Lisetti:
Personality, Affect and Emotion Taxonomy for Socially Intelligent Agents. 397-401
Semantic Web
- Ying Ding, Maksym Korotkiy, Borys Omelayenko, Vera Kartseva, Volodymyr Zykov, Michel C. A. Klein, Ellen Schulten, Dieter Fensel:
GoldenBullet in a Nutshell. 403-407 - James Farrugia, Max J. Egenhofer:
Presentations and Bearers of Semantics on the Web. 408-412 - Yolanda Gil, Varun Ratnakar:
A Comparison of (Semantic) Markup Languages. 413-418 - Borys Omelayenko, Dieter Fensel, Christoph Bussler:
Mapping Technology for Enterprise Integration. 419-424 - Tanja Sollazzo, Siegfried Handschuh, Steffen Staab, Martin R. Frank, Nenad Stojanovic:
Semantic Web Service Architecture -- Evolving Web Service Standards toward the Semantic Web. 425-429 - Nicolas Spyratos, Yannis Tzitzikas, Vassilis Christophides:
On Personalizing the Catalogs of Web Portals. 430-434 - Nenad Stojanovic, Ljiljana Stojanovic:
Searching for the Knowledge in the Semantic Web. 435-439 - Heiner Stuckenschmidt, Jens Hartmann, Frank van Harmelen:
Learning Structural Classification Rules for Web-Page Categorization. 440-444 - Holger Wache, Ubbo Visser, Thorsten Scholz:
Ontology Construction - An Iterative and Dynamic Task. 445-449 - Haiping Zhu, Jiwei Zhong, Jianming Li, Yong Yu:
An Approach for Semantic Search by Matching RDF Graphs. 450-454
Spatiotemporal Reasoning
- Enrique Alfonseca, Suresh Manandhar:
A Framework for Constructing Temporal Models from Texts. 456-460 - Jörg Baus, Christian Kray:
Frames of Reference, Positional Information and Navigational Assistance. 461-465 - Thomas Bittner:
Granularity in Reference to Spatio-Temporal Location and Relations. 466-470 - Richard Chbeir, Youssef Amghar, André Flory:
High Expressive Spatio-Temporal Relations. 471-475 - Hans W. Guesgen:
From the Egg-Yolk to the Scrambled-Egg Theory. 476-480 - Howard J. Hamilton, Leah Findlater:
Looking Backward, Forward, and All Around: Temporal, Spatial, and Spatio-Temporal Data Mining. 481-485 - Debasis Mitra:
A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two-Dimensional Space. 486-491
Uncertain Reasoning and Imprecise and Indeterminate Probabilities in AI
- Mikelis Bickis, Eric Neufeld:
A Variation on the Paradox of Two Envelopes. 493-497 - Tzur M. Karelitz, Mandeep K. Dhami, David V. Budescu, Thomas S. Wallsten:
Toward a Universal Translator of Verbal Probabilities. 498-502 - Isaac Levi:
Indeterminate Probability and Change of View. 503-507 - Paul Snow:
The Reasonableness of Necessity. 508-512
Uncertain Reasoning
- Nils-Peter Andersson, Love Ekenberg, Aron Larsson:
A Bayesian Approach to Operational Decisions in Transportation Businesses. 514-518 - Salem Benferhat, Souhila Kaci:
Fusion of Possibilistic Knowledge Bases from a Postulate Point of View. 519-523 - Eugene Santos Jr., Eugene S. Santos, Solomon Eyal Shimony:
Semantics and Knowledge Acquisition in Bayesian Knowledge-Bases. 524-528 - S. K. Michael Wong, Tao Lin:
Conflict Resolution in Probabilistic Multi-Agent Systems. 529-533 - Y. Xiang:
Comparing Alternative Methods for Inference in Multiply Sectioned Bayesian Networks. 534-538
Workshop
- Robert R. Hoffman:
Institutionalizing the Field of Expertise Studies and Its Applications to Computer Science. 540-543
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.