| 1994 | Transforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logic. | Yahui Chang, Louiqa Raschid, Bonnie J. Dorr |
| 1994 | Causal Understanding in Reasoning About the World. | B. Chandrasekaran |
| 1994 | Distributed Earth Science Validation Centers for Mission to Planet Earth. | William J. Campbell |
| 1994 | Building Bridges Between Knowledge Representation and Algebraic Specification. | Jacques Calmet, Indra A. Tjandra |
| 1994 | The Semantics of Propositional Contexts. | Sasa Buvac, Vanja Buvac, Ian A. Mason |
| 1994 | LaTeR: A General Purpose Manager of Temporal Information. | Vittorio Brusoni, Luca Console, Barbara Pernici, Paolo Terenziani |
| 1994 | Learning First Order Theories. | Marco Botta |
| 1994 | Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables. | Jan G. Bazan, Andrzej Skowron, Piotr Synak |
| 1994 | Reasoning About Action and Time with Epistemic Conditionals. | Nicholas Asher |
| 1994 | On the Weakening of Fuzzy Relational Queries. | Troels Andreasen, Olivier Pivert |
| 1994 | Declarative Semantics for Contradictory Modular Logic Programs. | Anastasia Analyti, Sakti Pramanik |
| 1994 | RUTH: an ILP Theory Revision System. | Hilde Ad, Bart Malfait, Luc De Raedt |
| 1993 | Recognition of Functional Dependencies in Data. | Robert Zembowicz, Jan M. Zytkow |
| 1993 | On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases. | Beat Wthrich |
| 1993 | A Knowledge-based Approach to Group Analysis in Automated Manufacturing Systems. | Kesheng Wang |
| 1993 | Expressive Extensions to Inheritance Networks. | Krishnaprasad Thirunarayan |
| 1993 | New Design Concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-centered Architectures. | Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani |
| 1993 | Knowledge-Based System Integration in a Concurrent Engineering Environment. | Michael W. Sobolewski |
| 1993 | Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making. | Roman Slowinski |
| 1993 | Boolean Reasoning for Decision Rules Generation. | Andrzej Skowron |
| 1993 | An Admissible Heuristic Search Algorithm. | Li-Yen Shue, Reza Zamani |
| 1993 | On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. | Andrea Schaerf |
| 1993 | Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. | Erik Sandewall |
| 1993 | Expressing Program Requirements Using Refinement Lattices. | David Stuart Robertson, Jaume Agust-Cullell, Jane Hesketh, Jordi Levy |
| 1993 | Approximation Methods for Knowledge Representation Systems. | Cecylia Rauszer |