4. PRICAI 1996: Cairns, Australia

Machine Learning I

• Adel Bouhoula:
  General Framework for Mechanizing Induction using Test Set. 1-12
  
• Michael Bulmer:
  Inductive Equational Reasoning. 13-22
  
• Geoffrey I. Webb:
  Cost-Sensitive Specialization. 23-34
  
• Xiaolong Zhang, Masayuki Numao:
  Efficient Multiple Predicate Learner Based on Fast Failure Mechanism. 35-46
  

Interactive Systems

• Bhavani Raskutti, Anthony Beitz:
  Acquiring User Preferences for Information Filtering in Interactive Multi-Media Services. 47-58
  
• Ming Zhao, Christopher Leckie:
  The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications. 59-70
  
• Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi:
  An Inteligent Education System Which Supports Scientific Thinking: Galileo -Philosophy and Basic Architecture. 71-84
  
• Bhavani Raskutti, Ingrid Zukerman:
  A Unified Approach to Handling Uncertainty during Cooperative Consultations. 85-96
  

Knowledge Representation I

• Vilas Wuwongse, Ekawit Nantajeewarawat:
  Declarative Program Theory with Implicit Information. 97-108
  
• John K. Debenham:
  Knowledge Decomposition: An Analysis. 109-120
  
• Gerd Stumme:
  The Concept Classification of a Terminology Extended by Conjunction and Disjunction. 121-131
  
• Andrew Fall:
  Extending Partial Orders for Sort Reasoning. 132-143
  

Reasoning about Change

• Angelo C. Restificar:
  An Update Procedure for A Probabilistic Deductive Database. 144-156
  
• Didar Zowghi, Aditya Ghose, Pavlos Peppas:
  A Framework for Reasoning about Requirements Evolution. 157-168
  
• Fon-Lin Lai, Joo-Hwee Lim, Liya Ding, Ah-Hwee Tan, Ho-Chung Lui:
  An Application of Hierarchical Knowledge Integration in Hand-Written Form Processing. 169-180
  

Neural Nets and Uncertainty I

• Dong B. Hoang, M. R. James:
  AMI: A Model of Intelligence. 181-192
  
• Setsuo Ohsuga:
  Symbol Processing by Non-Symbol Processor. 193-205
  
• Ann E. Nicholson:
  Fall Diagnosis using Dynamic Belief Networks. 206-217
  

Natural Language

• Samuel W. K. Chan, James Franklin:
  Remembrance of Discourse Based on Textual Continuity: A Spreading Activation Network. 218-228
  
• Ian E. Thomas, Ingrid Zukerman, Jonathan J. Oliver, Bhavani Raskutti:
  Lexical Access using Minimum Message Length Encoding. 229-240
  
• Malti Patel:
  Using Neural Nets to Investigate Lexical Access. 241-252
  

Constraint Satisfaction and Optimization

• Alvin C. M. Kwan:
  Validity of Normality Assumption in CSP Research. 253-263
  
• Bing Liu:
  An Improved Generic Arc Consistency Algorithm and Its Specializations. 264-275
  
• Jem Daalder, Peter W. Eklund, Kenji Ohmori:
  High-Level Synthesis Optimization with Genetic Algorithms. 276-287
  

Qualitative Reasoning

• Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi:
  A Qualititative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation. 288-299
  
• Shohei Kato, Hirohisa Seki, Hidenori Itoh:
  Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. 300-311
  
• Takashi Washio, Hiroshi Motoda:
  A History-Oriented Envisioning Method. 312-323
  

Machine Learning II

• Sanjay Jain, Arun Sharma:
  Team Learning of Recursive Languages. 324-335
  
• Tu Bao Ho:
  Combining Views on Concepts in Unsupervised Concept Learning. 336-347
  
• R. Mike Cameron-Jones:
  The Complexity of Batch Approaches to Reduced Error Rule Set Induction. 348-359
  
• Chowdhury Rahman Mofizur, Masayuki Numao:
  Learning Simple Recursive Concepts by Discovering Missing Examples. 360-371
  

Automated Reasoning

• Maria Paola Bonacina, Jieh Hsiang:
  On Semantic Resolution with Lemmaizing and Contraction. 372-386
  
• Roderic A. Girle:
  Tableaux for Expansion and Contraction. 387-398
  
• Xiaorong Huang:
  Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. 399-410
  
• Bingning Dai, David A. Bell, John G. Hughes:
  Evidential Temporal Representations and Reasoning. 411-422
  

Neural Nets and Uncertainty II

• Stuart Melville, Geoff Sutcliffe, David Fraser:
  Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. 423-434
  
• Boon Toh Low:
  Modeling Commonsense Rules in an Inference Network. 435-446
  
• Hyeyoung Park, Kwanyong Lee, Yillbyung Lee:
  Adaptive SEJONG-NET for On-line Hangul Recognition. 447-458
  
• Xudong Luo, Chengqi Zhang:
  A Unified Algebraic Structure for Uncertain Reasoning. 459-470
  

Knowledge Representation II

• Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo:
  Exten: A System for Computing Default Logic Extensions. 471-482
  
• David N. Morley, Liz Sonenberg:
  A Logic for Concurrent Events and Action Failure. 483-494
  
• Tatsuhiro Konishi, Yukihiro Itoh:
  Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry. 495-509
  
• Rex Bing Hung Kwok:
  Creating Theoretical Terms for Non-deterministic Actions. 510-521
  

Nonmonotonic Reasoning

• Grigoris Antoniou, Cara MacNish, Norman Y. Foo:
  Conservative Expansion Concepts for Default Theories. 522-533
  
• Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi:
  On Formation of Exception Hierarchy. 534-545
  
• Aditya Ghose, Randy Goebel:
  Anytime Default Inference. 546-557
  
• Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon:
  Studying Properties of Classes of Default Logics - Preliminary Report. 558-569
  

Intelligent Agents

• Itsuki Noda, Hitoshi Matsubara, Kazuo Hiraki:
  Learning Cooperative Behavior in Multi-Agent Environment - A Case Study of Choice of Play-Plans in Soccer. 570-579
  
• Seng Wai Loke, Andrew Davison, Leon Sterling:
  CIFI: An Intelligent Agent for Citation Finding on The World-wide Web. 580-591
  
• Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga:
  Automatic Making of Sokoban Problems. 592-600
  

Planning

• Lawrence Cavedon, Anand S. Rao:
  Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture. 601-612
  
• Lam-Fan Lee, Alex Chia-Yee Kean:
  An Architecture for Autonomous Flying Vehicles: A Preliminary Report. 613-624
  

Pattern Recognition

• Yoshiaki Segawa, Hiroshi Sakai, Toshio Endoh, Kazuhito Murakami, Takashi Toriu, Hiroyasu Koshimizu:
  Face Recognition through Hough Transform for Irises Extraction and Projection Procedures for Parts Localization. 625-636
  
• Tae-Woong Yoo, Il-Seok Oh:
  Extraction of Face Region and Features Based on Chromatic Properties of Human Faces. 637-645
  
• Mitsunori Matsushita, Motohide Umano, Itsuo Hatono, Hiroyuki Tamura:
  A Fast Pattern-matching Algorithm Using Matching Candidates for Production Systems. 646-656