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

Abdul Sattar (Ed.): Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Lecture Notes in Computer Science 1342 Springer 1997, ISBN 3-540-63797-4 BibTeX

@proceedings{DBLP:conf/ausai/1997,
  editor    = {Abdul Sattar},
  title     = {Advanced Topics in Artificial Intelligence, 10th Australian Joint
               Conference on Artificial Intelligence, AI '97, Perth, Australia,
               November 30 - December 4, 1997, Proceedings},
  booktitle = {Australian Joint Conference on Artificial Intelligence},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1342},
  year      = {1997},
  isbn      = {3-540-63797-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 BibTeX
Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung: Video Query and Retrieval. 13-24 BibTeX
Leon Sterling: On Finding Needles in WWW Haystacks. 25-36 BibTeX

Constraint Satisfaction and Scheduling

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

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 BibTeX
James R. Cooper, R. O. Hastings: Kalman Filtering from a Phase Based Optical Flow Operator. 77-86 BibTeX
Stuart W. Perry, Ling Guan: Adaptive Constraint Restoration and Error Analysis Using a Neural Network. 87-95 BibTeX

Distributed AI

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

Evolutionary Computation

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

Knowledge-Based Systems

John K. Debenham: A Knowledge-Based System for Workflow Management Using the World Wide Web. 157-166 BibTeX
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 BibTeX
Ghassan Beydoun, Achim G. Hoffmann: NRDR for the Acquisition of Search Knowledge. 177-186 BibTeX
Gavin Lawson, Dickson Lukose: Rapid Prototyping of Executable Problem Solving Methods Using MODEL-ECS. 187-196 BibTeX

Knowledge Representation and Reasoning

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

Learning and Machine Vision

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

Machine Learning

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

NLP and User Modelling

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

Neural Networks

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

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 BibTeX
Ray Jarvis: Sensor-Based Robotic Automation of Mushroom Farming - Preliminary Considerations. 446-455 BibTeX
R. Andrew Russell: Creating Adroit Mechanisms by Using Large Numbers of Simple Homogeneous Structures. 456-465 BibTeX
R. Andrew Russell: A Nephelometric Tactile Sensor. 466-474 BibTeX
Rochelle O'Hagan, Alexander Zelinsky: Finger Track - A Robust and Real-Time Gesture Interface. 475-484 BibTeX

Temporal Qualitative Reasoning

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