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. Springer 1996 Lecture Notes in Computer Science 1114 ISBN 3-540-61532-6
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
- 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
Machine Learning II
- 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
- 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
Knowledge Representation II
- Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo: Exten: A System for Computing Default Logic Extensions. 471-482
- 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
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-09T210643 by the dblp team