| 1994 | parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. | Jonathan M. Lever, Barry Richards |
| 1994 | Fuzzy Logic or Lukasiewicz Logic: A Clarification. | Sukhamay Kundu, Jianhua Chen |
| 1994 | Towards Refinement of Definite Logic Programs. | Henryk Jan Komorowski, Silvia Trcek |
| 1994 | On the Relationship between Assumption-based Framework and Autoepistemic Logic. | Y. J. Jiang, Yongyuth Aramkulchai |
| 1994 | Recognizing Credible Experts in Inaccurate Databases. | Hasan M. Jamil, Fereidoon Sadri |
| 1994 | DBROUGH: A Rough Set Based Knowledge Discovery System. | Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko |
| 1994 | Incremental Processing of Logic Database Relations. | Yan-Nong Huang, Vernica Dahl, Jiawei Han |
| 1994 | A Possibility-Based Propositional Logic of Conditionals. | Yen-Teh Hsia |
| 1994 | Turning an Action Formalism Into a Planner - Essentials of a Case Study. | Joachim Hertzberg, Sylvie Thibaux |
| 1994 | Efficient Execution of Recursive Queries Through Controlled Binding Propagation. | Sergio Greco, Carlo Zaniolo |
| 1994 | BDDs and Automated Deduction. | Jean Goubault, Joachim Posegga |
| 1994 | Formal Models of Selection in Genetic Algorithms. | Attilio Giordana, Filippo Neri, Lorenza Saitta |
| 1994 | Paraconsistency and Beyond: A New Approach to Inconsistency Handling. | Suryanil Ghosh |
| 1994 | Understanding a Story With Causal Relationships. | Honghua Gan |
| 1994 | How to Make Intelligent Digital Libraries. | Edward A. Fox |
| 1994 | A Case-Based Reasoning Approach for Associative Query Answering. | Gilles Fouqu, Wesley W. Chu, Henrick Yau |
| 1994 | Traps and Pitfalls when Learning Logical Definitions from Relations. | Floriana Esposito, Donato Malerba, Giovanni Semeraro |
| 1994 | Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks. | Christoph F. Eick, Ema Toto |
| 1994 | Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. | Patrick Doherty, Witold Lukaszewicz |
| 1994 | Partial Evaluation and Relevance for Approximations of Stable Semantics. | Jrgen Dix, Martin Mller |
| 1994 | Classical Methods in Nonmonotonic Reasoning. | Yannis Dimopoulos |
| 1994 | Case-Based Reasoning Applied to A Force Generation Decision Aid. | Stephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears |
| 1994 | Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. | Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones |
| 1994 | A Case-Based Reasoning Approach for Associative Query Answering. | David Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han |
| 1994 | The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. | Jianhua Chen |