| 1996 | A Fast Pattern-matching Algorithm Using Matching Candidates for Production Systems. Mitsunori Matsushita, Motohide Umano, Itsuo Hatono, Hiroyuki Tamura |
| 1996 | A Framework for Reasoning about Requirements Evolution. Didar Zowghi, Aditya Ghose, Pavlos Peppas |
| 1996 | A History-Oriented Envisioning Method. Takashi Washio, Hiroshi Motoda |
| 1996 | A Logic for Concurrent Events and Action Failure. David N. Morley, Liz Sonenberg |
| 1996 | A Qualititative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation. Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi |
| 1996 | A Unified Algebraic Structure for Uncertain Reasoning. Xudong Luo, Chengqi Zhang |
| 1996 | A Unified Approach to Handling Uncertainty during Cooperative Consultations. Bhavani Raskutti, Ingrid Zukerman |
| 1996 | AMI: A Model of Intelligence. Dong B. Hoang, M. R. James |
| 1996 | Acquiring User Preferences for Information Filtering in Interactive Multi-Media Services. Bhavani Raskutti, Anthony Beitz |
| 1996 | Adaptive SEJONG-NET for On-line Hangul Recognition. Hyeyoung Park, Kwanyong Lee, Yillbyung Lee |
| 1996 | An Application of Hierarchical Knowledge Integration in Hand-Written Form Processing. Fon-Lin Lai, Joo-Hwee Lim, Liya Ding, Ah-Hwee Tan, Ho-Chung Lui |
| 1996 | An Architecture for Autonomous Flying Vehicles: A Preliminary Report. Lam-Fan Lee, Alex Chia-Yee Kean |
| 1996 | An Improved Generic Arc Consistency Algorithm and Its Specializations. Bing Liu |
| 1996 | An Inteligent Education System Which Supports Scientific Thinking: Galileo -Philosophy and Basic Architecture. Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi |
| 1996 | An Update Procedure for A Probabilistic Deductive Database. Angelo C. Restificar |
| 1996 | Anytime Default Inference. Aditya Ghose, Randy Goebel |
| 1996 | Automatic Making of Sokoban Problems. Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga |
| 1996 | Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture. Lawrence Cavedon, Anand S. Rao |
| 1996 | CIFI: An Intelligent Agent for Citation Finding on The World-wide Web. Seng Wai Loke, Andrew Davison, Leon Sterling |
| 1996 | Combining Views on Concepts in Unsupervised Concept Learning. Tu Bao Ho |
| 1996 | Conservative Expansion Concepts for Default Theories. Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
| 1996 | Cost-Sensitive Specialization. Geoffrey I. Webb |
| 1996 | Creating Theoretical Terms for Non-deterministic Actions. Rex Bing Hung Kwok |
| 1996 | Declarative Program Theory with Implicit Information. Vilas Wuwongse, Ekawit Nantajeewarawat |
| 1996 | Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry. Tatsuhiro Konishi, Yukihiro Itoh |
| 1996 | Efficient Multiple Predicate Learner Based on Fast Failure Mechanism. Xiaolong Zhang, Masayuki Numao |
| 1996 | Evidential Temporal Representations and Reasoning. Bingning Dai, David A. Bell, John G. Hughes |
| 1996 | Exten: A System for Computing Default Logic Extensions. Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
| 1996 | Extending Partial Orders for Sort Reasoning. Andrew Fall |
| 1996 | Extraction of Face Region and Features Based on Chromatic Properties of Human Faces. Tae-Woong Yoo, Il-Seok Oh |
| 1996 | Face Recognition through Hough Transform for Irises Extraction and Projection Procedures for Parts Localization. Yoshiaki Segawa, Hiroshi Sakai, Toshio Endoh, Kazuhito Murakami, Takashi Toriu, Hiroyasu Koshimizu |
| 1996 | Fall Diagnosis using Dynamic Belief Networks. Ann E. Nicholson |
| 1996 | General Framework for Mechanizing Induction using Test Set. Adel Bouhoula |
| 1996 | High-Level Synthesis Optimization with Genetic Algorithms. Jem Daalder, Peter W. Eklund, Kenji Ohmori |
| 1996 | Inductive Equational Reasoning. Michael Bulmer |
| 1996 | Knowledge Decomposition: An Analysis. John K. Debenham |
| 1996 | Learning Cooperative Behavior in Multi-Agent Environment - A Case Study of Choice of Play-Plans in Soccer. Itsuki Noda, Hitoshi Matsubara, Kazuo Hiraki |
| 1996 | Learning Simple Recursive Concepts by Discovering Missing Examples. Chowdhury Rahman Mofizur, Masayuki Numao |
| 1996 | Lexical Access using Minimum Message Length Encoding. Ian E. Thomas, Ingrid Zukerman, Jonathan J. Oliver, Bhavani Raskutti |
| 1996 | Modeling Commonsense Rules in an Inference Network. Boon Toh Low |
| 1996 | On Formation of Exception Hierarchy. Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
| 1996 | On Semantic Resolution with Lemmaizing and Contraction. Maria Paola Bonacina, Jieh Hsiang |
| 1996 | PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings Norman Y. Foo, Randy Goebel |
| 1996 | Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. Shohei Kato, Hirohisa Seki, Hidenori Itoh |
| 1996 | Remembrance of Discourse Based on Textual Continuity: A Spreading Activation Network. Samuel W. K. Chan, James Franklin |
| 1996 | Studying Properties of Classes of Default Logics - Preliminary Report. Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon |
| 1996 | Symbol Processing by Non-Symbol Processor. Setsuo Ohsuga |
| 1996 | Tableaux for Expansion and Contraction. Roderic A. Girle |
| 1996 | Team Learning of Recursive Languages. Sanjay Jain, Arun Sharma |
| 1996 | The Complexity of Batch Approaches to Reduced Error Rule Set Induction. R. Mike Cameron-Jones |
| 1996 | The Concept Classification of a Terminology Extended by Conjunction and Disjunction. Gerd Stumme |
| 1996 | The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications. Ming Zhao, Christopher Leckie |
| 1996 | Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. Xiaorong Huang |
| 1996 | Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. Stuart Melville, Geoff Sutcliffe, David Fraser |
| 1996 | Using Neural Nets to Investigate Lexical Access. Malti Patel |
| 1996 | Validity of Normality Assumption in CSP Research. Alvin C. M. Kwan |