Edited by Ingrid Russell and Zdravko Markov

Clearwater Beach, Florida. May 15–17, 2005. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

---

Contents

Preface / xvii
Ingrid Russell and Zdravko Markov

Florida AI Research Society Officers / xviii

FLAIRS 2005 Organizing and Program Committees / xix
Ingrid Russell and Zdravko Markov

Invited Talks / xxxiii
Ted Senator, David Stork, Lawrence Hunter, and Martha Pollack

AI Education (Special Track)

Increasing AI Project Effectiveness with Reusable Code Frameworks: A Case Study Using IUCBRF / 2
Steven Bogaerts and David Leake, Indiana University

Teaching Stochastic Local Search / 8
Todd W. Neller, Gettysburg College

AI for Social Networks (Special Track)

Collaborative Context Based Reasoning / 15
Gilbert Barrett and Avelino Gonzalez, University of Central Florida

Role of Context in Social Networks / 20
Patrick Brézillon, University Paris 6

A Context-based Representation of Organizational Structures / 26
Alexandre Gachet, University of Hawaii at Manoa; and Patrick Brézillon, University Paris 6

Social Network Structures and Their Impact on Multi-Agent System Dynamics / 32
Matthew E. Gaston and Marie desJardins, University of Maryland Baltimore County

The Emergence of Complex Hierarchical Hub Social Network In The Mesa Verde Village Simulation Using Cultural Learning / 38
Ziad Kobti, University of Windsor; Robert G. Reynolds, Wayne State University; and Timothy A. Kohler, Washington State University

WIZER: An Automated Intelligent Tool for Model Improvement of Multi-Agent Social-Network Systems / 44
Alex Yahja and Kathleen M. Carley, Carnegie Mellon University

AI in Music and Art (Special Track)

Interactive Control of Evolution Applied to Sound Synthesis / 51
M. F. Caetano, J. Manzolli, and F. J. Von Zuben, University of Campinas

Jazz Melody Generation from Recurrent Network Learning of Several Human Melodies / 57
Judy A. Franklin, Smith College

Tightening the Loop: From Machine-Nature Communication Towards Symbiosis / 63
Andy Gracie, University of Huddersfield; and Brian Lee Yung Rowe, Cenozoa Corporation

Implementation of the Discrete Hidden Markov Model in Max/MSP Environment / 68
Paul Kolesnik and Marcelo M. Wanderley, McGill University

The Aesthetiscope: Visualizing Aesthetic Readings of Text in Color Space / 74
Hugo Liu and Pattie Maes, Massachusetts Institute of Technology Media Laboratory

Exploring Similarities in Music Performances with an Evolutionary Algorithm / 80
Søren Tjagvad Madsen, Austrian Research Institute for Artificial Intelligence; and Gerhard Widmer, University of Linz

Modeling Expressive Music Performance in Jazz / 86
Rafael Ramirez and Amaury Hazan, Pompeu Fabra University

Artificial Immune System Based Art / 92
Juan Romero and Estanislao Sanmartín, University of A Coruña; Penousal Machado, University of Coimbra; and Antonino Santos, University of A Coruña

Case-Based Reasoning (Special Track)

Feature Selection for Improving Case-Based Classifiers on High-Dimensional Data Sets / 99
Niloofar Arshadi, University of Toronto; and Igor Jurisica, University Health Network

Case-Based Reasoning for Gas Turbine Diagnostics / 105
Mark Devaney, Enkia Corporation; and Bill Cheetham, General Electric Global Research

Assessment of a Novel Technique for Indexing Real World Temporal Cases / 111
Mykola Galushka and David Patterson, University of Ulster

Using Cases to Support Divergent Roles in Distributed Collaboration / 117
David Leake, Steven Bogaerts, Michael Evans, Rick McMullen, Michael Oder, and Alejandro Valerio, Indiana University

An Analysis of Critique Diversity in Case-Based Recommendation / 123
Kevin McCarthy, James Reilly, Lorraine McGinty, and Barry Smyth, University College Dublin

Retrieving Short and Dynamic Biomedical Sequences / 129
Markus Nilsson, Mälardalen University

A Case for Usage of Case Usage in Case-Based Reasoning / 135
Mohamed A. K. Sadiq and Deepak Khemani, Indian Institute of Technology Madras

