| 1996 | A Boolean Appraoch to Construct Neural Networks for Non-Boolean Problems. Georg Thimm, Emile Fiesler |
| 1996 | A Comparative Evaluation of a Natural Language Exploration Tool within a Hypermedia Environment. Mark A. Edwards, Heather M. Powell, Dominic Palmer-Brown |
| 1996 | A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu |
| 1996 | A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. Michael Schroeder, Iara de Almeida Móra, Luís Moniz Pereira |
| 1996 | A Distributed Algorithm Solving CSPs with a Low Communication Cost. Nicolas Prcovic |
| 1996 | A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
| 1996 | A Hypothetical Reasoning-based Framework for NL Processing. Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau |
| 1996 | A Local Approach to Reasoning with Conditional Knowledge Bases. Salem Benferhat, Laurent Garcia |
| 1996 | A New Genetic Algorithm Using Large Mutation Rates and Population-Elitist Selection (GALME). Hisashi Shimodaira |
| 1996 | A Practical Approach to Knowledge Representation and Reasoning in Relational Databases. Jie Cheng, David A. Bell, Weiru Liu |
| 1996 | A Task-Based Production Environment for Intelligent Learning/Teaching Systems: The "NGE" Kernel. C. Marie-Françoise Canut, Murielle Eloi |
| 1996 | ADHOC: a Tool for Performing Effective Feature Selection. Marco Richeldi, Pier Luca Lanzi |
| 1996 | AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs. Said Belhadji, Amar Isli |
| 1996 | Active Change Notification in Advanced Knowledge Base Servers. Martin Staudt, Matthias Jarke, Christoph Quix |
| 1996 | An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives. Michael J. Dent, Robert E. Mercer |
| 1996 | An Empirical Text Categorizing Computational Model Based on Stylistic Aspects. Stephanos E. Michos, Efstathios Stamatatos, Nikos Fakotakis, George K. Kokkinakis |
| 1996 | An Evolutionary Approach for Time Dependent Optimization. Philippe Collard, Cathy Escazut, Alessio Gaspar |
| 1996 | An Improved Critical Diagnosis Reasoning Method. Yue Xu, Chengqi Zhang |
| 1996 | Application of a Hybrid Neural Network for the Discrimination of Seeds by Artificial Vision. Younes Chtioui, Dominique Bertrand, Marie-Françoise Devaux, Dominique Barba |
| 1996 | Applying Logic Neural Networks to Hand-Written Character Recognition Tasks. George Tambouratzis |
| 1996 | Applying a Mutation-based Genetic Algorithm to Processor Configuration Problems. T. L. Lau, Edward P. K. Tsang |
| 1996 | Approximate Reasoning for Contextual Databases. Fabio Massacci |
| 1996 | Arc-Consistency in Dynamic CSPs Is No More Prohibitive. Romuald Debruyne |
| 1996 | Artificial Neurogenesis: An Application to Autonomous Robotics. Olivier Michel, Philippe Collard |
| 1996 | Assistant Agents for Creation and Management of Distributed Applications. Madeleine Girard |
| 1996 | Attribute-oriented Induction Using Domain Generalization Graphs. Howard J. Hamilton, Robert J. Hilderman, Nick Cercone |
| 1996 | Automatic Diagnoses for Properly Stratified Knowledge-Bases. Ofer Arieli, Arnon Avron |
| 1996 | Automatic Scale Selection as a Pre-Processing Stage to Interpreting Real-World Data. Tony Lindeberg |
| 1996 | Binary CSP Solving as an Inference Process. Carlos Castro |
| 1996 | COMPOzE: Intention-based Music Composition through Constraint Programming. Martin Henz, Stefan Lauer, Detlev Zimmermann |
| 1996 | Case-Based Classification Using Similarity-Based Retrieval. Igor Jurisica, Janice I. Glasgow |
| 1996 | Clustering Knowledge in Tabular Knowledge Bases. Jan Vanthienen, Elke Dries, Jeroen Keppens |
| 1996 | Comparing Arguments Using Preference Ordering for Argument-Based Reasoning. Leila Amgoud, Claudette Cayrol, Daniel Le Berre |
| 1996 | Composing Approximated Algorithms Based on Hopfield Neural Network for Building a Resource-Bounded Scheduler. Jean-Michel Gallone, François Charpillet |
| 1996 | Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. Thierry Castell |
| 1996 | Computer Generated Intelligent Companions for Distributed Virtual Environments. Mark Edwards, Eugene Santos Jr., Sheila B. Banks, Martin R. Stytz |
| 1996 | Computing Prime Implicants by Integer Programming. Clara Pizzuti |
| 1996 | Conflict Analysis in Search Algorithms for Satisfiability. João P. Marques Silva, Karem A. Sakallah |
| 1996 | Correction of Dynamic Knowledge. Christine Pierret-Golbreich |
| 1996 | Data Mining Using MLC++: A Machine Learning Library in C++. Ron Kohavi, Dan Sommerfield, James Dougherty |
| 1996 | Deduction over Mixed-Level Logic Representations. Michael Hess |
| 1996 | Development of a Pumping System Decision Support Tool Based on Artificial Intelligence. P. W. Ilott, A. J. Griffiths |
| 1996 | Dynamic Properties of Higher Order Random Neural Networks. Hiromi Miyajima, Lixin Ma, Hiroyuki Suwa |
| 1996 | Effects of Different Types of New Attribute on Constructive Induction. Zijian Zheng |
| 1996 | Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996 |
| 1996 | Enhancing Qualitative Relative Orientation with Qualitative Distance for Robot Path Planning. M. Teresa Escrig, Francisco Toledo |
| 1996 | First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding. Charles Castel, Laurent Chaudron, Catherine Tessier |
| 1996 | Forward-Tracking: A Technique for Searching Beyond Failure. Elena Marchiori, Massimo Marchiori, Joost N. Kok |
| 1996 | GATE: An Environment to Support Research and Development in Natural Language Engineering. Robert J. Gaizauskas, Hamish Cunningham, Yorick Wilks, Peter J. Rodgers, Kevin Humphreys |
| 1996 | GESIA: Uncertainty-based Reasoning for a Generic Expert Systems Intelligent User Interface. Robert A. Harrington, Sheila B. Banks, Eugene Santos Jr. |
| 1996 | Global Path Planning for Autonomous Qualitative Navigation. Nikos A. Vlassis, Nikitas M. Sgouros, G. Efthivoulidis, George K. Papakonstantinou, Panayotis Tsanakas |
| 1996 | Implementing Empirical Modeling Techniques with Recurrent Neural Networks. Thierry Catfolis, Kürt Meert |
| 1996 | Incorporating Functionalities of Expert Medical Critique Dialogues in the Design of a Graphical Interface. Michael J. Baker, Laurent Charnay, Michelle Joab, Benoît Lemaire, Brigitte Safar, Daniel Schlienger |
| 1996 | Incremental Algorithms for Managing Temporal Constraints. Alfonso Gerevini, Anna Perini, Francesco Ricci |
| 1996 | Incremental Markov-Model Planning. Richard Washington |
| 1996 | Integrating Agents and Objects to Develop Distributed AI Systems. Agostino Poggi |
| 1996 | Intelligent Text Handling Using Default Logic. Anthony Hunter |
| 1996 | Knowledge Acquisition for Classification Systems. Takao Miura, Isamu Shioya |
| 1996 | Knowledge Bases and Agents for Domain Knowledge Representation. Marie-Pierre Chouvet, Florence Le Ber |
| 1996 | Le Salon, Where Agents Meet Actors. Francis Van Aeken |
| 1996 | Merging Test and Verification for Rule Base Debugging. Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset |
| 1996 | Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. Goce Trajcevski, Jorge Lobo, Naveen Grover |
| 1996 | Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping. Alvin C. M. Kwan, Edward P. K. Tsang |
| 1996 | Named Disjunctions and Lazy Evaluation for Syntactic Ambiguities. Philippe Blache |
| 1996 | Natural Language Edit Controls: Constrained Natural Language Devices in User Interfaces. Gary Hall, Fred Popowich, Dan Fass |
| 1996 | Nestor: A Trail Blazer for Hypertexts. Yannick Marchand, Jean-Luc Guérin |
| 1996 | Neural Networks with Long-Range Feedback: Design for Stable Dynamics. Rafik Braham |
| 1996 | Nogood Recording for Valued Constraint Satisfaction Problems. Pierre Dago, Gérard Verfaillie |
| 1996 | Object-Centered Planning: Lifting Classical Planning from the Literal Level to the Object Level. Thomas Leo McCluskey, Diane E. Kitchin, J. M. Porteous |
| 1996 | On Managing Nonmonotonic Transitive Relationships. Basilis Boutsinas |
| 1996 | Opportunisitc Behavior and Its Automatic Adjustment in Dynamic Task Domains. Babak Hamidzadeh, Alireza Afshar |
| 1996 | Optimization of Neural Network Structure and Learning Parameters Using Genetic Algorithms. Seung Soo Han, Gary S. May |
| 1996 | Order in Space: A General Formalism for Spatial Reasoning. Baher A. El-Geresy, Alia I. Abdelmoty |
| 1996 | Oz Scheduler: A Workbench for Scheduling Problems. Jörg Würtz |
| 1996 | PARIS: A Parallel Inference System. Sanda M. Harabagiu, Dan I. Moldovan |
| 1996 | Perceptrons with Polynomial Post-Processing. Louis Sanzogni, Richard F. Bonner, Ringo Chan |
| 1996 | Reasonable Conclusions in Fuzzy Reasoning. Beatrice Lazzerini, Francesco Marcelloni |
| 1996 | Recognizing a Scenario by Calculating a Temporal Proximity Index between Constraint Graphs. Nicolas Ramaux, Dominique Fontaine |
| 1996 | Refinements in Training Schemes for the Coulomb Energy Network. John F. Vassilopoulos, Cris Koutsougeras |
| 1996 | Resolution Strategies for Focusing a Reason Maintenance System. Rachid Yacoub, Michel Dumas, Gilles Arnaud |
| 1996 | Strategy of Perception and Temporal Representation of Beliefs. Patrick Fabiani |
| 1996 | Subdefinite Models as a Variety of Constraint Programming. Vitaly Telerman, Dmitry Ushakov |
| 1996 | TASK: From the Specification to the Implementation. Xavier Talon, Christine Pierret-Golbreich |
| 1996 | Two New Donstraint Propagation Algorithms Requiring Small Space Complexity. Assef Chmeiss, Philippe Jégou |
| 1996 | Use of Expertise Ontologies in the Knowledge Engineering Process. Chantal Reynaud, Françoise Tort |