| 1994 | A Comparative Study of IDA*-Style Searches. Benjamin W. Wah, Yi Shang |
| 1994 | A Constraint-based Approach for the Generation of Floor Plans. Philippe Charman |
| 1994 | A Distributed Scheduling Framework. Carla P. Gomes, Austin Tate, Lyn C. Thomas |
| 1994 | A Formal Associative Model of Logic Programming and its Abstract Instruction Set. Arvind K. Bansal, P. V. Lokam, M. N. Ghandikota |
| 1994 | A Framework for Automatic Improvement of Workflows to Meet Performance Goals. Trent Jaeger, Atul Prakash, Masayuki Ishikawa |
| 1994 | A Framework for Fault Diagnosis in Distributed Expert Systems. J. W. Guan, Z. Guan, David A. Bell |
| 1994 | A Graphical Environment for Formally Developing Object-Oriented Software. Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau |
| 1994 | A Heuristics Guided Scheduling Framework for Domains with Complex Conditions. Yuriko Nomura, Masahiko Iwamoto, Toru Yamanouchi, Masanobu Watanabe |
| 1994 | A Knowledge Representation System for Integration of General and Case-Specific Knowledge. Agnar Aamodt |
| 1994 | A Knowledge-Based Analyzer for Requirements Specification Analysis. Hung-Chin Jang |
| 1994 | A Knowledge-Based Tutoring System for SQL Programming. Gang Zhou, Jason Tsong-Li Wang, Peter A. Ng |
| 1994 | A Method for Organizing Knowledge Bases in the Hierarchical Form. Tu Bao Ho |
| 1994 | A Neural Network Architecture for the Second Level Trigger in the H1-Experiment at the Electron Proton Collider HERA. A. Gruber, Jürgen Fent, W. Fröchtenicht, Christian Kiesling, J. Möck, P. Ribarics, D. Goldner, Hermann Kolanoski, T. Krämerkämper |
| 1994 | A Neural Network for Supervised Learning of Natural Language Grammar. Dominique Archambault, Jean-Claude Bassano |
| 1994 | A New Approach to Modularity in Rule-Based Programming. James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang |
| 1994 | A New Arc Consistency Algorithm for CSPs with Hierarchical Domains. Tibor Kökény |
| 1994 | A New Generation of Intelligent Punching Environment for Computerized Embroidery. Shifu Chen, Bin Hu |
| 1994 | A Novel Method for Parsing Complex Sentences in Syntactically Free Languages. Stephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis |
| 1994 | A Partial Breadth-First Execution Model for Prolog. Jordi Tubella, Antonio González |
| 1994 | A Practical Module System for Logic Programming and its Semantics. Isambo Karali, Constantin Halatsis |
| 1994 | A Resonance Correlation Network with Adaptive Fuzzy Leader Clustering. Randy B. Cleary, Peggy Israel |
| 1994 | A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production Systems. Tolety Siva Perraju, Garimella Uma, Bandreddi E. Prasad |
| 1994 | A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay. Jonathan I. Maletic, Robert G. Reynolds |
| 1994 | A WAM-Based Abstract Machine for Interval Constraint Logic Programming. J. H. M. Lee, T. W. Lee |
| 1994 | A Weight Value Initialization Method for Improving Learning Performance of the Back Propagation Algorithm in Neural Networks. Hisashi Shimodaira |
| 1994 | Adaptive Robot Path Planning in Changing Environments. Pang C. Chen |
| 1994 | Advanced Fuzzy Control of a Trailer Type Mobile Robot - Stability Analysis and Model-Based Fuzzy Control. Kazuo Tanaka |
| 1994 | An Arc-Consistency Algorithm Optimal in the Number of Constraint Checks. Christian Bessière, Jean-Charles Régin |
| 1994 | An Artificial Neural Network for the Ergonomic Evaluation of a Human-Computer Interface. Jean-François Arcand |
| 1994 | An Attempt to Apply the Dividing and Composing Method to Various Frames of Chinese Flower and Bird Panting. Da-Yu Liu, Yoshinao Aoki |
| 1994 | An Educational Tool for High-Level Interaction with Bayesian Networks. Peter Haddawy, Joel Jacobson, Charles E. Kahn Jr. |
| 1994 | An Experience-Based Approach to Software Project Management. C. Vasudevan |
| 1994 | An Intelligent System to Facilitate the Diagnosis of Adverse Drug Reactions. A. Laribi, S. A. Laribi |
| 1994 | An Interactive Train Scheduling Workbench Based on Artificial Intelligence. Hsien-Cheng Lin, Ching-Chi Hsu |
| 1994 | An Object Oriented Method of Analysis, Specification and Design for Industrial Information Systems. Ramzi Guetari, Frédéric Piard |
| 1994 | Application of Fuzzy Modeling to Power Plant Generator Control. V. C. Zambenedetti, Shuta Murakami |
| 1994 | Approximate Graph Matching Using Probabilistic Hill Climbing Algorithms. Jason Tsong-Li Wang, Kaizhong Zhang, Gung-Wei Chirn |
| 1994 | Artificial Neural Networks for Motion Analysis. Ting Chen |
| 1994 | Assumption-Based Truth Maintenance in Precense of Temproal Assertions. Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton |
| 1994 | Cascaded Vector Quantization by Non-linear PCA Network Layers. Rüdiger W. Brause |
| 1994 | Classification in DLMS Utilizing a KL-ONE Representation Language. Nestor Rychtyckyj |
| 1994 | Combining Geometric and Photometric Information to Find Lines from Step Edge Detection. Alain Filbois |
| 1994 | Conceptual Driven Search Among Distributed Knowledge Sources. Antonio S. Fabiano, Stefano A. Cerri |
| 1994 | Constructs for Building Complex Symbolic-Connectionist Systems. Rajiv Khosla, Tharam S. Dillon |
| 1994 | Context Free Language Induction with Genetic Programming. Bertrand Daniel Dunay |
| 1994 | Customizing Parallel Formulations of Backpropagation Learning Algorithm to Neural Network Architectures : A Summary of Results. Minesh B. Anim, Shashi Shekhar |
| 1994 | DIALECT2: An Information Retrieval System Based on Distributed Artificial Intelligence Tools. Michael Braunwarth, Abdelouahab Mekaouche, Jean-Claude Bassano |
| 1994 | Design by Expectation: A Framework for Engineering Design Optimization. Erh-Chun Yeh, Ying Sun, S. S. Venkata, Z. Sumic |
| 1994 | Designing a Tool to Allow Updates during Plan Recognition - Challenges and Applications. Robin Cohen, Bruce Spencer, Pat Hoyt |
| 1994 | Developing Natural Language Interfaces Through NALIGE. Bill Z. Manaris, Robert Glanville, Timothy E. Gillis |
| 1994 | Discrete Event Simulation using Event Calculus. Lode Missiaen |
| 1994 | Distributed Belief Revision versus Distributed Truth Maintenance. Aldo Franco Dragoni, Paolo Puliti |
| 1994 | Distributed Simulated Re-annealing for Dynamic Constraint Satisfaction Problems. Khaled Ghédira |
| 1994 | Docile Agents to Process Natural Language. Jean Pierre Fournier |
| 1994 | Enhancing Diversity for a Genetic Algorithm Learning Environment for Classfication Tasks. Christoph F. Eick, Yeong-Joon Kim, Nicola Secomandi |
| 1994 | Experiences in Using Prolog to Develop a Practical Constraint Solver. Pierre Lim |
| 1994 | Experiments with Various Recurrent Neural Network Architectures for Handwritten Character Recognition. Akhtar Jameel |
| 1994 | Explicit Versus Implicit Set-Covering for Supervised Learning. Stephen V. Kowalski, Dan I. Moldovan |
| 1994 | Finite Domain Constraints in the ML Functional Language. Emmanuel Chailloux, Christian Codognet, Philippe Codognet |
| 1994 | Fuzzy Expert System Shells. Motohide Umano, Itsuo Hatono, Hiroyuki Tamura |
| 1994 | Fuzzy Qualitative Diagnosis. Sunita Patil, Martin O. Hofmann |
| 1994 | GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits. Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva |
| 1994 | GREAT: A Model of Progressive Reasoning for Real-Time Systems. Abdel-Illah Mouaddib, François Charpillet, Jean Paul Haton |
| 1994 | Galois Lattice: A Framework for Concept Learning-Design, Evaluation and Refinement. Engelbert Mephu Nguifo |
| 1994 | ICDM: Integrated Cooperative Decision Making-In Practice. Leonard Myers, Jens Pohl |
| 1994 | IIBR-A System for Managing/Refining Structural Characteristics Discovered from Databases. Ning Zhong, Setsuo Ohsuga |
| 1994 | Imprecise Probability and Expert Forecasting. Carl G. Wagner |
| 1994 | Integrated Connectionist Models: Building AI Systems on Subsymbolic Foundations. Risto Miikkulainen |
| 1994 | Integrating External Functions in an Object Oriented Reasoning System. Ta-Cheng Yu, Lawrence J. Henschen |
| 1994 | Integrating Rules and Constraints. Bing Liu |
| 1994 | Integrating Statistical Methods for Characterizing Causal Influences on Planner Behavior over Time. Adele E. Howe, Robert St. Amant, Paul R. Cohen |
| 1994 | Intelligent Neural Networks using Smart Wavelets Preprocessing. Harold Szu |
| 1994 | Intelligent Tools for Environmental Tactical Decision Aids. Portia J. Harris, George W. Heburn |
| 1994 | Interleaving Real-Time Multi-Agent Planning and Execution: An Application. César Santos Silva, Alexandre Bernardino, Carlos A. Pinto-Ferreira |
| 1994 | Iterative Strengthening: An Algorithm for Generating Anytime Optimal Plans. Randall J. Calistri-Yeh |
| 1994 | Joining Contextual Information to the Intervention in Natural Language Interfaces. José Ramón Zubizarreta Aizpuru, Craig Jones |
| 1994 | KAAD: A Support System for Architectural Design. Bruno Errico, Gabriele Novembri |
| 1994 | KBMDL: A Knowledge Based Model Description Language for Decision Support. Shifu Chen, Dianxiang Xu |
| 1994 | Knowledge Acquisition Techniques for a Military Planning System. Marie desJardins |
| 1994 | Knowledge Acquisition from Real-World Texts: Some Lessons Learned. Fernando Gomez |
| 1994 | Knowledge-based Querying. F.-Y. Villemin, A. Paoli |
| 1994 | Learning Strategy Knowledge Incrementally. Manuela M. Veloso, Daniel Borrajo |
| 1994 | MLC++: A Machine Learning Library in C++. Ron Kohavi, George H. John, Richard Long, David Manley, Karl Pfleger |
| 1994 | MODEST: A Model-Based Diagnostic Expert System. Yusuf Wilajati Purna, Takahira Yamaguchi |
| 1994 | Maintaining Arc Consistency through Constraint Retraction. Bertrand Neveu, Pierre Berlandier |
| 1994 | Methods for Finding Influences on Program Failure. Adele E. Howe, Aaron D. Fuegi |
| 1994 | Metrics Based Classification Trees for Software Test Monitoring and Management. Raymond A. Paul |
| 1994 | Minimal Forward Checking. Michael J. Dent, Robert E. Mercer |
| 1994 | Model-Based Identification of Primary Causes. M. Tomasena |
| 1994 | Modeling the Plasma Enhanced Chemical Vapor Deposition Process Using Neural Networks and Genetic Algorithms. Seung Soo Han, Gary S. May |
| 1994 | NAVNEX: A Hybrid System which Learns Navigation Situations in Real Time. Gianni Viardo Vercelli, Francesco Giuffrida, A. Rolla, R. Toracca, Pietro Morasso |
| 1994 | NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural Networks. Cédric Gégout, Bernard Girau, Fabrice Rossi |
| 1994 | Natural Language Processing Tools and Environments: The Field in Perspective. Bill Z. Manaris |
| 1994 | Neo-Fuzzy-Neuron Based New Approach to System Modeling, with Application to Actual Systems. Eiji Uchino, Takeshi Yamakawa |
| 1994 | Object Reconstruction using the Cooperation of 3D Segments and 3D Facets Information. Didier Gemmerlé |
| 1994 | On Learning Multiple Descriptions of a Concept. Kamal M. Ali, Clifford Brunk, Michael J. Pazzani |
| 1994 | Parameter Tuning for the MAX Expert System. Christopher J. Merz, Michael J. Pazzani |
| 1994 | Parsing Unification Categorial Grammar with Object-Oriented Knowledge. Li Li, Barrett R. Bryant |
| 1994 | Pattern Theoretic Knowledge Discovery. Jeffrey A. Goldman |
| 1994 | Peirce: A Tool for Abductive Inference. Richard Fox, John R. Josephson |
| 1994 | Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. Jeng-Rung Chen, Albert Mo Kim Cheng |
| 1994 | Providing Semantic Intelligent Answers to Recursive Queries. Xubo Zhang, Z. Meral Özsoyoglu |
| 1994 | Query Processing for Partial Information Databases in QUIXOTE. Kazumasa Yokota, Hiroshi Tsuda, Toshihiro Nishioka, Satoshi Tojo |
| 1994 | R-calculus: A Logical Approach for Knowledge Base Maintenance. Wei Li, Ningchuan Shen, Ju Wang |
| 1994 | Recurrent Neural Networks for Synthesizing Linear Control Systems via Pole Placement. Jun Wang, Guang Wu |
| 1994 | Response Surface Methodology for Optimal Neural Network Selection. Chih-Chou Chiu, Joseph J. Pignatiello Jr., Deborah F. Cook |
| 1994 | Restructuring and Optimizing Knowledge Representations. Jan Vanthienen, Geert Wets |
| 1994 | Sequences Constraint Solving in Constraints Logic Programming. Pierre Baptiste, Bruno Legeard, Hamza Zidoum |
| 1994 | Simulated Annealing Based Classfication. Scott Finnerty, Sandip Sen |
| 1994 | Sixth International Conference on Tools with Artificial Intelligence, ICTAI '94, New Orleans, Louisiana, USA, November 6-9, 1994 |
| 1994 | Skeletons and Techniques for the Systematic Development of Constraint Logic Programs. Spiro Michaylov |
| 1994 | Solving Constraints over the Reals - A Multi-Solver Approach. Philippe Marti, Michel Rueher |
| 1994 | Solving Diagramless Crossword Puzzles. Edward Pershits, Ryan Stansifer |
| 1994 | Some Issues of Reasoning in Fuzzy Control: Principle, Practice, and Perspective. Y. Tsukamoto |
| 1994 | Studies on the Effect of Non-coding Segments on the Genetic Algorithm. Annie S. Wu, Robert K. Lindsay, Michael D. Smith |
| 1994 | Text-Based Systems and Information Management: Artificial Intelligence Confronts Matters of Scale. Paul S. Jacobs |
| 1994 | The Evolution of Intelligent Writing Assistants: Trends and Future Prospects. Robert L. Oakman |
| 1994 | The Figure Understander: A Tool for the Integration of Text and Graphical Input to a Knowledge Base. Raman Rajagopalan |
| 1994 | The Inheritance Mechanism of a System Integrating Logic in Objects. Ioannis Hatzilygeroudis, Han Reichgelt |
| 1994 | The RISE System: Conquering without Separating. Pedro M. Domingos |
| 1994 | The Rail Yard Manager. Myron Lewellen, Ramesh Ravula, Rodney Swab, Bruce Pratt |
| 1994 | The Schema Theorem Considered Insufficient. Weon Sam Chung, Rafael A. Perez |
| 1994 | The Temporal Reasoning Tools TimeGraph I-II. Alfonso Gerevini, Lenhart K. Schubert, Stephanie Schaeffer |
| 1994 | Three-layered Fuzzy Inference and Self-wondering Mechanism as Natural Language Processing Engine of FLINS. Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani, Atsushi Inoue, Ryosuke Fujioka |
| 1994 | Tols for Experiments in Planning. Scott D. Anderson, Adam Carlson, David L. Westbrook, David M. Hart, Paul R. Cohen |
| 1994 | Tooling the Lexicon Acquisition Process for Large-Scale KBMT. John R. R. Leavitt, Deryle W. Lonsdale, Kevin Keck, Eric Nyberg |
| 1994 | Tools for Managing Stories and Questions. Brian M. Slator |
| 1994 | Tools for Representing and Managing Knowledge: Some Practical Requirements and Suggestions. Larry H. Reeker |
| 1994 | Tools with AI in the Government. Nort Fowler, Peter Friedland, Alan Meyrowitz, David Hislop, Morton Hirshberg, Gio Wiederhold, Oscar Firschein |
| 1994 | Toward a Fuzzy Government of Genetic Populations. S. Arnone, M. Dell'Orto, Andrea Tettamanzi |
| 1994 | Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. J. H. M. Lee, V. W. L. Tam |
| 1994 | User Command Prediction by Graph-Based Induction. Kenichi Yoshida |
| 1994 | Using Classifier Systems to Design Neural Nets. Christos Nikolopoulos |
| 1994 | Using Genetic Algorithms for Optimal Design of Trusses. Carlos A. Coello Coello, Michael Rudnick, Alan D. Christiansen |
| 1994 | Using Planning Techniques to Provide Feedback in Interactive Learning Environments. Ray H. Kemp, Shamus P. Smith |
| 1994 | Using Shared-Packed Forests in a GB Parser. Marwan Shaban |
| 1994 | Using a Double-based Genetic Algorithm on a Population of Computer Programs. Philippe Collard, Jean-Luc Ségapeli |
| 1994 | Using an Annealing Genetic Algorithm to Solve Global Energy Minimazation Problem. Leuo-hong Wang, Cheng-Yan Kao, Ming Ouhyoung, Wen-Chin Chen |
| 1994 | Vision-based Behavioural Modules for Robotic Assembly Systems. Prabhas Chongstitvatana |