Computational Intelligence for Advanced Web Knowledge Discovery (Special Track)

Finding Base Time-Line of a News Article / 142
Sandip Debnath, Prasenjit Mitra, and C. Lee Giles, The Pennsylvania State University

Knowledge Modelling through RDF Classification / 148
Vincenzo Loia, Sabrina Senatore, and Maria I. Sessa, Università di Salerno

Constraint Solving and Programming (Special Track)

A Microstructure Based Approach to Constraint Satisfaction Optimisation Problems / 155
Ola Angelsmark and Johan Thapper, Linköpings Universitet

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems / 161
Roman Barták, Charles University in Prague; and Pavel Surynek, Czech Technical University

A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search / 167
Joel Gompert and Berthe Y. Choueiry, University of Nebraska-Lincoln

Approximating Partial Interchangeability in CSP Solutions / 175
Nicoleta Neagu, Whitestein Technologies AG; and Boi Faltings, Ecole Polytechnique Fédérale de Lausanne

Data Mining

Structure Discovery in Sequentially Connected Data / 182
Jeffrey A. Coble, Diane J. Cook, and Lawrence B. Holder, The University of Texas at Arlington

A Serial Partitioning Approach to Scaling Graph-Based Knowledge Discovery / 188
Runu Rathi, Diane J. Cook, and Lawrence B. Holder, The University of Texas at Arlington

Automated HPOMDP Construction through Data-mining Techniques in the Intelligent Environment Domain / 194
G. Michael Youngblood, Edwin O. Heierman, Diane J. Cook, and Lawrence B. Holder, The University of Texas at Arlington

Emotional Intelligence (Special Track)

The Emotional Conditions of Learning / 201
Soumaya Chaffar and Claude Frasson, Université de Montréal

Instrumentation for Automatic Monitoring of Affective State in Human-Computer Interaction / 207
Jing Zhai and Armando B. Barreto, Florida International University

Evaluation and Refinement of Intelligent Systems (Special Track)

Invited Talk: Cooperative Knowledge Acquisition and Knowledge Refinement Systems: A Review of Their Use in Intelligent Systems and Their Roles in the Semantic Web / 214
Derek Sleeman, University of Aberdeen

Smelly Owls–Design Anomalies in Ontologies / 215
Joachim Baumeister and Dietmar Seipel, University Wuerzburg

A Consistency-Based Approach to Knowledge Base Refinement / 221
Tri M. Cao and Paul Compton, University of New South Wales

Towards an Evaluation of (e-) Learning Systems / 226
Rainer Knauf, Ilmenau Technical University; and Klaus P. Jantke, German Research left for Artificial Intelligence

Towards Modeling Human Expertise: An Empirical Case Study / 232
Rainer Knauf, Ilmenau Technical University; Setsuo Tsuruta, Tokyo Denki University; and Avelino J. Gonzalez, University of Central Florida

A Simulation-based Approach to Evaluating the Effectiveness of Navigation Compression Models / 238
Tong Zheng and Randy Goebel, University of Alberta

Genetic Algorithms

Human Perception-Driven, Similarity-Based Access to Image Databases / 245
M. Emre Celebi and Y. Alp Aslandogan, The University of Texas at Arlington

Exploration or Convergence? Another Meta-Control Mechanism for GAs / 51
Chun Wai Liew and Mayank Lahiri, Lafayette College

Genetic Algorithms and Search

Adaptive Particle Swarm Optimizer: Response to Dynamic Systems through Rank-based Selection / 258
Tauheed Ahmed and Farhad Kamangar, The University of Texas at Arlington

New Lower Bounds for the Snake-in-the-Box Problem: Using Evolutionary Techniques to Hunt for Snakes / 264
D. A. Casella and W. D. Potter, University of Georgia

Speeding up the ESG Algorithm / 270
Yousef Kilani, Prince Hussein bin Abdullah Information Technology College, and Abdullah Mohdzin, Universiti Kebangsaan Malaysia

Information Retrieval

InfoSift: Adapting Graph Mining Techniques for Text Classification / 277
Manu Aery and Sharma Chakravarthy, The University of Texas at Arlington

