4. PRICAI 1996: Cairns, Australia

Norman Y. Foo, Randy Goebel (Eds.): PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1114 Springer 1996, ISBN 3-540-61532-6 BibTeX

@proceedings{DBLP:conf/pricai/1996,
  editor    = {Norman Y. Foo and
               Randy Goebel},
  title     = {PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim
               International Conference on Artificial Intelligence, Cairns,
               Australia, August 26-30, 1996, Proceedings},
  booktitle = {PRICAI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1114},
  year      = {1996},
  isbn      = {3-540-61532-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Machine Learning I

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

Interactive Systems

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

Knowledge Representation I

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

Reasoning about Change

Angelo C. Restificar: An Update Procedure for A Probabilistic Deductive Database. 144-156 BibTeX
Didar Zowghi, Aditya Ghose, Pavlos Peppas: A Framework for Reasoning about Requirements Evolution. 157-168 BibTeX
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 BibTeX

Neural Nets and Uncertainty I

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

Natural Language

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

Constraint Satisfaction and Optimization

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

Qualitative Reasoning

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

Machine Learning II

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

Automated Reasoning

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

Neural Nets and Uncertainty II

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

Knowledge Representation II

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

Nonmonotonic Reasoning

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

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 BibTeX
Seng Wai Loke, Andrew Davison, Leon Sterling: CIFI: An Intelligent Agent for Citation Finding on The World-wide Web. 580-591 BibTeX
Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga: Automatic Making of Sokoban Problems. 592-600 BibTeX

Planning

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

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 BibTeX
Tae-Woong Yoo, Il-Seok Oh: Extraction of Face Region and Features Based on Chromatic Properties of Human Faces. 637-645 BibTeX
Mitsunori Matsushita, Motohide Umano, Itsuo Hatono, Hiroyuki Tamura: A Fast Pattern-matching Algorithm Using Matching Candidates for Production Systems. 646-656 BibTeX