Advertisement

AI 2013: Advances in Artificial Intelligence

26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

  • Stephen Cranefield
  • Abhaya Nayak
Conference proceedings AI 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8272)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8272)

Table of contents

  1. Front Matter
    PDF

  2. Agents

    1. A Logical Framework of Bargaining with Integrity Constraints
      Xiaoxin Jing, Dongmo Zhang, Xudong Luo
      Pages 1-13
    2. Security Games with Ambiguous Information about Attacker Types
      Youzhi Zhang, Xudong Luo, Wenjun Ma
      Pages 14-25
    3. A Mechanism to Improve Efficiency for Negotiations with Incomplete Information
      Quoc Bao Vo
      Pages 26-31

  3. AI Applications

    1. Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models
      Abdollah Dehzangi, Kuldip Paliwal, Alok Sharma, James Lyons, Abdul Sattar
      Pages 32-43
    2. Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction
      Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar
      Pages 44-55
    3. On Caching for Local Graph Clustering Algorithms
      René Speck, Axel-Cyrille Ngonga Ngomo
      Pages 56-67
    4. Provenance-Based Trust Estimation for Service Composition
      Jing Jiang, Quan Bai
      Pages 68-73
    5. 3D EEG Source Localisation: A Preliminary Investigation Using MML
      Thi Han Kyaw, David L. Dowe
      Pages 74-79
    6. DEPTH: A Novel Algorithm for Feature Ranking with Application to Genome-Wide Association Studies
      Enes Makalic, Daniel F. Schmidt, John L. Hopper
      Pages 80-85

  4. Cognitive Modelling

    1. Evidence for Response Consistency Supports Polychronous Neural Groups as an Underlying Mechanism for Representation and Memory
      Mira Guise, Alistair Knott, Lubica Benuskova
      Pages 86-97
    2. A Neural Network Model of Visual Attention and Group Classification, and Its Performance in a Visual Search Task
      Hayden Walles, Anthony Robins, Alistair Knott
      Pages 98-103
    3. Affect Detection from Virtual Drama
      Li Zhang, John Barnden, Alamgir Hossain
      Pages 104-109

  5. Computer Vision

    1. A One-Shot Learning Approach to Image Classification Using Genetic Programming
      Harith Al-Sahaf, Mengjie Zhang, Mark Johnston
      Pages 110-122
    2. Event Detection Using Quantized Binary Code and Spatial-Temporal Locality Preserving Projections
      Hanhe Lin, Jeremiah D. Deng, Brendon J. Woodford
      Pages 123-134
    3. Growing Neural Gas Video Background Model (GNG-BM)
      Munir Shah, Jeremiah D. Deng, Brendon J. Woodford
      Pages 135-147
    4. Sparse Principal Component Analysis via Joint L2,1-Norm Penalty
      Shi Xiaoshuang, Lai Zhihui, Guo Zhenhua, Wan Minghua, Zhao Cairong, Kong Heng
      Pages 148-159
    5. Image Segmentation with Adaptive Sparse Grids
      Benjamin Peherstorfer, Julius Adorf, Dirk Pflüger, Hans-Joachim Bungartz
      Pages 160-165

  6. Constraint Satisfaction, Search and Optimisation

    1. Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution
      Thach-Thao Duong, Duc-Nghia Pham, Abdul Sattar
      Pages 166-177
    2. A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search
      Santiago Franco, Michael W. Barley, Patricia J. Riddle
      Pages 178-189
    3. A Framework for the Evaluation of Methods for Road Traffic Assignment
      Syed Galib, Irene Moser
      Pages 190-195
    4. Constraint Optimization for Timetabling Problems Using a Constraint Driven Solution Model
      Anurag Sharma, Dharmendra Sharma
      Pages 196-201

  7. Evolutionary Computation

    1. Learning Risky Driver Behaviours from Multi-Channel Data Streams Using Genetic Programming
      Feng Xie, Andy Song, Flora Salim, Athman Bouguettaya, Timos Sellis, Doug Bradbrook
      Pages 202-213
    2. Particle Swarm Optimisation and Statistical Clustering for Feature Selection
      Mitchell C. Lane, Bing Xue, Ivy Liu, Mengjie Zhang
      Pages 214-220
    3. Evaluating the Seeding Genetic Algorithm
      Ben Meadows, Patricia Riddle, Cameron Skinner, Michael M. Barley
      Pages 221-227
    4. A Constructive Artificial Chemistry to Explore Open-Ended Evolution
      Thomas J. Young, Kourosh Neshatian
      Pages 228-233

  8. Game Playing

    1. Game Description Language Compiler Construction
      Jakub Kowalski, Marek Szykuła
      Pages 234-245
    2. Model Checking for Reasoning about Incomplete Information Games
      Xiaowei Huang, Ji Ruan, Michael Thielscher
      Pages 246-258
    3. Neuroevolution for Micromanagement in the Real-Time Strategy Game Starcraft: Brood War
      Jacky Shunjie Zhen, Ian Watson
      Pages 259-270
    4. Towards General Game-Playing Robots: Models, Architecture and Game Controller
      David Rajaratnam, Michael Thielscher
      Pages 271-276

  9. Knowledge Representation and Reasoning

    1. Bisimulation for Single-Agent Plausibility Models
      Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
      Pages 277-288
    2. An Efficient Tableau for Linear Time Temporal Logic
      Ji Bian, Tim French, Mark Reynolds
      Pages 289-300
    3. Updates and Uncertainty in CP-Nets
      Cristina Cornelio, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, K. Brent Venable
      Pages 301-312
    4. Some Complexity Results for Distance-Based Judgment Aggregation
      Wojciech Jamroga, Marija Slavkovik
      Pages 313-325
    5. Supraclassical Consequence Relations
      Willem Labuschagne, Johannes Heidema, Katarina Britz
      Pages 326-337
    6. Relative Expressiveness of Well-Founded Defeasible Logics
      Michael J. Maher
      Pages 338-349
    7. Conjunctive Query Answering in \({\mathcal{CFD}}_{nc}\): A PTIME Description Logic with Functional Constraints and Disjointness
      David Toman, Grant Weddell
      Pages 350-361

  10. Machine Learning and Data Mining

    1. Propositionalisation of Multi-instance Data Using Random Forests
      Eibe Frank, Bernhard Pfahringer
      Pages 362-373
    2. An Effective Method for Imbalanced Time Series Classification: Hybrid Sampling
      Guohua Liang
      Pages 374-385
    3. Computer Aided Diagnosis of ADHD Using Brain Magnetic Resonance Images
      B. S. Mahanand, R. Savitha, S. Suresh
      Pages 386-395
    4. Evaluating Sparse Codes on Handwritten Digits
      Linda Main, Benjamin Cowley, Adam Kneller, John Thornton
      Pages 396-407
    5. Minimum Message Length Ridge Regression for Generalized Linear Models
      Daniel F. Schmidt, Enes Makalic
      Pages 408-420
    6. Ultimate Order Statistics-Based Prototype Reduction Schemes
      Anu Thomas, B. John Oommen
      Pages 421-433
    7. Group Recommender Systems: A Virtual User Approach Based on Precedence Mining
      Venkateswara Rao Kagita, Arun K. Pujari, Vineet Padmanabhan
      Pages 434-440
    8. A New Paradigm for Pattern Classification: Nearest Border Techniques
      Yifeng Li, B. John Oommen, Alioune Ngom, Luis Rueda
      Pages 441-446
    9. Learning Polytrees with Constant Number of Roots from Data
      Javad Safaei, Ján Maňuch, Ladislav Stacho
      Pages 447-452

  11. Natural Language Processing and Information Retrieval

    1. Enhanced N-Gram Extraction Using Relevance Feature Discovery
      Mubarak Albathan, Yuefeng Li, Abdulmohsen Algarni
      Pages 453-465
    2. Generating Context Templates for Word Sense Disambiguation
      Samuel W. K. Chan
      Pages 466-477

  12. Planning and Scheduling

    1. Evolving Stochastic Dispatching Rules for Order Acceptance and Scheduling via Genetic Programming
      John Park, Su Nguyen, Mark Johnston, Mengjie Zhang
      Pages 478-489
    2. Detecting Mutex Pairs in State Spaces by Sampling
      Mehdi Sadeqi, Robert C. Holte, Sandra Zilles
      Pages 490-501

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 26th Australasian Joint Conference on Artificial Intelligence, AI 2013, held in Dunedin, New Zealand, in December 2013. The 35 revised full papers and 19 revised short papers presented were carefully reviewed and selected from 120 submissions. The papers are organized in topical sections as agents; AI applications; cognitive modelling; computer vision; constraint satisfaction, search and optimisation; evolutionary computation; game playing; knowledge representation and reasoning; machine learning and data mining; natural language processing and information retrieval; planning and scheduling.

Keywords

evolutionary algorithm image analysis optimization problem recommender systems social network analysis

Editors and affiliations

  • Stephen Cranefield
    • 1
  • Abhaya Nayak
    • 2
  1. 1.Department of Information ScienceUniversity of OtagoDunedinNew Zealand
  2. 2.Macquarie UniversitySydneyAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-03680-9
  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-03679-3
  • Online ISBN 978-3-319-03680-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering