| 1996 | 'Royal-Road' Landscapes for a Dual Genetic Algorithm. Philippe Collard, Alessio Gaspar |
| 1996 | 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings Wolfgang Wahlster |
| 1996 | A Case Study in Reasoning about Actions and Continuous Change. Rob Miller |
| 1996 | A Complete Method for Program Specialization Based on Unfolding. Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
| 1996 | A Conceptual Reasoning Approach to Textual Ellipsis. Udo Hahn, Katja Markert, Michael Strube |
| 1996 | A Formal and Computational Characterization of Pragmatic Infelicities. Daniel Marcu, Graeme Hirst |
| 1996 | A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. Angelo Montanari, Luca Chittaro, Iliano Cervesato |
| 1996 | A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. Philippe Besnard, Yao-Hua Tan |
| 1996 | A Model-based Reasoning Approach to Circumscription. Peter Fröhlich, Wolfgang Nejdl |
| 1996 | A New Algorithm For Generating Referential Descriptions. Helmut Horacek |
| 1996 | A Resolution Calculus for Presuppositions. Manfred Kerber, Michael Kohlhase |
| 1996 | A Study on the Logic of Abduction. Marta Cialdea Mayer, Fiora Pirri |
| 1996 | A Unified Architechture for Knowledge Representation Based on Description Logics. Liviu Badea |
| 1996 | A Video Indexing Method using Natural Language Memo for TV Program Production. Yeun-Bae Kim, Masahiro Shibata |
| 1996 | Abstract Goals in Multi-Agent Systems. Hans-Dieter Burkhard |
| 1996 | Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring. Andrew Csinger, David Poole |
| 1996 | Adaptive Constraint Satisfaction: The Quickest First Principle. James E. Borrett, Edward P. K. Tsang, Natasha R. Walsh |
| 1996 | Altruistic Cooporation Between Self-Interested Agents. Sviatoslav B. Brainov |
| 1996 | An Almost Quadratic Class of Satisfiability Problems. Mukesh Dalal |
| 1996 | An Architecture for Modeling and Validation. Application to Mobile Robotics. Luc Yriarte, Pascal Deplanques, Jean Sallantin, Philippe Reitz, René Zapata, B. Burg, Francois Arlabosse |
| 1996 | Analogical Representations for Mechanism Synthesis. Patrick Olivier, K. Nakata, M. Landon, A. McManus |
| 1996 | Anaphora in a Wider Context: Tracking Discourse Referents. Christopher Kennedy, Branimir Boguraev |
| 1996 | Answers Synthesis for CLP with Negation. Gilles Richard, Frédéric Saubion |
| 1996 | Applying Fuzzy Logic for Multisensor Data Fusion. Fano Ramparany, M. F. Collin |
| 1996 | Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering V. Richard Benjamins, Dieter Fensel, Remco Straatman |
| 1996 | BDBIDA: A New Approach for Space-limited Bidirectional Heuristic Graph Search. Jürgen Eckerle |
| 1996 | Backjumping in State-Space Search. Roland Steiner, Hermann Kaindl, Gerhard Kainz |
| 1996 | Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic Analysis. Salem Benferhat, Didier Dubois, Henri Prade |
| 1996 | Building and Reusing Ontologies for Electrical Network Applications. Amaia Bernaras, Iñaki Laresgoiti, Jose Manuel Corera |
| 1996 | CARIN: A Representation Language Combining Horn Rules and Description Logics. Alon Y. Levy, Marie-Christine Rousset |
| 1996 | CEC: Comparative Analysis by Envisionment Construction. Hidde de Jong, Nicolaas J. I. Mars, Paul E. van der Vet |
| 1996 | Case-Based Representability of Classes of Boolean Functions. Christoph Globig, Steffen Lange |
| 1996 | Causal Probabilistic Networks for Dynamic Modeling. Riccardo Bellazzi |
| 1996 | Circumscription by Inference Rules with Priority. Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
| 1996 | Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling Language. Olivier Corby, Rose Dieng |
| 1996 | Common Sense Reasoning: Experiments and Implementation. Nathalie Chaignaud, F. Levy |
| 1996 | Commonsense Reasoning. Luigia Carlucci Aiello |
| 1996 | Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory. Jérôme Lang |
| 1996 | Constraint Propagation Techniques for Disjunctive Scheduling: The Preemptive Case. Claude Le Pape, Philippe Baptiste |
| 1996 | Constraint Propagation in a Cooperative Approach for Multimodal Presentation Planning. Yi Han, Ingrid Zukerman |
| 1996 | Context in Discrete Constraint Satisfaction Problems. Rainer Weigel, Boi Faltings, Berthe Y. Choueiry |
| 1996 | Controlling Distributed Manufacturing Systems by a Market Mechanism. Tamás Kis, József Váncza, András Márkus |
| 1996 | Controlling Functional Uncertainty. Rolf Backofen |
| 1996 | Cooperative Goal-satisfaction without Communication in Large-scale Agent-Systems. Onn Shehory, Sarit Kraus |
| 1996 | Counterfactual Exceptions in Deductive Database Queries. Troels Andreasen, Henning Christiansen |
| 1996 | Customized Plans Transmitted by Flexible Refinement. Dietmar Dengler |
| 1996 | DEDAL: a DEDuctive and ALgorithmic planning system. Cyril Pain-Barre |
| 1996 | Davis and Putnam were Already Checking Forward. Richard Génisson, Philippe Jégou |
| 1996 | Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to Planning. Thierry Vidal, Malik Ghallab |
| 1996 | Definitional Constraints. Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco |
| 1996 | Description Logics with Symbolic Number Restrictions. Franz Baader, Ulrike Sattler |
| 1996 | Diagnosis with Cascading Defects. M. Tatar |
| 1996 | Digging for Peace: Using Machine Learning Methods for Assessing International Conflict Databases. Robert Trappl, Johannes Fürnkranz, Johann Petrak |
| 1996 | Distributed Specification. David Stuart Robertson |
| 1996 | Dynamics of Beliefs and Strategy of Perception. Patrick Fabiani |
| 1996 | Efficient Implementation of a Semantic-based Transfer Approach. Michael Dorna, Martin C. Emele |
| 1996 | Emergent Co-ordination of Flow Control Actions through Functional Co-operation of Social Agents. Sascha Ossowski, Ana García-Serrano, José Cuena |
| 1996 | Experiences in Modelling Statistical Process Control Knowledge. Norbert Glaser, Marie-Christine Haton |
| 1996 | Explanation-Based Generalization for Negation as Failure and Multiple Examples. Stefan Schrödl |
| 1996 | Extended Probability. Nic Wilson |
| 1996 | Fast Markov Chain Algorithms for Calculating Dempster-Shafer Belief. Nic Wilson, Serafín Moral |
| 1996 | Fitness Distance Correlation in a Dual Genetic Algorithm. Philippe Collard, Cathy Escazut |
| 1996 | Getting Robots to Know Exactly What They Are Doing. Erik Sandewall |
| 1996 | Global Consistency in Interval Algebra Networks: Tractable Subclasses. Christian Bessière, Amar Isli, Gerard Ligozat |
| 1996 | Hopfield Neural Network for Scheduling Non Pre-emptive Tasks. Jean-Michel Gallone, François Charpillet |
| 1996 | Human and Machine Collaboration in Creative Design. Pearl Pu, Denis Lalanne |
| 1996 | Implementing Circumscription Using a Tableau Method. Ilkka Niemelä |
| 1996 | Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Zoltán Alexin, Tibor Gyimóthy, Henrik Boström |
| 1996 | Intelligent Route Finding: Combining Knowledge and Cases and an Efficient Search Algorithm. Bing Liu |
| 1996 | Interactive Multi modal Explanations and their Temporal Coordination. Tsuneaki Kato, Yukiko I. Nakano, H. Nakajima, Takaaki Hasegawa |
| 1996 | Intertranslating Counterfactuals and Updates. Mark Ryan, Pierre-Yves Schobbens |
| 1996 | Jobshop Scheduling in a Shipyard. Thomas R. Stidsen, L. V. Kragelund, O. Mateescu |
| 1996 | Justification of Plan Recognition Results. M. Bauer |
| 1996 | KBS Validation: A Knowledge Acquisition Perspective. Corinne Haouche, Jean Charlet |
| 1996 | Knowledge Oriented Application Development: Lessons Learnt from Real-Time Decision Support Systems. José Cuena |
| 1996 | Knowledge Oriented Design of an Application for Real Time Traffic Management: The TRYS System. José Cuena, Josefa Z. Hernández, Martín Molina |
| 1996 | Knowledge-Based Dialog Structuring for Graphics Interaction. Ralf Möller |
| 1996 | Knowledged-based Support for 3D Object Reconstruction. Wolfram Willuhn, Frank Ade |
| 1996 | Lazy Propagation in Case Retrieval Nets. Mario Lenz, Hans-Dieter Burkhard |
| 1996 | Lean Modeling : The Intelligent Use of Geometrical Abstraction in 3D Animations. Andreas Butz, Antonio Krüger |
| 1996 | Learning From Conditionals: Judy Benjamin's Other Problems. Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas |
| 1996 | MIDE: A Model-Based and Incremental Knowledge Acquisition Methodology. Sophie Billet-Coat |
| 1996 | MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. Dieter Fensel, Rix Groenboom |
| 1996 | MP: An Efficient Method for Calculating the Minimum Herbrand Model of Chain Datalog Programs. Anke D. Rieger |
| 1996 | Model-Based Diagnosis of Hardware Designs. Gerhard Friedrich, Markus Stumptner, Franz Wotawa |
| 1996 | Modeling Collaboration for Human-Computer Communication. Barbara J. Grosz |
| 1996 | Modeling Planning Domains Systematically. Susanne Biundo, Werner Stephan |
| 1996 | Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. Marie-Christine Rousset, Pascale Hors |
| 1996 | Modelling Interaction with Experts: The Role of a Shared Task Model. Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards |
| 1996 | Multi-Agent Integration of Information Gathering and Decision Support. Katia P. Sycara, Daniel Dajun Zeng |
| 1996 | Normative and Epistemic Aspects in Causality. Aïcha Mokhtari, Daniel Kayser |
| 1996 | On the Practicality of Abductive Validation. Tim Menzies |
| 1996 | On the Role of Topology for Neural Network Interpretation. Jürgen Rahmel |
| 1996 | On the Usefulness of Re-using Diagnostic Solutions. Luigi Portinale, Pietro Torasso |
| 1996 | On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines. Oskar Dressler |
| 1996 | Optimizing the Presentation of Modal Natural Deduction Proofs. Erika F. de Lima, Christoph Lingenfelder |
| 1996 | PMA Epistemic Entrenchments: The General Case. Pavlos Peppas |
| 1996 | Phase Transition in MAX-CSP. Javier Larrosa, Pedro Meseguer |
| 1996 | Phase Transitions and Annealed Theories: Number Partitioning as a Case Study. Ian P. Gent, Toby Walsh |
| 1996 | Predicting Phase Transitions of Binary CSPs with Constraint Graph Information. Alvin C. M. Kwan, Edward P. K. Tsang, James E. Borrett |
| 1996 | Probabilistic Analysis of Local Search on Random Instances of Constraint Satisfaction. Hoong Chuin Lau |
| 1996 | Problem Solving in Interactive Proof: A Knowledge-Modelling Approach. J. Stuart Aitken |
| 1996 | Prolog Technology for Default Reasoning (An Abridged Report). Torsten Schaub, Stefan Brüning |
| 1996 | Qualitative Autonomous Navigation for Wheelchair Robots. Nikitas M. Sgouros, Panayotis Tsanakas, George K. Papakonstantinou, Nikos I. Katevas |
| 1996 | Qualitative Spatial Orientation with Constraint Handling Rules. M. Teresa Escrig, Francisco Toledo |
| 1996 | Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. Diego Calvanese |
| 1996 | Reasoning with Misperception in the Features and Fluents Framework. Silvia Coradeschi |
| 1996 | Reinforcement Learning for a Real Robot in a Real Environment. Tomohiro Yamaguchi, Motohmi Masubuchi, Yasuhiro Tanaka, Masahiko Yachida |
| 1996 | Relational Learning with Decision Trees. Peter Geibel, Fritz Wysotzki |
| 1996 | Representing Autoepistemic Introspection in Terms of Default Rules. Tomi Janhunen |
| 1996 | Revision vs. Update: Taking a Closer Look. Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko |
| 1996 | Robotics and the Common Sense Informatic Situation. Murray Shanahan |
| 1996 | Rule Induction Without Decision Tree Construction. Xindong Wu, David Urpani, James A. Sykes |
| 1996 | Safety Logics II: Normative Safety. J. Bell, Z. Huang |
| 1996 | Scheduling Sport Tournaments using Constraint Logic Programming. Andrea Schaerf |
| 1996 | Search in a Learnable Spoken Language Parser. Finn Dag Buø, Alex Waibel |
| 1996 | Semantics for Default Logic based on Specific Branching Time Models. Joeri Engelfriet, Jan Treur |
| 1996 | Semantics of an Anytime Family of Reasoners. Mukesh Dalal |
| 1996 | Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class. Bernhard Nebel |
| 1996 | Stochastically Guided Disjunctive Version Space Learning. Nikolay I. Nikolaev, Evgueni N. Smirnov |
| 1996 | Symbiotic Coevolution for Epistatic Problems. Jan Paredis |
| 1996 | Taking Dimension Seriously in Qualitative Spatial Reasoning. Antony Galton |
| 1996 | Temporal Reasoning with Abductive Logic Programming. Renwei Li, Luís Moniz Pereira |
| 1996 | Temporal and Resource Reasoning in Planning: the parcPLAN approach. A. El-Kholy, B. Richards |
| 1996 | The Expressive Power of Tractable Disjunction. Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker |
| 1996 | The Phase Transition Behaviour of Maintaining Arc Consistency. Stuart A. Grant, Barbara M. Smith |
| 1996 | The Satisfiability Problem Regarded as a Constraint Satisfaction Problem. Hachemi Bennaceur |
| 1996 | Towards a Case-Based Model for Creative Processes. Paulo Gomes, Carlos Bento, Pedro Gago, Ernesto Costa |
| 1996 | Towards a Methodology for Case Adaptation. Angi Voß |
| 1996 | Towards an Ontology Dealing with Periodic Events. Paolo Terenziani |
| 1996 | Translating Case-Based Reasoning into Abductive Logic Programming. Ken Satoh |
| 1996 | Understanding Autonomous Interaction. Mark d'Inverno, Michael Luck |
| 1996 | Using Argument Graphs to Generate Arguments. Richard McConachy, Ingrid Zukerman |
| 1996 | Using Classification in Case-Based Planning. Jean Lieber, Amedeo Napoli |
| 1996 | Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems. Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret |
| 1996 | Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre |
| 1996 | Well Behaved and Multiple Belief Revision. Pavlos Peppas |
| 1996 | What Is It That Makes It a Horowitz? Empirical Musicology via Machine Learning. Gerhard Widmer |