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