Advanced Topics in Artificial Intelligence: 10th Australian Joint Conference on Artificial Intelligence, AI'97 Perth, Australia, November 30 – December 4, 1997 Proceedings [1 ed.] 3540637974, 9783540637974

Table of contents :
Controlling autonomous robots with Golog ....Pages 1-12
Video query and retrieval....Pages 13-24
On finding needles in WWW haystacks....Pages 25-36
Extending dynamic backtracking for distributed constraint satisfaction problems....Pages 37-46
Constraint-directed backtracking....Pages 47-56
Applied partial constraint satisfaction using weighted iterative repair....Pages 57-66
The application of mutual information to the registration of stereo and temporal images of the retina....Pages 67-76
Kalman filtering from a phase based optical flow operator....Pages 77-86
Adaptive constraint restoration and error analysis using a neural network....Pages 87-95
Exploring agent cooperation: Studies with a simple pursuit game....Pages 96-105
The serializability problem in a parallel rule-based system: A solution by distributed coordination....Pages 106-115
Optimal communication among team members....Pages 116-126
Dominant and recessive genes in evolutionary systems applied to spatial reasoning....Pages 127-136
Using multi-chromosomes to solve a simple mixed integer problem....Pages 137-146
Hierarchical and feed-forward fuzzy Logic for financial modelling and prediction....Pages 147-156
A knowledge-based system for workflow management using the world wide web....Pages 157-166
Use of partial functional dependencies to make practical approximate translations among forms of propositional expert systems....Pages 167-176
NRDR for the acquisition of search knowledge....Pages 177-186
Rapid prototyping of executable problem solving methods using MODEL-ECS....Pages 187-196
Preferential semantics for causal fixpoints....Pages 197-206
Belief update, the Markovian situation calculus, and discrete event systems....Pages 207-216
A notion of correctness with theories containing theoretical terms....Pages 217-226
Inductive properties of states....Pages 227-235
Describing plan recognition as nonmonotonic reasoning and belief revision....Pages 236-245
Specification morphisms for nonmonotonic knowledge systems....Pages 246-254
Representation results for default logics....Pages 255-264
Proving quantified literals in defeasible logic....Pages 265-273
Fuzzy hierarchical pattern recognition for robotics applications....Pages 274-281
Adaptive curvature-based topography for learning symbolic descriptions of terrain maps....Pages 282-289
A computer assisted image analysis system for diagnosing movement disorders....Pages 290-301
Vowel recognition for speaker independent Chinese speech recognition....Pages 302-310
Beat induction and rhythm recognition....Pages 311-320
Boosting neural networks in real world applications: An empirical study....Pages 321-329
Machine learning of credible classifications....Pages 330-339
Mining the knowledge mine....Pages 340-348
Using decision trees for agent modelling: A study on resolving conflicting predictions....Pages 349-358
Sample set assessment for providing personalised recommendations....Pages 359-368
Integrated correction of ill-formed sentences....Pages 369-378
Information filtering for context-sensitive browsing....Pages 379-388
The T-SOM (Tree-SOM)....Pages 389-397
Extending and benchmarking the CasPer algorithm....Pages 398-406
Disconcepts and fuzzy cognitive maps....Pages 407-416
Weight sensitive Boolean extraction produces compact expressions....Pages 417-426
Learning temporal sequences in recurrent self-organising neural nets....Pages 427-435
Three-dimensional scene analysis using multiple range finders — Data capture, coordinate transformations and initial segmentation....Pages 436-445
Sensor-based robotic automation of mushroom farming — Preliminary considerations....Pages 446-455
Creating adroit mechanisms by using large numbers of simple homogeneous structures....Pages 456-465
A nephelometric tactile sensor....Pages 466-474
Finger track — A robust and real-time gesture interface....Pages 475-484
A constraint mechanism for knowledge specification of simulation systems based on temporal logic....Pages 485-495
Controlling engineering problem solving....Pages 496-504
Evaluating a qualitative reasoner....Pages 505-514