A Rough Set Interpretation of User’s Web Behavior: A Comparison with Information Theoretic Measure / 283
George V. Meghabghab, Roane State University

Eliciting Trust Values from Recommendation Errors / 289
John O'Donovan and Barry Smyth, University College Dublin

Combining Categorization-based and Corpus-based Approaches for CLIR / 295
Yiming Yang, Monica Rogati, and Bryan Kisiel, Carnegie Mellon University

Domain Specific Knowledge-based Information Retrieval Model using Knowledge Reduction / 301
Changwoo Yoon and Douglas D. Dankel II, University of Florida

Survey of Word Sense Disambiguation Approaches / 307
Xiaohua Zhou and Hyoil Han, Drexel University

Integrated Intelligent Systems (Special Track)

Computing First-Order Logic Programs by Fibring Artificial Neural Networks / 314
Sebastian Bader, Technische Universität Dresden; Artur S. d'Avila Garcez, City University London; and Pascal Hitzler, University of Karlsruhe

Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture / 320
Nicola Dragoni, Mauro Gaspari, and Davide Guidi, University of Bologna

An Agent Based Architecture for Highly Competitive Electronic Markets / 326
José Alberto R. P. Sardinha, Ruy L. Milidiú, Patrick M. Paranhos, Pedro M. Cunha, and Carlos J. P. de Lucena, Pontifícia Universidade Católica

Intelligent Agent Systems: Theory, Design and Implementation (Special Track)

An Extended BDI Agent Architecture with Multiple Intention Reconsideration Ability in a Vessel Berthing Application / 333
Prasanna S. Lokuge and Damminda Alahakoon, Monash University

Lease-based Decentralized Resource Management in Open Multi-Agent Systems / 339
D. G. A. Mobach, B. J. Overeinder, O. Marin, and F. M. T. Brazier, Vrije Universiteit Amsterdam

Agents Go Traveling / 345
Donal O'Kane, David Marsh, Song Shen, Richard Tynan, and G. M. P. O'Hare, University College Dublin

Agent Based Approach for Searching, Mining and Managing Enormous Amounts of Spatial Image Data / 351
Paul Palathingal, Thomas E. Potok, and Robert M. Patton, Oak Ridge National Laboratory

Intelligent Tutoring

Automatic Assessment of Students’ Free-Text Answers Underpinned by the Combination of a BLEU-Inspired Algorithm and Latent Semantic Analysis / 358
Diana Pérez, Universidad Autonoma de Madrid; Alfio Gliozzo and Carlo Strapparava, Istituto per la Ricerca Scientifica e Tecnologica (IRST); Enrique Alfonseca and Pilar Rodríguez, Universidad Autonoma de Madrid; and Bernardo Magnini, Istituto per la Ricerca Scientifica e Tecnologica (IRST)

Machine Learning Applications

Skin Lesion Segmentation Using Clustering Techniques / 364
M. Emre Celebi, Wenzhao Guo, and Y. Alp Aslandogan, The University of Texas at Arlington; Paul R. Bergstresser, University of Texas Southwestern Medical left at Dallas

Better HMM-Based Articulatory Feature Extraction with Context-Dependent Model / 370
Supphanat Kanokphara and Julie Carson-Berndsen, University College Dublin

Automatic Excursion Detection in Manufacturing: Preliminary Results / 375
Branislav Kveton, University of Pittsburgh; and Denver Dash, Intel Research

An Efficient Feature Selection Algorithm for Computer-Aided Polyp Detection / 381
Jiang Li, Jianhua Yao, and Ronald M. Summers, National Institutes of Health; Amy K. Hara, Mayo Clinic

Tree-Based Methods for Fuzzy Rule Extraction / 387
Shuqing Zeng, Nan Zhang, and Juyang Weng, Michigan State University

Machine Learning–Applications (Special Track)

Identification of Stellar Population in Galactic Spectra Using the Hierarchical Desicion Ensemble / 394
Trilce Estrada and Olac Fuentes, National Institute of Astrophysics Optics and Electronics

A Measure of Relatedness for Selecting Consolidated Task Knowledge / 399
Daniel L. Silver and Richard Alisch, Acadia University

Learning Useful System Call Attributes for Anomaly Detection / 405
Gaurav Tandon and Philip K. Chan, Florida Institute of Technology

