| 1994 | A Case-Based Reasoning System Using a Control Case-Base. Isabelle Bichindaritz |
| 1994 | A Constructivist View on Knowledge Engineering. Walter Van de Velde |
| 1994 | A Context-Sensitive Discretization of Numeric Attributes for Classification Learning. Changhwan Lee, Dong-Guk Shin |
| 1994 | A Decomposition Heuristic for Resource Allocation. Berthe Y. Choueiry, Boi Faltings |
| 1994 | A Formal Model for the Dynamics of Compositional Reasoning Systems. Ioa Gavrila, Jan Treur |
| 1994 | A Framework for Teaching Qualitative Models. Kees de Koning, Bert Bredeweg |
| 1994 | A Framework to improve Knowledge Acquisition based on Machine Learning. André Le Grand, Jean Sallantin |
| 1994 | A High Performance Scheduler for an Automated Chemistry Workstation. Robert J. Aarts, Stephen F. Smith |
| 1994 | A Knowledge-Based Decision Support System for Selection Psychologists. Irene S. Y. Koh, Michael S. H. Heng |
| 1994 | A Learner Model Reason Maintenance System. Ana Paiva, John A. Self |
| 1994 | A Logical Foundation for Verification. Jan Treur, Mark Willems |
| 1994 | A Logical View of Probability. Nic Wilson, Serafín Moral |
| 1994 | A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems. Patrick Fabiani |
| 1994 | A New Approach to Shading Flow Analysis and Surface Recovery from Images. Franco Callari, Pietro Storniolo |
| 1994 | A New Formal Model of Belief. Daniel Mack |
| 1994 | A New Population-Based Method for Satisfiability Problems. Jin-Kao Hao, Raphaël Dorne |
| 1994 | A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems. Hsiao-Lan Fang, Peter Ross, David Corne |
| 1994 | A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. Gerhard Brewka |
| 1994 | A Social Reasoning Mechanism Based On Dependence Networks. Jaime Simão Sichman, Rosaria Conte, Cristiano Castelfranchi, Yves Demazeau |
| 1994 | A Top Down Proof Procedure for Default Logic by Using Abduction. Ken Satoh |
| 1994 | AI and A-Life: Never Mind The Blocksworld. Dave Cliff |
| 1994 | Abduction and Concurrent Logic Languages. Christian Codognet, Philippe Codognet |
| 1994 | Abduction and Uncertainty in Compositional Reasoning. Bob Goedhart |
| 1994 | Acquisition of Information to Determine a User's Plan. Bhavani Raskutti, Ingrid Zukerman |
| 1994 | Active Vision: A Survey. Henrik I. Christensen, Erik Granum |
| 1994 | Advantages of Using Prototypes in a Multi-Layer Perceptron and Comparison to Other Neural Networks. Khaled Khan |
| 1994 | Alopex Network Algorithm Applied to Predict Gas Usage. Alexei N. Skurikhin, Alvin J. Surkan |
| 1994 | An Adaptive Deductive Planning System. Dietmar Dengler |
| 1994 | An All-Pay Auction Approach to Reallocation. Jacques H. J. Lenting, Peter J. Braspenning |
| 1994 | An Efficient Data Structure for Bidirectional Heuristic Search. Jürgen Eckerle, Thomas Ottmann |
| 1994 | Applying Co-Evolution to the Construction of Neural Networks. Steve G. Romaniuk |
| 1994 | Attentional Scanning. Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson |
| 1994 | Base Revision Operations and Schemes: Semantics, Representation and Complexity. Bernhard Nebel |
| 1994 | Being Concise versus Being Shallow: Two Competing Discourse Planning Paradigms. Ingrid Zukerman, Richard McConachy |
| 1994 | Belief Revision in Multi-Agent Systems. Benedita Malheiro, Nicholas R. Jennings, Eugénio Oliveira |
| 1994 | Beliefs in Multi-Agent Worlds: a Terminological Logics Approach. Armin Laux |
| 1994 | Binary Constraint Satisfaction Problems: Some are Harder than Others. Patrick Prosser |
| 1994 | Categorical Tools for Artificial Perception. Zippora Arzi-Gonczarowski, Daniel Lehmann |
| 1994 | Causation, Action and Counterfactuals. Judea Pearl |
| 1994 | Classification of Traffic Situations by Using Neural Networks. Heribert Kirschfink, Hubert Rehborn |
| 1994 | Coherent Social Action. Michael J. Wooldridge |
| 1994 | Coloured Rippling: An Extension of a Theorem Proving Heuristic. Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin |
| 1994 | Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective. Robert Rodosek |
| 1994 | Combining Robustness and Flexibility in Learning Drifting Concepts. Gerhard Widmer |
| 1994 | Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. Mugur M. Tatar |
| 1994 | Computational Models of Multimodal Communication. Wolfgang Wahlster |
| 1994 | Computers and Creative Thought. Ernest A. Edmonds |
| 1994 | Computing Minimal Diagnoses with Critical Set Algorithms. Igor Mozetic |
| 1994 | Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | Concept Logics with Function Symbols. Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux |
| 1994 | Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems. Manfred Klenner, Udo Hahn |
| 1994 | Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling. W. P. M. Nuijten, Emile H. L. Aarts |
| 1994 | Context-Sensitive Data Validation and Data Abstraction for Knowledge-Based Monitoring. Silvia Miksch, Werner Horn, Christian Popow, Franz Paky |
| 1994 | Contradicting Conventional Wisdom in Constraint Satisfaction. Daniel Sabin, Eugene C. Freuder |
| 1994 | Correct Modification of Complex Plans. Jana Koehler |
| 1994 | Current and Future Trends for Community Research and Development in Artificial intelligence. Patrick Corsi |
| 1994 | DGA: An Efficient Genetic Algorithm. Philippe Collard, Jean-Philippe Aurand |
| 1994 | DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System. Marc Porcheron, Benoît Ricard, Jean Luc Busquet, Patrice Parent |
| 1994 | DICK: Distributed Inference on Compiled Knowledge for Real Time Distributed Systems. Eric Dekneuvel, Malik Ghallab, Herve Philippe |
| 1994 | Deviation-Proof Plans in Open Multiagent Environments. Sviatoslav B. Brainov |
| 1994 | Domain-Specific Complexity Tradeoffs. Bart Selman |
| 1994 | Emergent Behaviour in a Multi-Agent Economic Situation. Paul E. Kearney, Arvindra Sehmi, Robert M. Smith |
| 1994 | Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory. Vincent Cadoret |
| 1994 | Equilibrium Analysis of Behavior Systems. Luc Steels |
| 1994 | Executing Parallel Plans Faster by Adding Actions. Christer Bäckström |
| 1994 | Explanation and Theory Base Transmutations. Mary-Anne Williams |
| 1994 | Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems. Achim G. Hoffmann |
| 1994 | Exploration in Design Space. Aaron Sloman |
| 1994 | Expressing Independence in a Possibilistic Framework and its Application to Default Reasoning. Salem Benferhat, Didier Dubois, Henri Prade |
| 1994 | FAITH in Process Control Expert Systems. Kai Finke, Matthias Jarke, Peter Szczurko, Roland Soltysiak |
| 1994 | FRAMER: A Persistent Portable Representation Library. Kenneth B. Haase |
| 1994 | Forward Inferences in Text Generation. Stephan Mehl |
| 1994 | GSAT versus Simulated Annealing. Antje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss |
| 1994 | Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier. Vibhu O. Mittal, Cécile Paris |
| 1994 | Genetic Algorithms for Air Traffic Assignment. Daniel Delahaye, Jean-Marc Alliot, Marc Schoenauer, Jean-Loup Farges |
| 1994 | Global Consistency for Continuous Constraints. Djamila Haroud, Boi Faltings |
| 1994 | Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems. Wolfgang Nejdl, Johann Gamper |
| 1994 | How to Avoid Explaining Obvious Things (Without Omitting Central Information) Helmut Horacek |
| 1994 | Hybrid Temporal Reasoning. Jürgen Dorn |
| 1994 | Hypothetical Reasoning for Automatic Recognition of Continuous Speech. Sylvie Coste-Marquis |
| 1994 | Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results. Pierre Brézellec, Henry Soldano |
| 1994 | Improvements on Linear-Space Search Algorithms. Hermann Kaindl, Angelika Leeb, Harald Smetana |
| 1994 | Inference and Optimization Methods for Manufacturing Process Planning. András Márkus, József Váncza |
| 1994 | Integrating Probabilistic Reasoning into Plan Recognition. Mathias Bauer |
| 1994 | Integrating Qualitative Reasoning for Numerical Data Fusion Tasks. Yang Gao, Hugh F. Durrant-Whyte |
| 1994 | Interaction and Collaboration in Multi-agent Systems. Sarit Kraus |
| 1994 | Interpreting Common Words in Context: a Symbolic Approach. Violaine Prince |
| 1994 | Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models. Uwe Jost, Eric Atwell |
| 1994 | Iterative Model Construction with Regression. Majorie Moulet |
| 1994 | Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm. Peng Ye, Derrick Glass, Michael F. McTear, John G. Hughes |
| 1994 | Knowledge Based Integration of Representation Formalisms. Gertjan van Heijst, Wilfried Post, Guus Schreiber |
| 1994 | Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. Marie-Christine Rousset |
| 1994 | Knowledge Management. Jos Schreinemakers, Jean-Paul A. Barthès, David S. Brée, R. van der Spek, Karl M. Wiig |
| 1994 | Learning Disjunctive Concept Definitions Using a Genetic Algorithm. Attilio Giordana, Lorenza Saitta, Floriano Zini |
| 1994 | Learning and intelligent Agents. Leslie Pack Kaelbling |
| 1994 | Learning by Refining Algorithm Sketches. Pavel Brazdil, Alípio Jorge |
| 1994 | Learning in Classifier Systems is Hard. Uwe Hartmann |
| 1994 | Maximal Sets of Solutions for Constraint Satisfaction Problems. David Lesaint |
| 1994 | Mental States Recognition from Speech Acts through Abduction. Aldo Franco Dragoni, Paolo Puliti |
| 1994 | Mereotopological Construction of Time from Events. Fabio Pianesi, Achille C. Varzi |
| 1994 | Modal Logics for Conceptual Graphs III. Harmen van den Berg |
| 1994 | Model-Based Control. Eric Sauthier, Boi Faltings |
| 1994 | Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice. Oskar Dressler, Peter Struss |
| 1994 | Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. Taha Khedro, Michael R. Genesereth |
| 1994 | Modelling Interacting Agents in Dynamic Environments. Jörg P. Müller, Markus Pischel |
| 1994 | Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic. Geof Staniford |
| 1994 | Multiple Access and Coherence Management in a Real-Time Temporal Blackboard. Vicente J. Botti, Alfons Crespo, Federico Barber, Ismael Ripoll |
| 1994 | Multispecialist System for 3D Scene Analysis. Fadi Sandakly, Gérard Giraudon |
| 1994 | Neural Fuzzy Controller In Behavior-Oriented Architectures. Steffen Förster |
| 1994 | Neural Learning for Robot Control. Carme Torras |
| 1994 | On Attributed Relational Graph Matching Using Hopfield Network. Ponnuthurai N. Suganthan, Eam Khwang Teoh, Dinesh P. Mital |
| 1994 | On Fair Controls in Multi-Agent Systems. Hans-Dieter Burkhard |
| 1994 | On the Dynamics of Learner Models. Ana Paiva, John A. Self, Roger Hartley |
| 1994 | On the Translation of Higher-Order Problems into First-Order Logic. Manfred Kerber |
| 1994 | Operationalizing Conceptual Models Based on a Model of Dependencies. Frank Maurer, Jürgen Paulokat |
| 1994 | PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management. Claude Le Pape, Jean-Francois Puget, Colonel Moreau, Philippe Darneau |
| 1994 | Parsing of Spoken Language under Time Constraints. Wolfgang Menzel |
| 1994 | Partial Consistency for Constraint-Satisfaction Problems. Hachemi Bennaceur |
| 1994 | Performance Assessment of Cognitive Systems: Case of Elementary Mobile Robots. Jean-Daniel Dessimoz, Giovanni Mele |
| 1994 | Performance Evaluation of a Novel Fault Tolerance Training Algorithm. Hamed Elsimary, Samia Mashali, Ahmed M. Darwish, Samir I. Shaheen |
| 1994 | Possible Models Approach via Independency. Pierre Marquis |
| 1994 | Prioritized Conflict Resolution for Default Reasoning. Jérôme Mengin |
| 1994 | Problems with Using Genetic Algorithms for Neural Network Feature Selection. Chris Hopkins, Tom Routen, Tim Watson |
| 1994 | Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. Anthony G. Cohn |
| 1994 | Progress with the Tree-Structured Self-Organizing Map. Pasi Koikkalainen |
| 1994 | Qualitative Algorithmics Using Order of Growth Reasoning. Antoine Missier, Spyros Xanthakis, Louise Travé-Massuyès |
| 1994 | Reasoning about Action and Change Using Occlusion. Patrick Doherty |
| 1994 | Reasoning by Cases without Contraposition in Default Logic. Yves Moinard |
| 1994 | Reconstructing Human Skill with Machine Learning. Tanja Urbancic, Ivan Bratko |
| 1994 | Refinements of Theory Model Elimination and a Variant without Contrapositives. Peter Baumgartner |
| 1994 | Reusing Proofs. Thomas Kolbe, Christoph Walther |
| 1994 | Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data. Frank P. Coyle, Murat M. Tanik |
| 1994 | Scheduling Heuristics for the DRS-Sched System. Marco Adinolfi, Amedeo Cesta |
| 1994 | Self-Organizing Neural Networks in Kansei Engineering Expert System. Shigekazu Ishihara, Keiko Ishihara, Yukihiro Matsubara, Mitsuo Nagamachi |
| 1994 | Similarity for Analogical Software Reuse: A Computational Model. George Spanoudakis, Panos Constantopoulos |
| 1994 | Simulating Physical Systems with Relative Descriptions of Parameters. Michael Neitzke, Bernd Neumann |
| 1994 | Skeptical and Credulous Event Calculi for Supporting Modal Queries. Luca Chittaro, Angelo Montanari, Alessandro Provetti |
| 1994 | Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. Thomas Schiex, Gérard Verfaillie |
| 1994 | Symbol-Level Requirements for Agent-Level Programming. Mauro Gaspari, Enrico Motta |
| 1994 | Tests as Epistemic Updates. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | The Automated Evaluation of Inferred Word Classifications. John Hughes, Eric Atwell |
| 1994 | The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach. Boicho N. Kokinov |
| 1994 | The Future of AI Funding. Robert Milne, Jean-Paul A. Barthès, Patrick Corsi |
| 1994 | The Inductive Inference of Cyclic Synchronized Interleaving. Brian J. Ross |
| 1994 | The Interaction of Congenial Autonomous Robots. Jacques Penders, Lyuba Alboul, Peter J. Braspenning |
| 1994 | The Need for Knowledge Acquisition in Case-Based Reasoning - Some Experiences from an Architectural Domain. Angi Voß |
| 1994 | The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. Barbara M. Smith |
| 1994 | The Production of Explanations, Seen as a Design Task: A Case Study. Marie-Hélène Gréboval, Gilles Kassel |
| 1994 | The SAT Phase Transition. Ian P. Gent, Toby Walsh |
| 1994 | The Stream Field Method Applied to Mobile Robot Navigation: a Topological Perspective. Didier Keymeulen, Jo Decuyper |
| 1994 | The Use of Model-Based Diagnosis in Redesign. R. R. Bakker, S. J. M. van Eldonk, P. M. Wognum, Nicolaas J. I. Mars |
| 1994 | Theoretical Planning and its Contributions to Practical and Applied Planning. Joachim Hertzberg |
| 1994 | Top-Down Pruning in Relational Learning. Johannes Fürnkranz |
| 1994 | Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira |
| 1994 | Towards an Axiomatic Theory of Artificial Perception. Andranik Tangian |
| 1994 | Towards an Electronic Dictionary. Graham Allport |
| 1994 | Using Domain Knowledge to Select Solutions in Abductive Diagnosis. Frank van Harmelen, Annette ten Teije |
| 1994 | Using Models of Problem Solving as Bias in Automated Knowledge Acquisition. Herman J. H. van Dompseler, Maarten van Someren |
| 1994 | Violated Obligations in a Defeasible Deontic Logic. Leendert W. N. van der Torre |
| 1994 | Yet another Semantics of Goals and Goal Priorities. Jacques Wainer |