Table of Contents
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems Sebastian Haufe Michael Thielscher 1
Temporal Belief-Change: K-functions Approach Armin Hezart Abhaya C. Nayak Mehmet A. Orgun 11
Resource-Sensitive Reasoning with Sequential Information Norihiro Kamide Ken Kaneiwa 22
Frame-Based Dialogue Management Automated Error Recovery Approach Tomáš Nestorovic 32
Characterizing Relevant Belief Revision Operators Laurent Perrussel Jerusa Marchi Dongmo Zhang 42
Belief Erasure Using Partial Imaging Raghav Ramachandran Abhaya C. Nayak Mehmet A. Orgun 52
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi Carl Schultz Robert Amor Hans W. Guesgen 62
Two Methods for Constructing Horn Contractions Zhi Qiang Zhuang Maurice Pagnucco 72
Data Mining and Knowledge Discovery
Database Normalization as a By-product of Minimum Message Length Inference David L. Dowe Nayyar Abbas Zaidi 82
A Heuristic on Effective and Efficient Clustering on Uncertain Objects Edward Hung Lei Xu Chi-Cheong Szeto 92
A New Supervised Term Ranking Method for Text Categorization Musa Mammadov John Yearwood Lei Zhao 102
A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods Swee Chuan Tan Kai Ming Ting Shyh Wei Teng 112
An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data Ke Zhang Huidong Jin 122
Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset Qinghua Zheng Xin Wang Wanyu Deng Jun Liu Xiyuan Wu 132
Machine Learning
Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence Zaw Zaw Htike Simon Egerton Ye Chow Kuang 142
On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes Sang-Woon Kim B. John Oommen 153
Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification Gjorgji Madjarou Dejan Gjorgjevikj Tomche Delev 164
Newton Trees Fernando Martínez-Plumed Vicent Estruch César Ferri José Hernández-Orallo María José Ramírez-Quintana 174
Learning Parse-Free Event-Based Features for Textual Entailment Recognition Bahadorreza Ofoghi John Yearwood 184
A Gradient-Based Metric Learning Algorithm for k-NN Classifiers Nayyar Abbas Zaidi David McG. Squire David Suter 194
Statistical Learning
Dimensionality Reduction for Classification through Visualisation Using LISNE Lennon V. Cook Junbin Gao 204
Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems Enes Makalic Daniel Francis Schmidt 213
The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models Daniel Francis Schmidt Enes Makalic 223
Unbounded Knowledge Acquisition Based Upon Mutual Information in Dependent Questions Tony C. Smith Chris van De Molen 233
Evolutionary Computation
A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data Urvesh Bhowan Mengjie Zhang Mark Johnston 243
An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks Rohitash Chandra Marcus Frean Mengjie Zhang 253
Evolving Cooperation in the Spatial N-player Snowdrift Game Raymond Chiong Michael Kirley 263
Sampling Methods in Genetic Programming for Classification with Unbalanced Data Rachel Hunt Mark Johnston Will Browne Mengjie Zhang 273
Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes Ashkan Izadi Vic Ciesielski Marsha Berry 283
Cellular Differential Evolution Algorithm Nasimul Noman Hitoshi Iba 293
A Comparative Study of CMA-ES on Large Scale Global Optimisation Mohammad Nabi Omidvar Xiaodong Li 303
Particle Swarm Optimization
Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search Wenlong Fu Mark Johnston Mengjie Zhang 313
Edge and Corner Extraction Using Particle Swarm Optimisation Mahdi Setayesh Mark Johnston Mengjie Zhang 323
Fuzzy Adaptive Artificial Fish Swarm Algorithm Danial Yazdani Adel Nadjaran Toosi Mohammad Reza Meybodi 334
Intelligent Agent
The Honourable Negotiator: When the Relationship Is What Matters John Debenham Simeon Simoff 344
Tuning Java to Run Interactive Multiagent Simulations over Jason Víctor Fernández-Bauset Francisco Grimaldo Miguel Lozano Juan M. Orduña 354
Emergence of Cooperation in a Bio-inspired Multi-agent System Hiroyuki Ishiwata Nasimul Noman Hitoshi Iba 364
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets Minyi Li Bao Quoc Bao Vo Ryszard Kowalczyk 375
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints Khalid Mansour Ryszard Kowalczyk Bao Quoc Bao Vo 385
A Logic for Reasoning about Actions and Explicit Observations Gavin Rens Ivan Varzinczak Thomas Meyer Alexander Ferrein 395
Search and Planning
Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding Ramon Lawrence Vadim Bulitko 405
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search Jussi Rintanen 415
Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems Hemant K. Singh Tapabrata Ray Warren Smith 425
Natural Language Processing
Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion Khaled Abdalgader Andrew Skabar 435
LEXA: Towards Automatic Legal Citation Classification Filippo Galgani Achim Hoffmann 445
Hazardous Document Detection Based on Dependency Relations and Thesaurus Kazushi Ikeda Tadashi Yanagihara Gen Hattori Kazunori Matsumoto Yasuhiro Takisima 455
Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance Andrew Skabar Khaled Abdalgader 466
AI Applications
Collaborative Filtering for People to People Recommendation in Social Networks Xiongcai Cai Michael Bain Alfred Krzywicki Wayne Wobcke Yang Sok Kim Paul Compton Ashesh Mahidadia 476
Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head Martin Luerssen Trent Lewis David Powers 486
Diagnosing Component Interaction Errors from Abstract Event Traces Wolfgang Mayer Xavier Pucel Markus Stumptner 496
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation Adrian Schoenig Maurice Pagnucco 506
Maximal Matching for Double Auction Dengji Zhao Dongmo Zhang Md Khan Laurent Perrussel 516
Author Index 527
