This volume contains the papers presented at AI 2007: The 20th Australian Joint Conference on Arti?cial Intelligence held during December 2–6, 2007 on the Gold Coast, Queensland, Australia. AI 2007 attracted 194 submissions (full papers) from 34 countries. The review process was held in two stages. In the ?rst stage, the submissions were assessed for their relevance and readability by the Senior Program Committee members. Those submissions that passed the ?rst stage were then reviewed by at least three Program Committee members and independent reviewers. After extensive disc- sions, the Committee decided to accept 60 regular papers (acceptance rate of 31%) and 44 short papers (acceptance rate of 22.7%). Two regular papers and four short papers were subsequently withdrawn and are not included in the proceedings. AI 2007 featured invited talks from four internationally distinguished - searchers, namely, Patrick Doherty, Norman Foo, Richard Hartley and Robert Hecht-Nielsen. They shared their insights and work with us and their contri- tions to AI 2007 were greatly appreciated. AI 2007 also featured workshops on integrating AI and data-mining, semantic biomedicine and ontology. The short papers were presented in an interactive poster session and contributed to a st- ulating conference. It was a great pleasure for us to serve as the Program Co-chairs of AI 2007.
Author(s): Patrick Doherty, Piotr Rudol (auth.), Mehmet A. Orgun, John Thornton (eds.)
Series: Lecture Notes in Computer Science 4830
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 841
City: Berlin; New York
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Data Mining and Knowledge Discovery; Information Systems Applications (incl.Internet); Information Storage and Retrieval; Computation by Abstract Devices
Front Matter....Pages -
A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization....Pages 1-13
Social Agents....Pages 14-14
Globally Optimal Solutions to Vision Using Convex and Quasi-convex Optimization....Pages 15-15
Efficient Learning of Bayesian Network Classifiers....Pages 16-25
Mixture of the Robust L1 Distributions and Its Applications....Pages 26-35
On Using a Hierarchy of Twofold Resource Allocation Automata to Solve Stochastic Nonlinear Resource Allocation Problems....Pages 36-47
An Investigation into the Interaction Between Feature Selection and Discretization: Learning How and When to Read Numbers....Pages 48-57
Safe State Abstraction and Reusable Continuing Subtasks in Hierarchical Reinforcement Learning....Pages 58-67
Local Learning Algorithm for Markov Blanket Discovery....Pages 68-79
A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data....Pages 80-89
New Options for Hoeffding Trees....Pages 90-99
Avoiding Local Minima in Feedforward Neural Networks by Simultaneous Learning....Pages 100-109
Some Analysis on the Network of Bursting Neurons: Quantifying Behavioral Synchronization ....Pages 110-119
Comparative Analysis of Multiple Neural Networks for Online Identification of a UAV....Pages 120-129
Prediction of Polysomnographic Measurements....Pages 130-139
An Adaptive Approach for QoS-Aware Web Service Composition Using Cultural Algorithms....Pages 140-149
A Genetic Programming Approach to Extraction of Glycan Motifs Using Tree Structured Patterns....Pages 150-159
Feature Construction and Dimension Reduction Using Genetic Programming....Pages 160-170
Adjusting Population Distance for the Dual-Population Genetic Algorithm....Pages 171-180
An Improved Concurrent Search Algorithm for Distributed CSPs....Pages 181-190
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs....Pages 191-201
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT....Pages 202-212
Advances in Local Search for Satisfiability....Pages 213-222
Clone: Solving Weighted Max-SAT in a Reduced Search Space....Pages 223-233
A CNF Formula Hierarchy over the Hypercube....Pages 234-243
Planning as Satisfiability with Relaxed $\exists$ -Step Plans....Pages 244-253
Forgetting in Logic Programs with Ordered Disjunction....Pages 254-262
The ‘Majority’ and ‘by Default’ Modalities....Pages 263-272
Restricted Higher-Order Anti-Unification for Analogy Making....Pages 273-282
A Template Matching Table for Speeding-Up Game-Tree Searches for Hex....Pages 283-292
Customizing Qualitative Spatial and Temporal Calculi....Pages 293-304
extraRelief: Improving Relief by Efficient Selection of Instances....Pages 305-314
Constraint-Based Mining of Web Page Associations....Pages 315-326
Does Multi-user Document Classification Really Help Knowledge Management?....Pages 327-336
Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance....Pages 337-346
A Bio-inspired Method for Incipient Slip Detection....Pages 347-356
TalkBack: Feedback from a Miniature Robot....Pages 357-366
Using Viewing Time for Theme Prediction in Cultural Heritage Spaces....Pages 367-376
Collaborative Tagging in Recommender Systems....Pages 377-386
Computational Imagination: Research Agenda....Pages 387-393
An Upper Ontology for Event Classifications and Relations....Pages 394-403
A Within-Frame Ontological Extension on FrameNet: Application in Predicate Chain Analysis and Question Answering....Pages 404-414
Using Clustering for Web Information Extraction....Pages 415-424
A Decision Tree Approach to Sentence Chunking....Pages 425-434
The Semantic Representation of Temporal Expressions in Text....Pages 435-444
Effectiveness of Methods for Syntactic and Semantic Recognition of Numeral Strings: Tradeoffs Between Number of Features and Length of Word N-Grams....Pages 445-455
Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens....Pages 456-465
Hypothesis Generation and Maintenance in the Interpretation of Spoken Utterances....Pages 466-475
Temporal Extensions to Defeasible Logic....Pages 476-485
Characterising Deadlines in Temporal Modal Defeasible Logic....Pages 486-496
Dialogue Games in Defeasible Logic....Pages 497-506
Implementing Iterated Belief Change Via Prime Implicates....Pages 507-518
Applying MCRDR to a Multidisciplinary Domain....Pages 519-528
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization....Pages 529-538
Tomographic Reconstruction of Images from Noisy Projections - A Preliminary Study....Pages 539-548
Automated Intelligent Abundance Analysis of Scallop Survey Video Footage....Pages 549-558
Multiple Classifier Object Detection with Confidence Measures....Pages 559-568
Agent-Based Distributed Energy Management....Pages 569-578
Adaptation Knowledge from the Case Base....Pages 579-588
Building Classification Models from Microarray Data with Tree-Based Classification Algorithms....Pages 589-598
MAUSA: Using Simulated Annealing for Guide Tree Construction in Multiple Sequence Alignment....Pages 599-608
A System for Modal and Deontic Defeasible Reasoning....Pages 609-613
Time-Reversal in Conway’s Life as SAT....Pages 614-618
A Knowledge-Based Approach to Named Entity Disambiguation in News Articles....Pages 619-624
Real-Time Scheduling for Non-crossing Stacking Cranes in an Automated Container Terminal....Pages 625-631
The Detrimentality of Crossover....Pages 632-636
Automatic Sapstain Detection in Processed Timber....Pages 637-641
Structure-Sensitive Learning of Text Types....Pages 642-646
A Comparison of Neural-Based Techniques Investigating Rotational Invariance for Upright People Detection in Low Resolution Imagery....Pages 647-653
Multilevel Thresholding Method for Image Segmentation Based on an Adaptive Particle Swarm Optimization Algorithm....Pages 654-658
Twin Kernel Embedding with Relaxed Constraints on Dimensionality Reduction for Structured Data....Pages 659-663
Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback....Pages 664-668
To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification....Pages 669-674
Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization....Pages 675-681
An Improved Probability Density Function for Representing Landmark Positions in Bearing-Only SLAM Systems....Pages 682-686
Weight Redistribution for Unweighted MAX-SAT....Pages 687-693
A HMM-Based Hierarchical Framework for Long-Term Population Projection of Small Areas....Pages 694-698
Backbone of the p-Median Problem....Pages 699-704
One Shot Associative Memory Method for Distorted Pattern Recognition....Pages 705-709
Efficiently Finding Negative Association Rules Without Support Threshold....Pages 710-714
A Data Mining Algorithm for Designing the Conventional Cellular Manufacturing Systems....Pages 715-720
A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning....Pages 721-726
Concurrent Temporal Planning Using Timed Petri Nets - Policy Evaluation....Pages 727-731
Validation of a Reinforcement Learning Policy for Dosage Optimization of Erythropoietin....Pages 732-738
Pixel-Based Colour Image Segmentation Using Support Vector Machine for Automatic Pipe Inspection....Pages 739-743
An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation....Pages 744-748
Reasoning About Hybrid Systems Based on a Nonstandard Model....Pages 749-754
Merging Algorithm to Reduce Dimensionality in Application to Web-Mining....Pages 755-761
Human Behavior Analysis for Human-Robot Interaction in Indoor Environments....Pages 762-768
Fitness Functions in Genetic Programming for Classification with Unbalanced Data....Pages 769-775
Protein Structure Alignment Using Maximum Cliques and Local Search....Pages 776-780
SMART: Structured Memory for Abstract Reasoning and Thinking....Pages 781-785
An Efficient Segmentation Technique for Known Touching Objects Using a Genetic Algorithm Approach....Pages 786-790
Elements of a Learning Interface for Genre Qualified Search....Pages 791-797
A System for Acquisition of Noun Concepts from Utterances for Images Using the Label Acquisition Rules....Pages 798-802
Branching Rules for Satisfiability Analysed with Factor Analysis....Pages 803-809
Hybrid Methods to Select Informative Gene Sets in Microarray Data Classification....Pages 810-814
An EM Algorithm for Independent Component Analysis Using an AR-GGD Source Model....Pages 815-819
Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples....Pages 820-826
Class Association Rule Mining with Multiple Imbalanced Attributes....Pages 827-831
DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets....Pages 832-837
Back Matter....Pages -
