AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings

Front Matter....Pages -
Pushing the Envelope: General Game Players Prove Theorems....Pages 1-10
Temporal Belief-Change: κ -functions Approach....Pages 11-21
Resource-Sensitive Reasoning with Sequential Information....Pages 22-31
Frame-Based Dialogue Management Automated Error Recovery Approach....Pages 32-41
Characterizing Relevant Belief Revision Operators....Pages 42-51
Belief Erasure Using Partial Imaging....Pages 52-61
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi....Pages 62-71
Two Methods for Constructing Horn Contractions....Pages 72-81
Database Normalization as a By-product of Minimum Message Length Inference....Pages 82-91
A Heuristic on Effective and Efficient Clustering on Uncertain Objects....Pages 92-101
A New Supervised Term Ranking Method for Text Categorization....Pages 102-111
A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods....Pages 112-121
An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data....Pages 122-131
Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset....Pages 132-141
Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence....Pages 142-152
On Optimizing Locally Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes....Pages 153-163
Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification....Pages 164-173
Newton Trees....Pages 174-183
Learning Parse-Free Event-Based Features for Textual Entailment Recognition....Pages 184-193
A Gradient-Based Metric Learning Algorithm for k-NN Classifiers....Pages 194-203
Dimensionality Reduction for Classification through Visualisation Using L1SNE....Pages 204-212
Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems....Pages 213-222
The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models....Pages 223-232
Unbounded Knowledge Acquisition Based upon Mutual Information in Dependent Questions....Pages 233-242
A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data....Pages 243-252
An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks....Pages 253-262
Evolving Cooperation in the Spatial N-player Snowdrift Game....Pages 263-272
Sampling Methods in Genetic Programming for Classification with Unbalanced Data....Pages 273-282
Evolutionary Non Photo–Realistic Animations with Triangular Brushstrokes....Pages 283-292
Cellular Differential Evolution Algorithm....Pages 293-302
A Comparative Study of CMA-ES on Large Scale Global Optimisation....Pages 303-312
Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search....Pages 313-322
Edge and Corner Extraction Using Particle Swarm Optimisation....Pages 323-333
Fuzzy Adaptive Artificial Fish Swarm Algorithm....Pages 334-343
The Honourable Negotiator: When the Relationship Is What Matters....Pages 344-353
Tuning Java to Run Interactive Multiagent Simulations over Jason....Pages 354-363
Emergence of Cooperation in a Bio-inspired Multi-agent System....Pages 364-374
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets....Pages 375-384
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints....Pages 385-394
A Logic for Reasoning about Actions and Explicit Observations....Pages 395-404
Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding....Pages 405-414
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search....Pages 415-424
Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems....Pages 425-434
Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion....Pages 435-444
LEXA: Towards Automatic Legal Citation Classification....Pages 445-454
Hazardous Document Detection Based on Dependency Relations and Thesaurus....Pages 455-465
Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance....Pages 466-475
Collaborative Filtering for People to People Recommendation in Social Networks....Pages 476-485
Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head....Pages 486-495
Diagnosing Component Interaction Errors from Abstract Event Traces....Pages 496-505
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation....Pages 506-515
Maximal Matching for Double Auction....Pages 516-525
Back Matter....Pages -