Machine Learning–General Approaches (Special Track)

Learning Macros with an Enhanced LZ78 Algorithm / 412
Forrest Elliott and Manfred Huber, The University of Texas at Arlington

A Hill-Climbing Landmarker Generation Algorithm Based on Efficiency and Correlativity Criteria / 418
Daren Ler, Irena Koprinska, and Sanjay Chawla, University of Sydney

An Oracle based Meta-Learner for ID3 / 424
R. Syama Sundar Yadav and Deepak Khemani, Indian Institute of Technology Madras

Machine Learning–Kernel and Support Vector Machines (Special Track)

Model Selection for Support Vector Classifiers via Direct Simplex Search / 431
Gilles Cohen and Patrick Ruch, University Hospital of Geneva; and Mélanie Hilario, University of Geneva

Speeding-up Model Selection for Support Vector Machines / 436
DucDung Nguyen and TuBao Ho, Japan Advanced Institute of Science and Technology

Kernels Incorporating Word Positional Information in Natural Language Disambiguation Tasks / 442
Tapio Pahikkala, Sampo Pyysalo, Filip Ginter, Jorma Boberg, Jouni Järvinen, and Tapio Salakoski, University of Turku

Machine Learning–Reinforcement and Evolutionary Learning (Special Track)

Evolutionary Tournament-Based Comparison of Learning and Non-Learning Strategies for Iterated Games / 449
Stéphane Airiau, Sandip Sen, and Sabyasachi Saha, The University of Tulsa

Reinforcement Learning and Function Approximation / 455
Marina Irodova and Robert H. Sloan, University of Illinois at Chicago

Toward a Topological Theory of Relational Reinforcement Learning for Navigation Tasks / 461
Terran Lane, University of New Mexico; and Andrew Wilson, Sandia National Laboratories

Machine Learning–Relational Learning (Special Track)

Source Code Fingerprinting Using Graph Grammar Induction / 468
Istvan Jonyer, Prach Apiratikul, and Johnson Thomas, Oklahoma State University

Subgraph Isomorphism Detection Using a Code Based Representation / 474
Ivan Olmos and Jesus A. Gonzalez, Instituto Nacional de Astrofísica, óptica y Electrónica; and Mauricio Osorio, Universidad de las Américas Puebla

Learning from Examples in a Single Graph / 480
Joseph T. Potts, Diane J. Cook, and Lawrence B. Holder, The University of Texas at Arlington

Machine Learning–Text Classification and Grammar Inference (Special Track)

Text Classification Using Graph-Encoded Linguistic Elements / 487
Kevin R. Gee and Diane J. Cook, The University of Texas at Arlington

Correction of Uniformly Noisy Distributions to Improve Probabilistic Grammatical Inference Algorithms / 493
Amaury Habrard, Marc Bernard, and Marc Sebban, Université Jean Monnet de Saint-Etienne

Improving Text Classification Using EM with Background Text / 499
Sarah Zelikovitz, College of Staten Island, City University of New York; and Haym Hirsh, Rutgers University

Natural Language-based Knowledge Representations: New Perspectives (Special Track)

Acquiring and Using World Knowledge Using a Restricted Subset of English / 506
Peter Clark, Phil Harrison, Tom Jenkins, John Thompson, and Rick Wojcik, Boeing Phantom Works

Implementing Commonsense Reasoning Via Semantic Skeletons for Answering Complex Questions / 512
Boris Galitsky, Birbeck College, University of London

AutoTutor’s Coverage of Expectations during Tutorial Dialogue / 518
Art Graesser, Andrew Olney, Matthew Ventura, and G. Tanner Jackson, University of Memphis

Natural Language Inference as Triggered Submodel Search / 524
Daniel Hardt, Copenhagen Business School

A Cognitive Grammar Motivated Ontology for Processing with Term Cycles and Non-Classical Negation / 529
Daniel T. Heinze, A-Life Medical, Inc.

Meaning Representation with Multilayered Extended Semantic Networks / 536
Hermann Helbig, University of Hagen

The Embodiment of Amodal Symbolic Knowledge Representations / 542
Max Louwerse, Zhiqiang Cai, Xiangen Hu, Mathew Ventura, and Patrick Jeuniaux, University of Memphis

