Table of Contents

• Pushing the Envelope: General Game Players Prove TheoremsSebastian Haufe, Michael Thielscher. 1-10 [doi]
• Temporal Belief-Change: ::::kappa::::-functions ApproachArmin Hezart, Abhaya C. Nayak, Mehmet A. Orgun. 11-21 [doi]
• Resource-Sensitive Reasoning with Sequential InformationNorihiro Kamide, Ken Kaneiwa. 22-31 [doi]
• Frame-Based Dialogue Management Automated Error Recovery ApproachTomás Nestorovic. 32-41 [doi]
• Characterizing Relevant Belief Revision OperatorsLaurent Perrussel, Jerusa Marchi, Dongmo Zhang. 42-51 [doi]
• Belief Erasure Using Partial ImagingRaghav Ramachandran, Abhaya C. Nayak, Mehmet A. Orgun. 52-61 [doi]
• The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning CalculiCarl P. L. Schultz, Robert Amor, Hans W. Guesgen. 62-71 [doi]
• Two Methods for Constructing Horn ContractionsZhi Qiang Zhuang, Maurice Pagnucco. 72-81 [doi]
• Database Normalization as a By-product of Minimum Message Length InferenceDavid L. Dowe, Nayyar Abbas Zaidi. 82-91 [doi]
• A Heuristic on Effective and Efficient Clustering on Uncertain ObjectsEdward Hung, Lei Xu, Chi-Cheong Szeto. 92-101 [doi]
• A New Supervised Term Ranking Method for Text CategorizationMusa A. Mammadov, John Yearwood, Lei Zhao. 102-111 [doi]
• A Comparative Study of a Practical Stochastic Clustering Method with Traditional MethodsSwee Chuan Tan, Kai Ming Ting, Shyh Wei Teng. 112-121 [doi]
• An Effective Pattern Based Outlier Detection Approach for Mixed Attribute DataKe Zhang, Huidong Jin. 122-131 [doi]
• Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample DatasetQinghua Zheng, Xin Wang, Wanyu Deng, Jun Liu, Xiyuan Wu. 132-141 [doi]
• Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video SequenceZaw Zaw Htike, Simon Egerton, Ye Chow Kuang. 142-152 [doi]
• On Optimizing ::::Locally:::: Linear Nearest Neighbour Reconstructions Using Prototype Reduction SchemesSang-Woon Kim, B. John Oommen. 153-163 [doi]
• Efficient Two Stage Voting Architecture for Pairwise Multi-label ClassificationGjorgji Madjarov, Dejan Gjorgjevikj, Tomche Delev. 164-173 [doi]
• Newton TreesFernando Martínez-Plumed, Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. 174-183 [doi]
• Learning Parse-Free Event-Based Features for Textual Entailment RecognitionBahadorreza Ofoghi, John Yearwood. 184-193 [doi]
• A Gradient-Based Metric Learning Algorithm for k-NN ClassifiersNayyar Abbas Zaidi, David McG. Squire, David Suter. 194-203 [doi]
• Dimensionality Reduction for Classification through Visualisation Using L1SNELennon V. Cook, Junbin Gao. 204-212 [doi]
• Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size ProblemsEnes Makalic, Daniel Francis Schmidt. 213-222 [doi]
• The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of ModelsDaniel Francis Schmidt, Enes Makalic. 223-232 [doi]
• Unbounded Knowledge Acquisition Based upon Mutual Information in Dependent QuestionsTony C. Smith, Chris van de Molen. 233-242 [doi]
• A Comparison of Classification Strategies in Genetic Programming with Unbalanced DataUrvesh Bhowan, Mengjie Zhang, Mark Johnston. 243-252 [doi]
• An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural NetworksRohitash Chandra, Marcus R. Frean, Mengjie Zhang. 253-262 [doi]
• Evolving Cooperation in the Spatial N-player Snowdrift GameRaymond Chiong, Michael Kirley. 263-272 [doi]
• Sampling Methods in Genetic Programming for Classification with Unbalanced DataRachel Hunt, Mark Johnston, Will N. Browne, Mengjie Zhang. 273-282 [doi]
• Evolutionary Non Photo-Realistic Animations with Triangular BrushstrokesAshkan Izadi, Victor Ciesielski, Marsha Berry. 283-292 [doi]
• Cellular Differential Evolution AlgorithmNasimul Noman, Hitoshi Iba. 293-302 [doi]
• A Comparative Study of CMA-ES on Large Scale Global OptimisationMohammad Nabi Omidvar, Xiaodong Li. 303-312 [doi]
• Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local SearchWenlong Fu, Mark Johnston, Mengjie Zhang. 313-322 [doi]
• Edge and Corner Extraction Using Particle Swarm OptimisationMahdi Setayesh, Mark Johnston, Mengjie Zhang. 323-333 [doi]
• Fuzzy Adaptive Artificial Fish Swarm AlgorithmDanial Yazdani, Adel Nadjaran Toosi, Mohammad Reza Meybodi. 334-343 [doi]
• The Honourable Negotiator: When the Relationship Is What MattersJohn K. Debenham, Simeon J. Simoff. 344-353 [doi]
• Tuning Java to Run Interactive Multiagent Simulations over JasonVíctor Fernández-Bauset, Francisco Grimaldo, Miguel Lozano, Juan M. Orduña. 354-363 [doi]
• Emergence of Cooperation in a Bio-inspired Multi-agent SystemHiroyuki Ishiwata, Nasimul Noman, Hitoshi Iba. 364-374 [doi]
• An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-NetsMinyi Li, Quoc Bao Vo, Ryszard Kowalczyk. 375-384 [doi]
• Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time ConstraintsKhalid Mansour, Ryszard Kowalczyk, Quoc Bao Vo. 385-394 [doi]
• A Logic for Reasoning about Actions and Explicit ObservationsGavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein. 395-404 [doi]
• Taking Learning Out of Real-Time Heuristic Search for Video-Game PathfindingRamon Lawrence, Vadim Bulitko. 405-414 [doi]
• Heuristic Planning with SAT: Beyond Uninformed Depth-First SearchJussi Rintanen. 415-424 [doi]
• Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design ProblemsHemant K. Singh, Tapabrata Ray, Warren Smith. 425-434 [doi]
• Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym ExpansionKhaled Abdalgader, Andrew Skabar. 435-444 [doi]
• LEXA: Towards Automatic Legal Citation ClassificationFilippo Galgani, Achim Hoffmann. 445-454 [doi]
• Hazardous Document Detection Based on Dependency Relations and ThesaurusKazushi Ikeda, Tadashi Yanagihara, Gen Hattori, Kazunori Matsumoto, Yasuhiro Takishima. 455-465 [doi]
• Improving Sentence Similarity Measurement by Incorporating Sentential Word ImportanceAndrew Skabar, Khaled Abdalgader. 466-475 [doi]
• Collaborative Filtering for People to People Recommendation in Social NetworksXiongcai Cai, Michael Bain, Alfred Krzywicki, Wayne Wobcke, Yang Sok Kim, Paul Compton, Ashesh Mahidadia. 476-485 [doi]
• Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual HeadMartin H. Luerssen, Trent W. Lewis, David Powers. 486-495 [doi]
• Diagnosing Component Interaction Errors from Abstract Event TracesWolfgang Mayer, Xavier Pucel, Markus Stumptner. 496-505 [doi]
• Evaluating Sequential Single-Item Auctions for Dynamic Task AllocationAdrian Schoenig, Maurice Pagnucco. 506-515 [doi]
• Maximal Matching for Double AuctionDengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel. 516-525 [doi]