| 1996 | Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. | Marta Franov |
| 1996 | A Multi-Layer Architecture for Knowledge-Based System Synthesis. | Jutta Eusterbrock |
| 1996 | Locally Finite, Proper and Complete Operators for Refining Datalog Programs. | Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro |
| 1996 | Evolutionary Exploration of Search Spaces. | A. E. Eiben |
| 1996 | Approximate and Commonsense Reasoning: From Theory to Practice. | Didier Dubois, Henri Prade |
| 1996 | Explaining Explanation Closure. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 1996 | Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. | Frank Dignum, Hans Weigand, Egon Verharen |
| 1996 | Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts. | Rose Dieng |
| 1996 | Object and Dependency Oriented Programming in FLO. | Anne-Marie Dery, Stphane Ducasse, Mireille Blay-Fornarino |
| 1996 | Validity Queries and Completeness Queries. | Robert Demolombe |
| 1996 | On Evolving Intelligence . | Kenneth A. De Jong |
| 1996 | DLAB: A Declarative Language Bias Formalism. | Luc Dehaspe, Luc De Raedt |
| 1996 | Knowledge Simplification. | John K. Debenham |
| 1996 | Towards Programming in Default Logic. | Pawel Cholewinski |
| 1996 | A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator. | Jianhua Chen, Sukhamay Kundu |
| 1996 | An Architecture and Methodology for the Design and Development of Technical Information Systems. | R. Capobianchi, M. Mautref, Maurice van Keulen, Herman Balsters |
| 1996 | Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). | Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Sch |
| 1996 | Heterogeneous View Integration via Sketches and Equations. | Boris Cadish, Zinovy Diskin |
| 1996 | Resource-Based vs. Task-Based Approaches for Scheduling Problems. | Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani |
| 1996 | A Model-Based Approach to Consistency-Checking. | Stefan Brning, Torsten Schaub |
| 1996 | Putting Objects to Work on a Massive Scale. | Michael L. Brodie |
| 1996 | On the Handling of Imperfect Data in Relational Database Systems - From Null Values to Possibility Distributions. | Patrick Bosc, Olivier Pivert |
| 1996 | The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics. | Eric Bloedorn, Ryszard S. Michalski |
| 1996 | Inductive Database Design. | Hendrik Blockeel, Luc De Raedt |
| 1996 | Automating Proofs of Integrity Constraints in Situation Calculus. | Leopoldo E. Bertossi, Javier Pinto, Pablo Sez, Deepak Kapur, Mahadevan Subramaniam |