Semi-Automatic Extension of Large-Scale Linguistic Knowledge Bases / 548
Roberto Navigli, Università di Roma "La Sapienza"

An Orthonormal Basis for Entailment / 554
Andrew Olney and Zhiqiang Cai, University of Memphis

Temporal Aggregates in OWL-Time / 560
Feng Pan and Jerry R. Hobbs, University of Southern California, Information Sciences Institute

A Multi-Tier NL-Knowledge Clustering for Classifying Students’ Essays / 566
Umarani Pappuswamy, Dumisizwe Bhembe, Pamela W. Jordan, and Kurt VanLehn, University of Pittsburgh

Enabling Non-Linguists to Author Advanced Conversational Interfaces Easily / 572
Carolyn Penstein Rosé, Carol Pai, and Jaime Arguello, Carnegie Mellon University

Knowledge Representation Using Predicate-Argument Structures with Nonclassical Quantifiers / 578
Zygmunt Vetulani, Adam Mickiewicz University in Poznan

Neural Networks Applications (Special Track)

A Geometric Rule Extraction Approach Used for Verification and Validation of a Safety Critical Application / 585
Marjorie Darrah and Brian J. Taylor, Institute for Scientific Research, Inc.; Michael Webb, Lockheed Martin Technology Services; and Rhett Livingston, ProLogic, Inc.

Sensitivity of Nonlinear Network Training to Affine Transformed Inputs / 591
Changhua Yu, Michael T. Manry, and Pramod Lakshmi Narasimha, The University of Texas at Arlington

Non-Classical Logics, Categorization, and Pragmatics for Reasoning (Special Track)

Some Arguments for Coordination in Categorial Grammar and Combinatory Logic / 598
Ismaïl Biskri and Boucif Amar Bensaber, Université du Québec à Trois-Rivières

Identifying Objects in Object Determination Logic / 604
Jérôme Cardot, Université Paris IV Sorbonne

Logic of Determination of Objects: The Meaning of Variable in Quantification / 610
Jean-Pierre Desclés, Université de Paris-Sorbonne; and Anca Pascu, Université de Bretagne Occidentale

On the Peculiarities of Default Reasoning of Children with Autism / 616
Boris Galitsky and Don Peterson, University of London

Reasoning

A First-Order Stochastic Modeling Language for Diagnosis / 623
Chayan Chakrabarti, Roshan Rammohan, and George F. Luger, University of New Mexico,

On Temporal Analysis of Timed Influence Nets Using Point Graphs / 629
Sajjad Haider, Abbas K. Zaidi, and Alexander H. Levis, George Mason University

A Method to Generate Large Common-Sense Knowledge Bases from Online Lexical Resources / 635
Vasile Rus, University of Memphis

Semantic Derivation Verification / 641
Geoff Sutcliffe and Diego Belfiore, University of Miami

A Belief Augmented Frame Computational Trust Model / 647
Colin Keng-Yan Tan, National University of Singapore

Similarity and Logic Based Ontology Mapping for Security Management / 653
Alfred Ka Yiu Wong, Nandan Paramesh, and Pradeep Kumar Ray, University of New South Wales

Secure Multiparty Computations and Distributed Constraint Reasoning (Special Track)

Distributed Guided Local Search for Solving Binary DisCSPs / 660
Muhammed Basharu, Ines Arana, and Hatem Ahriz, Robert Gordon University

A DisCSP Solving Algorithm Based on Sessions / 666
Arnaud Doniec, Sylvain Piechowiak, and René Mandiau, Université de Valenciennes

Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework / 671
Marius C. Silaghi and Amit Abhyankar, Florida Institute of Technology; Markus Zanker, Universität Klagenfurt; and Roman Barták, Charles University

Simulation and Planning

Multi-Strategy Information Extraction for Question Answering / 678
Laurie Hiyakumoto, Lucian Vlad Lita, and Eric Nyberg, Carnegie Mellon University

Studying Service: An Exploration of the Costs and Benefits of Assistance / 684
Wayne Iba and Nicholas Burwell, Westmont College

A Novel Comparison Approach for Tropical Cyclone Satellite Images Using Angle Features / 690
James N. K. Liu and Bo Feng, The Hong Kong Polytechnic University

