| 1995 | Probabilistic Satisfiability and Decomposition. | Guy-Blaise Douanya Nguets, Pierre Hansen, Brigitte Jaumard |
| 1995 | A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle. | Jrme Mengin |
| 1995 | Uncertain Reasoning in Concept Lattices. | Thomas Lukasiewicz |
| 1995 | Lemma Handling in Default Logic Theorem Provers. | Thomas Linke, Torsten Schaub |
| 1995 | The Dynamics of Default Reasoning (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | An Axiomatic Approach to Extensional Probability Measures. | Ivan Kramosil |
| 1995 | Model-Based Diagnostics Using Hints. | Jrg Kohlas, Paul-Andr Monney, Rolf Haenni, Norbert Lehmann |
| 1995 | Bayesian Approximation and Invariance of Bayesian Belief Functions. | A. V. Joshi, S. C. Sahasrabudhe, K. Shankar |
| 1995 | Sensitivity Analysis in Bayesian Networks. | Finn Verner Jensen, Sren H. Aldenryd, Klaus B. Jensen |
| 1995 | Using Default Logic in Information Retrieval. | Anthony Hunter |
| 1995 | On the Formalism of Stochastic Logic. | Silviu Guiasu |
| 1995 | Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. | Sabine Glesner, Daphne Koller |
| 1995 | Specificity by Default. | P. Geerts, Dirk Vermeir |
| 1995 | A Bayesian Network Based Learning System: Architecture and Performance Comparison with Other Models. | Kazuo J. Ezawa, Til Schuermann |
| 1995 | Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). | Joeri Engelfriet, Heinrich Herre, Jan Treur |
| 1995 | Epistemic Approach to Actions with Typical Effects. | Barbara Dunin-Keplicz, Anna Radzikowska |
| 1995 | Update Postulates without Inertia. | Didier Dubois, Florence Dupin de Saint-Cyr, Henri Prade |
| 1995 | Similarity-based Consequence Relations. | Didier Dubois, Francesc Esteva, Pere Garcia, Llus Godo, Henri Prade |
| 1995 | Prioritized Transitions for Updates. | Marie-Odile Cordier, Pierre Siegel |
| 1995 | Linking Transition-based Update and Base Revision. | Marie-Odile Cordier, Jrme Lang |
| 1995 | Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. | Laurence Cholvy |
| 1995 | Local Mbius Transforms on Monotone Capacities. | Alain Chateauneuf, Jean-Yves Jaffray |
| 1995 | Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations. | Claudette Cayrol, Marie-Christine Lagasquie-Schiex |
| 1995 | From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation. | Claudette Cayrol |
| 1995 | Parametric Structure of Probabilities in Bayesian Networks. | Enrique F. Castillo, Jos Manuel Gutirrez, Ali S. Hadi |