Advertisement

Table of contents

  1. Front Matter
    PDF
  2. Controlling autonomous robots with Golog
    K. Tam, J. Lloyd, Y. Lespérance, H. Levesque, F. Lin, D. Marcu et al.
    Pages 1-12
  3. Video query and retrieval
    Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung
    Pages 13-24
  4. On finding needles in WWW haystacks
    Leon Sterling
    Pages 25-36
  5. Extending dynamic backtracking for distributed constraint satisfaction problems
    William S. Havens
    Pages 37-46
  6. Constraint-directed backtracking
    Wanlin Pang, Scott D. Goodwin
    Pages 47-56
  7. Applied partial constraint satisfaction using weighted iterative repair
    John Thomton, Abdul Sattar
    Pages 57-66
  8. The application of mutual information to the registration of stereo and temporal images of the retina
    Nicola Ritter, Robyn Owens, K. Yogesan, P. van Saarloos
    Pages 67-76
  9. Kalman filtering from a phase based optical flow operator
    J. R. Cooper, R. O. Hastings
    Pages 77-86
  10. Adaptive constraint restoration and error analysis using a neural network
    Stuart W. Perry, Ling Guan
    Pages 87-95
  11. Exploring agent cooperation: Studies with a simple pursuit game
    Christopher Grinton, Liz Sonenberg, Leon Sterling
    Pages 96-105
  12. The serializability problem in a parallel rule-based system: A solution by distributed coordination
    M. A. Abtroun, S. Hassas
    Pages 106-115
  13. Optimal communication among team members
    Hung H. Bui, Dorota Kieronska, Svetha Venkatesh
    Pages 116-126
  14. Dominant and recessive genes in evolutionary systems applied to spatial reasoning
    Thorsten Schnier, John Gero
    Pages 127-136
  15. Using multi-chromosomes to solve a simple mixed integer problem
    Hans J. Pierrot, Robert Hinterding
    Pages 137-146
  16. Hierarchical and feed-forward fuzzy Logic for financial modelling and prediction
    Masoud Mohammadian, Mark Kingham
    Pages 147-156
  17. A knowledge-based system for workflow management using the world wide web
    John Debenham
    Pages 157-166
  18. Use of partial functional dependencies to make practical approximate translations among forms of propositional expert systems
    Robert M. Colomb, Phoebe Yi-Ping Chen
    Pages 167-176
  19. NRDR for the acquisition of search knowledge
    Ghassan Beydoun, Achim Hoffmann
    Pages 177-186
  20. Rapid prototyping of executable problem solving methods using MODEL-ECS
    Gavin Lawson, Dickson Lukose
    Pages 187-196
  21. Preferential semantics for causal fixpoints
    Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Foo
    Pages 197-206
  22. Belief update, the Markovian situation calculus, and discrete event systems
    Tyrone O'Neill, Norman Foo
    Pages 207-216
  23. A notion of correctness with theories containing theoretical terms
    Rex Bing Hung Kwok, Abhaya Nayak, Norman Foo
    Pages 217-226
  24. Inductive properties of states
    Norman Foo, Pavlos Peppas, Yan Zhang
    Pages 227-235
  25. Describing plan recognition as nonmonotonic reasoning and belief revision
    Pawel Jachowicz, Randy Goebel
    Pages 236-245
  26. Specification morphisms for nonmonotonic knowledge systems
    C. K. MacNish, Grigoris Antoniou
    Pages 246-254
  27. Representation results for default logics
    Grigoris Antoniou
    Pages 255-264
  28. Proving quantified literals in defeasible logic
    David Billington
    Pages 265-273
  29. Fuzzy hierarchical pattern recognition for robotics applications
    Yoshinori Arai, Kaoru Hirota
    Pages 274-281
  30. Adaptive curvature-based topography for learning symbolic descriptions of terrain maps
    Adrian R. Pearce, Terry Caelli, Simon Goss
    Pages 282-289
  31. A computer assisted image analysis system for diagnosing movement disorders
    R. Chang, L. Guant, J. A. Burne
    Pages 290-301
  32. Vowel recognition for speaker independent Chinese speech recognition
    Yin Baolin, Yu Tao
    Pages 302-310
  33. Beat induction and rhythm recognition
    Simon Dixon
    Pages 311-320
  34. Boosting neural networks in real world applications: An empirical study
    Hongxing He, Zhexue Huang
    Pages 321-329
  35. Machine learning of credible classifications
    Howard J. Hamilton, Ning Shan, Wojciech Ziarko
    Pages 330-339
  36. Mining the knowledge mine
    Graham J. Williams, Zhexue Huang
    Pages 340-348
  37. Using decision trees for agent modelling: A study on resolving conflicting predictions
    Bark Cheung Chiu, Geoffrey I. Webb, Zijian Zheng
    Pages 349-358
  38. Sample set assessment for providing personalised recommendations
    Bhavani Raskutti, Anthony Beitz
    Pages 359-368
  39. Integrated correction of ill-formed sentences
    Kyongho Min, William H. Wilson
    Pages 369-378
  40. Information filtering for context-sensitive browsing
    Tsukasa Hirashima, Noriyuki Matsuda, Toyohiro Nomoto, Jun'ichi Toyoda
    Pages 379-388
  41. The T-SOM (Tree-SOM)
    Vincent Sauvage
    Pages 389-397
  42. Extending and benchmarking the CasPer algorithm
    N. K. Treadgold, T. D. Gedeon
    Pages 398-406
  43. Disconcepts and fuzzy cognitive maps
    Thapa R. B., Sadananda R.
    Pages 407-416
  44. Weight sensitive Boolean extraction produces compact expressions
    Lawrence Peh, C. P. Tsang
    Pages 417-426
  45. Learning temporal sequences in recurrent self-organising neural nets
    Garry Briscoe, Terry Caelli
    Pages 427-435
  46. Three-dimensional scene analysis using multiple range finders — Data capture, coordinate transformations and initial segmentation
    Irving Hofman, Ray Jarvis
    Pages 436-445
  47. Sensor-based robotic automation of mushroom farming — Preliminary considerations
    Ray Jarvis
    Pages 446-455
  48. Creating adroit mechanisms by using large numbers of simple homogeneous structures
    R. Andrew Russell
    Pages 456-465
  49. A nephelometric tactile sensor
    R. Andrew Russell
    Pages 466-474
  50. Finger track — A robust and real-time gesture interface
    Rochelle O'Hagan, Alexander Zelinsky
    Pages 475-484

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th Australian Joint Conference on Artificial Intelligence, AI'97, held in Perth, Australia, in November/December 1997. The volume presents 48 revised full papers selected from a total of 143 submissions. Also included are three keynote talks and one invited paper. The book is divided into topical sections on constraint satisfaction and scheduling, computer vision, distributed AI, evolutionary computing, knowledge-based systems, knowledge representation and reasoning, learning and machine vision, machine learning, NLP and user modeling, neural networks, robotics and machine recognition, and temporal qualitative reasoning.

Keywords

Computer Vision Distributed Artificial Intelligence Evolutionary Computing Knowledge Processing artificial intelligence autonomous robot constraint satisfaction problem fuzzy logic image analysis knowledge representation machine learning modeling neural network pattern recognition problem solving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63797-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63797-4
  • Online ISBN 978-3-540-69649-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site