Abstract is missing.
- Controlling Autonomous Robots with ::::GOLOG::::Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin. 1-12
- Video Query and RetrievalRuud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung. 13-24
- On Finding Needles in WWW HaystacksLeon Sterling. 25-36
- Extending Dynamic Backtracking for Distributed Constraint Satisfaction ProblemsWilliam S. Havens. 37-46
- Constraint-Directed BacktrackingWanlin Pang, Scott D. Goodwin. 47-56
- Applied Partial Constraint Satisfaction Using Weighted Iterative RepairJohn Thornton, Abdul Sattar. 57-66
- The Application of Mutual Information to the Registration of Stereo and Temporal Images of the RetinaNicola Ritter, Robyn A. Owens, K. Yogesan, Paul P. Van Saarloos. 67-76
- Kalman Filtering from a Phase Based Optical Flow OperatorJames R. Cooper, R. O. Hastings. 77-86
- Adaptive Constraint Restoration and Error Analysis Using a Neural NetworkStuart W. Perry, Ling Guan. 87-95
- Exploring Agent Cooperation: Studies with a Simple Pursuit GameChristopher Grinton, Liz Sonenberg, Leon Sterling. 96-105
- The Serializability Problem in a Parallel Rule-Based System: A Solution by Distributed CoordinationM. A. Abtroun, Salima Hassas. 106-115
- Optimal Communication Among Team MembersHung Hai Bui, Dorota H. Kieronska, Svetha Venkatesh. 116-126
- Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial ReasoningThorsten Schnier, John S. Gero. 127-136
- Using Multi-chromosomes to Solve a Simple Mixed Integer ProblemHans J. Pierrot, Robert Hinterding. 137-146
- Hierarchical and Feed-Forward Fuzzy Logic for Financial Modelling and PredictionMasoud Mohammadian, Mark Kingham. 147-156
- A Knowledge-Based System for Workflow Management Using the World Wide WebJohn K. Debenham. 157-166
- Use of Partial Functional Dependencies to Make Practical Approximate Translations Among Forms of Propositional Expert SystemsRobert M. Colomb, Yi-Ping Phoebe Chen. 167-176
- NRDR for the Acquisition of Search KnowledgeGhassan Beydoun, Achim G. Hoffmann. 177-186
- Rapid Prototyping of Executable Problem Solving Methods Using MODEL-ECSGavin Lawson, Dickson Lukose. 187-196
- Preferential Semantics for Causal FixpointsPavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo. 197-206
- Belief Update, the Markovian Situation Calculus, and Discrete Event SystemsTyrone O Neill, Norman Y. Foo. 207-216
- A Notion of Correctness with Theories Containing Theoretical TermsRex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo. 217-226
- Inductive Properties of StatesNorman Y. Foo, Pavlos Peppas, Yan Zhang. 227-235
- Describing Plan Recognition as Nonmonotonic Reasoning and Belief RevisionPawel Jachowicz, Randy Goebel. 236-245
- Specification Morphisms for Nonmonotonic Knowledge SystemsCara MacNish, Grigoris Antoniou. 246-254
- Representation Results for Default LogicsGrigoris Antoniou. 255-264
- Proving Quantified Literals in Defeasible LogicDavid Billington. 265-273
- Fuzzy Hierarchical Pattern Recognition for Robotics ApplicationsYoshinori Arai, Kaoru Hirota. 274-281
- Adaptive Curvature-Based Topography for Learning Symbolic Descriptions of Terrain MapsAdrian R. Pearce, Terry Caelli, Simon Goss. 282-289
- A Computer Assisted Image Analysis System for Diagnosing Movement DisordersR. Chang, L. Guan, J. A. Burne. 290-301
- Vowel Recognition for Speaker Independent Chinese Speech RecognitionBaolin Yin, Yu Tao. 302-310
- Beat Induction and Rhythm RecognitionSimon Dixon. 311-320
- Boosting Neural Networks in Real Worls Applications: An Empirical StudyHongxing He, Zhexue Huang. 321-329
- Machine Learning of Credible ClassificationsHoward J. Hamilton, Ning Shan, Wojciech Ziarko. 330-339
- Mining the Knowledge Mine: The Hot Spots Methodology for Mining Large Real World DatabasesGraham J. Williams, Zhexue Huang. 340-348
- Using Decision Trees for Agent Modelling: A Study on Resolving Confliction PredictionsBark Cheung Chiu, Geoffrey I. Webb, Zijian Zheng. 349-358
- Sample Set Assessment for Providing Personalised RecommendationsBhavani Raskutti, Anthony Beitz. 359-368
- Integrated Correction of Ill-Formed SentencesKyongho Min, William H. Wilson. 369-378
- Information Filtering for Context-Sensitive BrowsingTsukasa Hirashima, Noriyuki Matsuda, Toyohiro Nomoto, Jun ichi Toyoda. 379-388
- The T-SOM (Tree-SOM)Vincent Sauvage. 389-397
- Extending and Benchmarking the CasPer AlgorithmNick K. Treadgold, Tamás D. Gedeon. 398-406
- Disconcepts and Fuzzy Cognitive MapsRamesh B. Thapa, R. Sadananda. 407-416
- Weight Sensitive Boolean Extraction Produces Compact ExpressionsLawrence Peh, C. P. Tsang. 417-426
- Learning Temporal Sequences in Recurrent Self-Organising Neural NetsGarry Briscoe, Terry Caelli. 427-435
- Three-Dimensional Scene Analysis Using Multiple Range Finders - Data Capture, Coordinate Transformations and Initial SegmentationIrving Hofman, Ray Jarvis. 436-445
- Sensor-Based Robotic Automation of Mushroom Farming - Preliminary ConsiderationsRay Jarvis. 446-455
- Creating Adroit Mechanisms by Using Large Numbers of Simple Homogeneous StructuresR. Andrew Russell. 456-465
- A Nephelometric Tactile SensorR. Andrew Russell. 466-474
- Finger Track - A Robust and Real-Time Gesture InterfaceRochelle O Hagan, Alexander Zelinsky. 475-484
- A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal LogicChuchang Liu, Mehmet A. Orgun. 485-495
- Controlling Engineering Problem SolvingYusuf Pisan. 496-504
- Evaluating a Qualitative ReasonerSam Waugh, Tim Menzies, Simon Goss. 505-514