Spatio-Temporal Reasoning (Special Track)

Skeleton-based Wayfinding for Computer Games / 697
Hans Guesgen, and Paul Shotbolt, University of Auckland

A Spatio-Temporal View of Knowledge / 703
Bernhard Heinemann, FernUniversität in Hagen

Reasoning about Events with Time-interval Information / 709
Shieu-Hong Lin, Biola University

Partial Constraint Satisfaction of Disjunctive Temporal Problems / 715
Michael D. Moffitt and Martha E. Pollack, University of Michigan

Sensor Sequence Modeling for Driving / 721
Kari Torkkola, Motorola Labs; Srihari Venkatesan, Overture Services; and Huan Liu, Arizona State University

Uncertain Reasoning–Decision Theory (Special Track)

Second Order Effects in Interval Valued Decision Graph Models / 728
Love Ekenberg, Stockholm University; Mats Danielson, örebro University; and Aron Larsson, Mid Sweden University

Methods for Evaluating Multi-level Decision Trees in Imprecise Domains / 734
Jim Johansson, Mid Sweden Unversity

Non-Uniform Belief in Expected Utilities in Interval Decision Analysis / 740
Aron Larsson, Mid Sweden University; Love Ekenberg, Stockholm University; and Mats Danielson, örebro University

Uncertain Reasoning–Knowledge and Data Bases (Special Track)

A Paraconsistent Logic Programming Approach for Querying Inconsistent Knowledge Bases / 747
Sandra de Amo, Universidade Federal de Uberlândia; and Mônica S. Pais, Centro Federal de Educação Tecnológica

Plausible Query-Answering Inference in Data Integration / 753
Zoran Majkic, University of Maryland

Expressive Power of Logic Frameworks with Certainty Constraints / 759
Nematollaah Shiri, Concordia University

Uncertain Reasoning–Logic and Philosophy (Special Track)

Model Complexity of Pseudo-independent Models / 766
Jae-Hyuck Lee and Yang Xiang, University of Guelph

Whether Non-Correlation Implies Non-Causation / 772
Eric Neufeld and Sonje Kristtorn, University of Saskatchewan

Pfanzagl Exchanges Diagnose a Continuity Anomaly Pertinent to Allais’ Problem / 778
Paul Snow

Uncertain Reasoning–Probabilistic Networks (Special Track)

Speeding up Inference in Markovian Models / 785
Theodore Charitos, Peter de Waal, and Linda C. van der Gaag, Utrecht University

Identification in Chain Multi-Agent Causal Models / 791
Sam Maes, Stijn Meganck, and Bernard Manderick, Vrije Universiteit Brussel

Maximal Prime Subgraph Decomposition of Bayesian Networks: A Relational Database Perspective / 793
Dan Wu, University of Windsor; and Michael Wong, University of Regina

How Heavy Should the Tails Be? / 799
Changhe Yuan and Marek J. Druzdzel, University of Pittsburgh

Poster Session

Response Time Aware Coordination in Multi Agent Filtering Framework / 806
Sahin Albayrak and Dragan Milosevic, Technical University Berlin

Reactive Agent for Urban Traffic Control / 808
Mohammad Amin Alipour, University of Kashan

Active Learning with Partially Labeled Data via Bias Reduction / 810
Minoo Aminian and Ian Davidson, State University of New York, Albany

Context-based Modeling of Group Work / 812
Renata Mendes de Araujo, Universidad Federal do Estabo do Rio de Janeiro; and Patrick Brezillon, LIP6/UPMC

Semi-Automatic Generation of Test Cases by Case Morphing / 814
Joachim Baumeister, University of Wuerzburg; Rainer Knauf, Technical University of Ilmenau; and Frank Puppe, University of Wuerzburg

Integrating Probabilistic Reasoning into a Symbolic Diagrammatic Reasoner / 816
Joseph L. Bokor and Ronald W. Ferguson, Georgia Institute of Technology

Categories of Inference in a Multi-Faceted, Educational, Knowledge-based Recommender System / 818
John W. Coffey, University of West Florida

A Knowledge-Based System for Rehabilitation of Post-Stroke Patients / 820
Douglas D. Dankel II, University of Florida; and María ósk Kristmundsdóttir, University of Akureyri

