| 1995 | Formalizing Local Propagation in Constraint Maintenance Systems. | Gilles Trombettoni |
| 1995 | A Contolled Experiment: Evolution for Learning Difficult Image Classification. | Astro Teller, Manuela M. Veloso |
| 1995 | Multilevel Refinement Planning in an Interval-Based Temporal Logic. | Werner Stephan, Susanne Biundo |
| 1995 | Terminological Meta-Reasoning by Reification and Multiple Contexts. | Klemens Schnattinger, Udo Hahn, Manfred Klenner |
| 1995 | Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics. | Jaques Reifman, Thomas Y. C. Wei |
| 1995 | Integrated Process Supervision: A Structured Approach to Expert Control. | Hiok Chai Quek, P. W. Ng, Michel Pasquier |
| 1995 | A New Continuous Propositional Logic. | Riccardo Poli, Mark Ryan, Aaron Sloman |
| 1995 | Qualitative Reasoning Under Uncertainty. | Daniel Pacholczyk |
| 1995 | A Preference Semantics for Ground Nonmonotonic Modal Logics. | Daniele Nardi, Riccardo Rosati |
| 1995 | Modelling Diagnosis Systems with the Logic Programming. | Iara de Almeida Mra, Jos Jlio Alferes |
| 1995 | Constructing Extensions by Resolving a System of Linear Equations. | Nadia Messaoudi |
| 1995 | Theorem Proving by Analogy - A Compelling Example. | Erica Melis |
| 1995 | Minimal Model Complexity Search. | Chris McConnell |
| 1995 | Parsimonious Diagnosis in SNePS. | Pedro A. de Matos, Joo P. Martins |
| 1995 | Using Stochastic Grammars to Learn Robotic Tasks. | Pedro U. Lima, George N. Saridis |
| 1995 | A Dependency Parser of Korean Based on Connectionist/ Symbolic Techniques. | Jong-Hyeok Lee, Gary Geunbae Lee |
| 1995 | GA Approach to Solving Multiple Vehicle Routing Problem. | Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac |
| 1995 | Interlocking Multi-Agent and Blackboard Architectures. | Bernhard Kipper |
| 1995 | Planning Under Uncertainty: A Qualitative Approach. | Nikos I. Karacapilidis |
| 1995 | Where Do Intensions Come from?: A Framework for Goals and Intensions Adoption, Derivation and Evolution. | Graa Gaspar, Helder Coelho |
| 1995 | Characterization of Classification Algorithms. | Joo Gama, Pavel Brazdil |
| 1995 | Promoting Software Reuse Through Explicit Knowledge Representations. | Carmen Fernndez-Chamizo, Pedro A. Gonzlez-Calero, Mercedes Gmez-Albarrn |
| 1995 | Super-Polynomial Speed-Ups in Proof Length by New Tautologies. | Uwe Egly |
| 1995 | A New Representation of JTMS. | Truong Quoc Dung |
| 1995 | Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic. | Ho Ngoc Duc |