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

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

Last update Fri May 24 19:43:57 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page