10. Australian Joint Conference on Artificial Intelligence 1997: Perth, Australia

Keynote Papers

• Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin:
  Controlling Autonomous Robots with GOLOG. 1-12
  
• Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung:
  Video Query and Retrieval. 13-24
  
• Leon Sterling:
  On Finding Needles in WWW Haystacks. 25-36
  

Constraint Satisfaction and Scheduling

• William S. Havens:
  Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. 37-46
  
• Wanlin Pang, Scott D. Goodwin:
  Constraint-Directed Backtracking. 47-56
  
• John Thornton, Abdul Sattar:
  Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. 57-66
  

Computer Vision

• Nicola Ritter, Robyn A. Owens, K. Yogesan, Paul P. Van Saarloos:
  The Application of Mutual Information to the Registration of Stereo and Temporal Images of the Retina. 67-76
  
• James R. Cooper, R. O. Hastings:
  Kalman Filtering from a Phase Based Optical Flow Operator. 77-86
  
• Stuart W. Perry, Ling Guan:
  Adaptive Constraint Restoration and Error Analysis Using a Neural Network. 87-95
  

Distributed AI

• Christopher Grinton, Liz Sonenberg, Leon Sterling:
  Exploring Agent Cooperation: Studies with a Simple Pursuit Game. 96-105
  
• M. A. Abtroun, Salima Hassas:
  The Serializability Problem in a Parallel Rule-Based System: A Solution by Distributed Coordination. 106-115
  
• Hung Hai Bui, Dorota H. Kieronska, Svetha Venkatesh:
  Optimal Communication Among Team Members. 116-126
  

Evolutionary Computation

• Thorsten Schnier, John S. Gero:
  Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning. 127-136
  
• Hans J. Pierrot, Robert Hinterding:
  Using Multi-chromosomes to Solve a Simple Mixed Integer Problem. 137-146
  
• Masoud Mohammadian, Mark Kingham:
  Hierarchical and Feed-Forward Fuzzy Logic for Financial Modelling and Prediction. 147-156
  

Knowledge-Based Systems

• John K. Debenham:
  A Knowledge-Based System for Workflow Management Using the World Wide Web. 157-166
  
• Robert M. Colomb, Yi-Ping Phoebe Chen:
  Use of Partial Functional Dependencies to Make Practical Approximate Translations Among Forms of Propositional Expert Systems. 167-176
  
• Ghassan Beydoun, Achim G. Hoffmann:
  NRDR for the Acquisition of Search Knowledge. 177-186
  
• Gavin Lawson, Dickson Lukose:
  Rapid Prototyping of Executable Problem Solving Methods Using MODEL-ECS. 187-196
  

Knowledge Representation and Reasoning

• Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo:
  Preferential Semantics for Causal Fixpoints. 197-206
  
• Tyrone O'Neill, Norman Y. Foo:
  Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. 207-216
  
• Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo:
  A Notion of Correctness with Theories Containing Theoretical Terms. 217-226
  
• Norman Y. Foo, Pavlos Peppas, Yan Zhang:
  Inductive Properties of States. 227-235
  
• Pawel Jachowicz, Randy Goebel:
  Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision. 236-245
  
• Cara MacNish, Grigoris Antoniou:
  Specification Morphisms for Nonmonotonic Knowledge Systems. 246-254
  
• Grigoris Antoniou:
  Representation Results for Default Logics. 255-264
  
• David Billington:
  Proving Quantified Literals in Defeasible Logic. 265-273
  

Learning and Machine Vision

• Yoshinori Arai, Kaoru Hirota:
  Fuzzy Hierarchical Pattern Recognition for Robotics Applications. 274-281
  
• Adrian R. Pearce, Terry Caelli, Simon Goss:
  Adaptive Curvature-Based Topography for Learning Symbolic Descriptions of Terrain Maps. 282-289
  
• R. Chang, Ling Guan, John A. Burne:
  A Computer Assisted Image Analysis System for Diagnosing Movement Disorders. 290-301
  
• Baolin Yin, Yu Tao:
  Vowel Recognition for Speaker Independent Chinese Speech Recognition. 302-310
  
• Simon Dixon:
  Beat Induction and Rhythm Recognition. 311-320
  

Machine Learning

• Hongxing He, Zhexue Huang:
  Boosting Neural Networks in Real Worls Applications: An Empirical Study. 321-329
  
• Howard J. Hamilton, Ning Shan, Wojciech Ziarko:
  Machine Learning of Credible Classifications. 330-339
  
• Graham J. Williams, Zhexue Huang:
  Mining the Knowledge Mine: The Hot Spots Methodology for Mining Large Real World Databases. 340-348
  
• Bark Cheung Chiu, Geoffrey I. Webb, Zijian Zheng:
  Using Decision Trees for Agent Modelling: A Study on Resolving Confliction Predictions. 349-358
  

NLP and User Modelling

• Bhavani Raskutti, Anthony Beitz:
  Sample Set Assessment for Providing Personalised Recommendations. 359-368
  
• Kyongho Min, William H. Wilson:
  Integrated Correction of Ill-Formed Sentences. 369-378
  
• Tsukasa Hirashima, Noriyuki Matsuda, Toyohiro Nomoto, Jun'ichi Toyoda:
  Information Filtering for Context-Sensitive Browsing. 379-388
  

Neural Networks

• Vincent Sauvage:
  The T-SOM (Tree-SOM). 389-397
  
• Nick K. Treadgold, Tamás D. Gedeon:
  Extending and Benchmarking the CasPer Algorithm. 398-406
  
• Ramesh B. Thapa, R. Sadananda:
  Disconcepts and Fuzzy Cognitive Maps. 407-416
  
• Lawrence Peh, C. P. Tsang:
  Weight Sensitive Boolean Extraction Produces Compact Expressions. 417-426
  
• Garry Briscoe, Terry Caelli:
  Learning Temporal Sequences in Recurrent Self-Organising Neural Nets. 427-435
  

Robotics and Machine Recognition

• Irving Hofman, Ray Jarvis:
  Three-Dimensional Scene Analysis Using Multiple Range Finders - Data Capture, Coordinate Transformations and Initial Segmentation. 436-445
  
• Ray Jarvis:
  Sensor-Based Robotic Automation of Mushroom Farming - Preliminary Considerations. 446-455
  
• R. Andrew Russell:
  Creating Adroit Mechanisms by Using Large Numbers of Simple Homogeneous Structures. 456-465
  
• R. Andrew Russell:
  A Nephelometric Tactile Sensor. 466-474
  
• Rochelle O'Hagan, Alexander Zelinsky:
  Finger Track - A Robust and Real-Time Gesture Interface. 475-484
  

Temporal Qualitative Reasoning

• Chuchang Liu, Mehmet A. Orgun:
  A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. 485-495
  
• Yusuf Pisan:
  Controlling Engineering Problem Solving. 496-504
  
• Sam Waugh, Tim Menzies, Simon Goss:
  Evaluating a Qualitative Reasoner. 505-514
  

Last update Tue May 22 23:23:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page