| 1996 | Approximate validity. | Henry E. Kyburg Jr. |
| 1996 | Creating Theoretical Terms for Non-deterministic Actions. | Rex Bing Hung Kwok |
| 1996 | Validity of Normality Assumption in CSP Research. | Alvin C. M. Kwan |
| 1996 | Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry. | Tatsuhiro Konishi, Yukihiro Itoh |
| 1996 | A Qualititative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation. | Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi |
| 1996 | Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
| 1996 | A group decision and negotiation support system for argumentation based reasoning. | Nikos I. Karacapilidis, Dimitris Papadias |
| 1996 | Belief network algorithms: A study of performance based on domain characterization. | Nathalie Jitnah, Ann E. Nicholson |
| 1996 | Team Learning of Recursive Languages. | Sanjay Jain, Arun Sharma |
| 1996 | How do Autonomous Agents Solve Social Dilemmas? | Akira Ito |
| 1996 | An Inteligent Education System Which Supports Scientific Thinking: Galileo -Philosophy and Basic Architecture. | Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi |
| 1996 | Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. | Xiaorong Huang |
| 1996 | AMI: A Model of Intelligence. | Dong B. Hoang, M. R. James |
| 1996 | Combining Views on Concepts in Unsupervised Concept Learning. | Tu Bao Ho |
| 1996 | Learning stable concepts in a changing world. | Michael Bonnell Harries, Kim Horn |
| 1996 | Tableaux for Expansion and Contraction. | Roderic A. Girle |
| 1996 | The role of default representations in incremental learning. | Aditya Ghose, Srinivas Padmanabhuni, Randy Goebel |
| 1996 | Anytime Default Inference. | Aditya Ghose, Randy Goebel |
| 1996 | Extending Partial Orders for Sort Reasoning. | Andrew Fall |
| 1996 | Knowledge Decomposition: An Analysis. | John K. Debenham |
| 1996 | Evidential Temporal Representations and Reasoning. | Bingning Dai, David A. Bell, John G. Hughes |
| 1996 | High-Level Synthesis Optimization with Genetic Algorithms. | Jem Daalder, Peter W. Eklund, Kenji Ohmori |
| 1996 | An Agent-Based Architecture for Software Tool Coordination. | Stephen Cranefield, Martin K. Purvis |
| 1996 | Exten: A System for Computing Default Logic Extensions. | Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
| 1996 | Emergent Properties of Teams of Agents in the Tileworld. | Malcolm Clark, Kevin Irwig, Wayne Wobcke |