| 1994 | A Case-Based Reasoning Approach for Associative Query Answering. Gilles Fouqué, Wesley W. Chu, Henrick Yau |
| 1994 | A Case-Based Reasoning Approach for Associative Query Answering. David Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han |
| 1994 | A Data-Driven Approach to Feature Construction. Jianping Zhang, Hsueh-Hsiang Lu |
| 1994 | A Global Measure of Ambiguity for Classification. Zhiwei Wang, S. K. Michael Wong |
| 1994 | A New Rule for Updating Evidence. ShengLi Shi, M. Elizabeth C. Hull, David A. Bell |
| 1994 | A Possibility-Based Propositional Logic of Conditionals. Yen-Teh Hsia |
| 1994 | AMPHION: Automatic Programming for Scientific Subroutine Libraries. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
| 1994 | BDDs and Automated Deduction. Jean Goubault, Joachim Posegga |
| 1994 | Beliefs and Bilattices. Kwang Mong Sim |
| 1994 | Building Bridges Between Knowledge Representation and Algebraic Specification. Jacques Calmet, Indra A. Tjandra |
| 1994 | Case-Based Reasoning Applied to A Force Generation Decision Aid. Stephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears |
| 1994 | Causal Understanding in Reasoning About the World. B. Chandrasekaran |
| 1994 | Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. Patrick Doherty, Witold Lukaszewicz |
| 1994 | Classical Methods in Nonmonotonic Reasoning. Yannis Dimopoulos |
| 1994 | Computing Queries from Prioritized Default Theories. Torsten Schaub |
| 1994 | Concept Hierarchies: A Restricted Form of Knowledge Derived From Regularities. Molly Troxel, Kim Swarm, Jan M. Zytkow |
| 1994 | DBROUGH: A Rough Set Based Knowledge Discovery System. Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko |
| 1994 | Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events. Paolo Terenziani |
| 1994 | Declarative Semantics for Contradictory Modular Logic Programs. Anastasia Analyti, Sakti Pramanik |
| 1994 | Distributed Earth Science Validation Centers for Mission to Planet Earth. William J. Campbell |
| 1994 | Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. Yang Xiang |
| 1994 | Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables. Jan G. Bazan, Andrzej Skowron, Piotr Synak |
| 1994 | Efficient Execution of Recursive Queries Through Controlled Binding Propagation. Sergio Greco, Carlo Zaniolo |
| 1994 | Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks. Christoph F. Eick, Ema Toto |
| 1994 | Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. Zbigniew Stachniak |
| 1994 | Formal Models of Selection in Genetic Algorithms. Attilio Giordana, Filippo Neri, Lorenza Saitta |
| 1994 | Fuzzy Logic or Lukasiewicz Logic: A Clarification. Sukhamay Kundu, Jianhua Chen |
| 1994 | GAITS II: An Intelligent System for Computer-Aided Education. Mohamed Quafafou |
| 1994 | Genetic Algorithms for the 0/1 Knapsack Problem. Zbigniew Michalewicz, Jaroslaw Arabas |
| 1994 | How to Make Intelligent Digital Libraries. Edward A. Fox |
| 1994 | Incremental Processing of Logic Database Relations. Yan-Nong Huang, Verónica Dahl, Jiawei Han |
| 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 | Learning Heuristics for Ordering Plan Goals through Static Operator Analysis. Thomas Leo McCluskey, J. M. Porteous |
| 1994 | Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System. Ryszard S. Michalski, Ibrahim F. Imam |
| 1994 | Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces. Tsau Young Lin, Qing Liu, Y. Y. Yao |
| 1994 | Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach. Shlomo Zilberstein |
| 1994 | Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings Zbigniew W. Ras, Maria Zemankova |
| 1994 | On the Relationship between Assumption-based Framework and Autoepistemic Logic. Y. J. Jiang, Yongyuth Aramkulchai |
| 1994 | On the Weakening of Fuzzy Relational Queries. Troels Andreasen, Olivier Pivert |
| 1994 | Paraconsistency and Beyond: A New Approach to Inconsistency Handling. Suryanil Ghosh |
| 1994 | Partial Evaluation and Relevance for Approximations of Stable Semantics. Jürgen Dix, Martin Müller |
| 1994 | RUTH: an ILP Theory Revision System. Hilde Adé, Bart Malfait, Luc De Raedt |
| 1994 | Reasoning About Action and Time with Epistemic Conditionals. Nicholas Asher |
| 1994 | Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones |
| 1994 | Recognizing Credible Experts in Inaccurate Databases. Hasan M. Jamil, Fereidoon Sadri |
| 1994 | Restructuring Rule Bases to Improve Performance. Alex Lopez-Suarez, Mohamed S. Kamel |
| 1994 | Rough Mereology. Lech Polkowski, Andrzej Skowron |
| 1994 | Signed Formulas and Fuzzy Operator Logics. James J. Lu, Neil V. Murray, Erik Rosenthal |
| 1994 | Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract). Robert Meersman |
| 1994 | The GLS Discovery System: Its Goal, Architecture and Current Results. Ning Zhong, Setsuo Ohsuga |
| 1994 | The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. Jianhua Chen |
| 1994 | The Semantics of Propositional Contexts. Sasa Buvac, Vanja Buvac, Ian A. Mason |
| 1994 | Towards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information Language. Ephraim Nissan, Hava T. Siegelmann, Alex Galperin, Shuky Kimhi |
| 1994 | Towards Refinement of Definite Logic Programs. Henryk Jan Komorowski, Silvia Trcek |
| 1994 | Towards a Dynamic Multi-Agent Organization. Emmanuelle Le Strugeon, René Mandiau, Gaetan Libert |
| 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 | Traps and Pitfalls when Learning Logical Definitions from Relations. Floriana Esposito, Donato Malerba, Giovanni Semeraro |
| 1994 | Turning an Action Formalism Into a Planner - Essentials of a Case Study. Joachim Hertzberg, Sylvie Thiébaux |
| 1994 | Understanding a Story With Causal Relationships. Honghua Gan |
| 1994 | parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. Jonathan M. Lever, Barry Richards |