| General Chairs' Foreword |
| Message from the Program Chair |
| Vice Chairs |
| Program Committee |
| Logic and Reasoning / Session A1： |
| Multi-Resolution on Compressed Sets of Clauses / P. Chatalic ; L. Simon |
| An Assumptive Logic Programming Methodology for Parsing / K. Voll ; T. Yeh ; V. Dahl |
| Belief Revision and Possibilistic Logic for Adaptive Information Filtering Agents / R. Lau ; A. Hofstede ; P. Bruza ; K. Wong |
| Machine Learning / Session B1： |
| A Visualization Tool for Interactive Learning of Large Decision Trees / T. Nguyen ; T. Ho ; H. Shimodaira |
| Function Approximation Based Multi-Agent Reinforcement Learning / O. Abul ; F. Polat ; R. Alhajj |
| Knowledge Pruning in Decision Trees / I. Shioya ; T. Miura |
| Software and Knowledge Engineering / Session C1： |
| Using Latent Semantic Analysis to Identify Similarities in Source Code to Support Program Understanding / J. Maletic ; A. Marcus |
| Modeling Software Quality: The Software Measurement Analysis and Reliability Toolkit / T. Khoshgoftaar ; E. Allen ; J. Busboom |
| JADE-AI Support for Debugging Java Programs / C. Mateis ; M. Stumptner ; D. Wieland ; F. Wotawa |
| Data and Knowledge Mining / Session A2： |
| Principles for Mining Summaries Using Objective Measures of Interestingness / R. Hilderman ; H. Hamilton |
| From Data Mining to Rule Refining / E. Keedwell ; F. Bessler ; A. Narayanan ; D. Savic |
| What's New? Using Prior Models as a Measure of Novelty in Knowledge Discovery / J. Ludwig ; G. Livingston ; E. Vozalis ; B. Buchanan |
| Parallel Mining of Association Rules with a Hopfield Type Neural Network / K. Gaber ; M. Bahi ; T. El-Ghazawi |
| Constraint Satisfaction and Optimization / Session B2： |
| Implementing an Action Language Using a SAT Solver / H. Nabeshima ; K. Inoue ; H. Haneda |
| About the Use of Local Consistency in Solving CSPs / A. Chmeiss ; L. Sais |
| Using Heuristic-Based Optimizers to Handle the Personal Computer Configuration Problems / V. Tam ; K. Ma |
| Neural Networks / Session C2： |
| DGPS/INS Integration Using Neural Network Methodology / F. Ibrahim ; A. Tascillo ; N. Al-Holou |
| Efficient Prediction of Interconnect Crosstalk Using Neural Networks / A. Ilumoka |
| Identifying Causal Structure in a Biological Neural Network / A. Maida |
| Multimedia and Image Processing / Session A3： |
| A Synergistic Model for Interpreting Human Activities and Events from Video: A Case Study / N. Bourbakis ; G. Bebis ; J. Gattiker |
| A Distributed Multimedia Knowledge Based Environment for Modeling over the Internet / S. Ryan ; A. Bansal ; T. Kapoor |
| Texture Image Segmentation Method Based on Multi-Layer CNN / G. Liu ; S. Oe |
| Strategies for Optimizing Image Processing by Genetic and Evolutionary Computation |
| Planning and Scheduling / Session B3： |
| Building Efficient Partial Plans Using Markov Decision Processes / P. Laroche |
| Reasoning about Numeric and Symbolic Time Information / M. Mouhoub |
| Heuristics for the Exam Scheduling Problem / F. Zhaohui ; A. Lim |
| A Reactive Method for Real Time Dynamic Vehicle Routing Problem / K. Zhu ; K-L. Ong |
| Knowledge-Based Systems / Session C3： |
| Debugging Knowledge-Based Applications with a Generic Toolkit / S. Craw ; R. Boswell |
| Tools for Intelligent Decision Support System Development in the Legal Domain / A. Stranieri ; J. Zeleznikow |
| A Knowledge Based System: An Object Case Approach / G. Talens ; D. Boulanger ; I. Dedun |
| Genetic Algorithms / Session A4： |
| A Genetic Algorithm-Based System for Generating Test Programs for Microprocessor IP Cores / F. Corno ; M. Reorda ; G. Squillero ; M. Violante |
| The Probably Approximately Correct (PAC) Population Size of a Genetic Algorithm / A. Hernandez-Aguirre ; B. Buckles ; A. Martinez-Alcantara |
| GATree: Genetically Evolved Decision Trees / A. Papagelis ; D. Kalles |
| Internet and The World Wide Web / Session B4： |
| A New Statistical Method for Performance Evaluation of Search Engines / L. Li ; Y. Shang |
| Searching and Classifying the Web Using Hyperlinks: A Logical Approach / J. Picard ; J. Savoy |
| Reverse Mapping of Referral Links from Storage Hierarchy for Web Documents / C. Ding ; C.-H. Chi |
| Robotics / Session C4： |
| Cognitively Adequate Modeling of Spatial Reference in Human-Robot Interaction / R. Moratz ; K. Fischer |
| Vision Based Localization for a Mobile Robot / F. Gechter ; F. Charpillet |
| The N-Dimensional Projective Approach as a Tool for Spatial Reasoning / J. Pais ; C. Pinto-Ferreira |
| Multi-Objective Retrieval of Object Pose from Video / A. Avanaki ; B. Hamidzadeh ; F. KossentiniSession A5： |
| Object Tracking and Multimedia Augmented Transition Network for Video Indexing and Modeling / S.-C. Chen ; M.-L. Shyu ; C. Zhang ; R. Kashyap |
| Using Bayesian Classifier in Relevant Feedback of Image Retrieval / Z. Su ; H. Zhang ; S. Ma |
| Intelligent Content-Based Retrieval / C. Djeraba |
| An Approach to Incremental SVM Learning Algorithm / R. Xiao ; J. Wang ; F. ZhangSession B5： |
| Transforming Supervised Classifiers for Feature Extraction / B. Bursteinas ; J. Long |
| Learning Methods for Online-Process Diagnosis / P. Feucht ; J. Zoellner ; K. Berns ; T. Zirzlaff ; O. Leisin |
| Constrained Genetic Algorithms and Their Applications in Nonlinear Constrained Optimization / B. Wah ; Y.-X. ChenSession C5： |
| Local Search Algorithm for the Compacted Cells Area Problem / D. Chia |
| A Heuristic Search Based Factoring Tool / C. Davis ; C. Eick |
| Soft Computing / Session A6： |
| Interpretation of Self-Organizing Maps with Fuzzy Rules / M. Drobics ; W. Winiwarter ; U. Bodenhofer |
| History Checking of Temporal Fuzzy Logic Formulas for Monitoring Behavior-Based Mobile Robots / K. Lamine ; F. Kabanza |
| Fuzzy Cellular Automata: From Theory to Applications / M. Mraz ; N. Zimic ; I. Lapanja ; I. Bajec |
| Database and Information Systems / Session B6： |
| Interactive Generalization of a Translation Example Using Queries Based on a Semantic Hierarchy / Y. Akiba ; H. Nakaiwa ; S. Shirai ; Y. Ooyama |
| Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach / X. Liu ; S. Shekhar ; S. Chawla |
| Combining Models Across Algorithms and Samples for Improved Results / H. Vafaie ; D. Abbott ; M. Hutchins ; I. MatkovskySession C6： |
| Basic Organization Structure Model for Cooperative Information Processing / W. Changying ; Y. Li ; C. Weiming ; X. Zhenning ; G. Yong |
| Support Based Measures Applied to Ice Hockey Scoring Summaries / B. Kram ; J. Hall |
| Meta-Constraints on Violations for Over Constrained Problems / T. Petit ; J.-C. Regin ; C. BessiereSession A7： |
| Local Minimum Structures of Graph-Coloring Problems for Stochastic Constraint Satisfaction Algorithms / K. Mizuno ; S. Nishihara |
| Combining Various Algorithms to Solve the Ship Berthing Problem / K.-S. Goh |
| Self-Optimising CBR Retrieval / J. Jarmulak ; R. RoweSession B7： |
| Efficient Defeasible Reasoning Systems / M. Maher ; A. Rock ; G. Antoniou ; D. Billington ; T. Miller |
| Combining Heuristics for Default Logic Reasoning Systems / P. Nicolas ; F. Suabion ; I. Stephan |
| Automated Reasoning on Monotonic Constraints / L. Bordeaux ; F. Benhamou |
| Model Selection via Meta-Learning: A Comparative Study / A. Kalousis ; M. HilarioSession C7： |
| The Application of a Machine Learning Tool to the Validation of an Air Traffic Control Domain Theory / M. West ; T. McCluskey |
| Designing a Learning-Automata-Based Controller for Client/Server Systems: A Methodology / G. Papadimitriou ; A. Vakali ; A. Pomportsis |
| Author Index |
| General Chairs' Foreword |
| Message from the Program Chair |
| Vice Chairs |
図書