Analysis of an Off-Line Intrusion Detection System: A Case Study in Multi-Objective Genetic Algorithms / 822
Pedro A. Diaz-Gomez, Universidad El Bosque; and Dean F. Hougen, University of Oklahoma

Emotion Recognition Agent for On-Line Learning Systems / 824
Claude Frasson and Soumaya Chaffar, University of Montreal; Mohammed A. Razek, Al-Azhar University; Magalie Ochs, University of Montréal

Integrating Domain Ontologies into Knowledge-Based Systems / 826
Frédéric Fürst and Francky Trichet, University of Nantes

Automating Planning Using Natural Language / 828
Kalyan Moy Gupta, ITT Industries; and David W. Aha, Naval Research Laboratory

Novelty Detection for Modeling User’s Profile / 830
Randa Kassab, Jean-Charles Lamirel, and Emanuel Nauer, Laboratoire LORIA

Contract Driven Agents / 832
John Knottenbelt and Keith Clark, Imperial College London

Nonlinear Network Time-Series Forecasting Using Redundancy Reduction / 834
Pramod Lakshmi Narasimha, Michael T. Manry, and Changhua Yu, The University of Texas at Arlington

A Mutual Influence Algorithm for Multiple Concurrent Negotiations / 836
Ka-man Lam and Ho-fung Leung, The Chinese University of Hong Kong

Algebraic Approach to Specifying Part-Whole Associations / 838
Fatma Mili and Wen Li, Oakland University

Reasoning in the Event Calculus Using First-Order Automated Theorem Proving / 840
Erik T. Mueller, IBM T. J. Watson Research Center; and Geoff Sutcliffe, University of Miami

Markov Chain Model and Poli Based Schema Model for Bentley’s Genetic Algorithm / 842
Anna Paszynska, Jagiellonian University

Learning to Support another Learner / 844
Sattiraju V. Prabhakar, Wichita State University

Structural Relational Graph Based Data Mining Applied to the Multi-Functional Spaces of Properties in “Puebla of the Angels” in in the XVI, XVII, and XVIII Centuries / 846
Oscar E. Romero A., Jesus A. Gonzalez, and Ivan Olmos, National Institute of Astrophysics, Optics, and Electronics; and Rosalva Loreto, Benemerita Universidad Autonoma de Puebla

SHASS: A New Electronic Annotation Support System Towards an Effective Knowledge Sharing in Digital Library / 848
Khalid Rouane and Claude Frasson, Université de Montréal; and Marc Kaltenbach, Bishop’s University

Few Inductive Models for Grammatical Relations Recovery / 850
Vasile Rus and Kirtan Desai, University of Memphis

The AMPERE Algorithm–Area-Based Masking with the Performance Equation / 852
Bianca Schön, Gregory M. P. O'Hare, Brian R. Duffy, Alan N. Martin, and John F. Bradley, University College Dublin

Hiding Absence of Solution for a Distributed Constraint Satisfaction Problem / 84
Marius Calin Silaghi, Florida Institute of Technology

Exploiting Belief Locality in Run-Time Decision-Theoretic Planners / 856
William H. Turkett, Jr., Wake Forest University; and John R. Rose, University of South Carolina

A Global Polynomial Approximation Algorithm for Image Rectification / 858
Christopher O. Ward, University of the West Indies

Handling Uncertain Rules in Composite Event Systems / 860
Segev Wasserkrug and Avigdor Gal, Technion; Opher Etzion, IBM Research

On-Demand Thrifty Propagation for Belief Updating in Bayesian Networks–A Preliminary Report / 862
Dan Wu, University of Windsor

Genetic Weighted K-means for Large-Scale Clustering Problems / 864
Fang-Xiang Wu, Anthony J. Kusalik, and W. J. Zhang, University of Saskatchewan

Constrained Spectral Clustering under a Local Proximity Structure Assumption / 866
Qianjun Xu and Marie desJardins, University of Maryland; and Kiri Wagstaff, Jet Propulsion Laboratory

Evaluation of Background Knowledge for Latent Semantic Indexing Classification / 868
Sarah Zelikovitz and Finella Marquez, College of Staten Island of the City University of New York

Index / 871

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops