| 1993 | A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis. Claire Cardie |
| 1993 | A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance. David W. Ash, Barbara Hayes-Roth |
| 1993 | A Constraint Decomposition Method for Spatio-Temporal Configuration Problems. Toshikazu Tanimoto |
| 1993 | A Context-Based Framework for Default Logics. Philippe Besnard, Torsten Schaub |
| 1993 | A Conversational Model of Multimodal Interaction in Information Systems. Adelheit Stein, Ulrich Thiel |
| 1993 | A Demonstration of the "Circuit Fix-it Shoppe". D. Richard Hipp, Ronnie W. Smith |
| 1993 | A Fast First-Cut Protocol for Agent Coordination. Andrew P. Kosoresow |
| 1993 | A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge. Roland Zito-Wolf, Richard Alterman |
| 1993 | A Framework for Model-Based Repair. Ying Sun, Daniel S. Weld |
| 1993 | A Fuzzy Controller for Flakey, the Robot. Alessandro Saffiotti, Nicolas Helft, Kurt Konolige, John D. Lowrance, Karen L. Myers, Daniela Musto, Enrique H. Ruspini, Leonard P. Wesley |
| 1993 | A Method for Development of Dialogue Managers for Natural Language Interfaces. Arne Jönsson |
| 1993 | A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks. Keith Decker, Victor R. Lesser |
| 1993 | A Qualitative Method to Construct Phase Portraits. Wood W. Lee, Benjamin Kuipers |
| 1993 | AIR-SOAR: Intelligent Multi-Level Control. Douglas J. Pearson, Randolph M. Jones, John E. Laird |
| 1993 | Abduction As Belief Revision: A Model of Preferred Explanations. Craig Boutilier, Verónica Becher |
| 1993 | Agents Contracting Tasks in Non-Collaborative Environments. Sarit Kraus |
| 1993 | Algebraic Sematics for Cumulative Inference Operations. Zbigniew Stachniak |
| 1993 | All They Know About. Gerhard Lakemeyer |
| 1993 | An Average Case Analysis of Planning. Tom Bylander |
| 1993 | An Empirical Study of Greedy Local Search for Satisfiability Testing. Bart Selman, Henry A. Kautz |
| 1993 | An Epistemology for Clinically Significant Trends. Ira J. Haimowitz, Isaac S. Kohane |
| 1993 | An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations. Tuomas Sandholm |
| 1993 | An Optimizing Method for Structuring Inferentially Linked Discourse. Ingrid Zukerman, Richard McConachy |
| 1993 | Arc-Consistency and Arc-Consistency Again. Christian Bessière, Marie-Odile Cordier |
| 1993 | Artificial Intelligence as an Experimental Science (Abstract). Herbert A. Simon |
| 1993 | Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems. Richard Osgood, Ray Bareiss |
| 1993 | Automatically Constructing a Dictionary for Information Extraction Tasks. Ellen Riloff |
| 1993 | Bidirectional Chart Generation of Natural Language Texts. Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, Makoto Nagao |
| 1993 | Building Models to Support Synthesis in Early Stage Product Design. R. Bharat Rao, Stephen C. Y. Lu |
| 1993 | CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran |
| 1993 | Case-Based Diagnostic Analysis in a Blackboard Architecture. Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak |
| 1993 | Case-Method: A Methodology for Building Large-Scale Case-Based Systems. Hiroaki Kitano, Hideo Shimazu, Akihiro Shibata |
| 1993 | Communicative Acts for Generating Natural Language Arguments. Mark T. Maybury |
| 1993 | Complexity Analysis of Real-Time Reinforcement Learning. Sven Koenig, Reid G. Simmons |
| 1993 | Comprehensibility Improvement of Tabular Knowledge Bases. Atsushi Sugiura, Maximilian Riesenhuber, Yoshiyuki Koseki |
| 1993 | Computer Vision Research at the University of Massachusetts. Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas |
| 1993 | Conjunctive Width Heuristics for Maximal Constraint Satisfaction. Richard J. Wallace, Eugene C. Freuder |
| 1993 | Coping With Disjunctions in Temporal Constraint Satisfaction Problems. Eddie Schwalb, Rina Dechter |
| 1993 | Corpus Analysis for Revision-Based Generation of Complex Sentences. Jacques Robin, Kathleen R. McKeown |
| 1993 | Cryptographic Limitations on Learning One-Clause Logic Programs. William W. Cohen |
| 1993 | Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. Philippe Jégou |
| 1993 | Depth-First vs. Best-First Search: New Results. Weixiong Zhang, Richard E. Korf |
| 1993 | EL: A Formal, Yet Natural, Comprehensive Knowledge Representation. Chung Hee Hwang, Lenhart K. Schubert |
| 1993 | Efficient Heuristic Natural Language Parsing. Christian R. Huyck, Steven L. Lytinen |
| 1993 | Efficient Reasoning in Qualitative Probabilistic Networks. Marek J. Druzdzel, Max Henrion |
| 1993 | Equations for Part-of-Speech Tagging. Eugene Charniak, Curtis Hendrickson, Neil Jacobson, Mike Perkowitz |
| 1993 | Estimating Probability Distributions over Hypotheses with Variable Unification. Dekai Wu |
| 1993 | Experimental Results on the Crossover Point in Satisfiability Problems. James M. Crawford, Larry D. Auton |
| 1993 | Exploring the Structure of Rule Based Systems. Clifford Grossner, Alun D. Preece, P. Gokul Chander, Thiruvengadam Radhakrishnan, Ching Y. Suen |
| 1993 | Extending Deep Structure. Colin P. Williams, Tad Hogg |
| 1993 | Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. Michael J. Pazzani, Clifford Brunk |
| 1993 | Generating Argumentative Judgment Determiners. Michael Elhadad |
| 1993 | Generating Effective Admissible Heuristics by Abstraction and Reconstitution. Armand Prieditis, Bhaskar Janakiraman |
| 1993 | Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering. Patrice O. Gautier, Thomas R. Gruber |
| 1993 | Generating Explicit Orderings for Non-monotonic Logics. James Cussens, Anthony Hunter, Ashwin Srinivasan |
| 1993 | Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts. Vibhu O. Mittal, Cécile Paris |
| 1993 | Generating Quasi-symbolic Representation of Three-Dimensional Flow. Toyoaki Nishida |
| 1993 | Granularity in Multi-Method Planning. Soowon Lee, Paul S. Rosenbloom |
| 1993 | Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing. Kurt P. Eiselt, Kavi Mahesh, Jennifer K. Holbrook |
| 1993 | Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices. Michel P. Féret, Janice I. Glasgow |
| 1993 | IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments. Victor R. Lesser, Izaskun Gallastegi, Hamid Nawab, Frank Klassner |
| 1993 | Ideal Physical Systems. Brian Falkenhainer |
| 1993 | Innovative Design as Systematic Search. Dorothy Neville, Daniel S. Weld |
| 1993 | Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). Scott B. Huffman, John E. Laird |
| 1993 | Integrating Heuristics for Constraint Satisfaction Problems: A Case Study. Steven Minton |
| 1993 | Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. Thomas Ellman, John Eric Keane, Mark Schwabacher |
| 1993 | Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias. Foster J. Provost |
| 1993 | KITSS: A Knowledge-Based Translation System for Test Scenarios. Van E. Kelly, Mark A. Jones |
| 1993 | Learnability in Inductive Logic Programrning: Some Basic Results and Techniques. Michael Frazier, C. David Page Jr. |
| 1993 | Learning Interface Agents. Pattie Maes, Robyn Kozierok |
| 1993 | Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. Mehran Sahami |
| 1993 | Learning Object Models from Appearance. Hiroshi Murase, Shree K. Nayar |
| 1993 | Learning Plan Transformations from Self-Questions: A Memory-Based Approach. Rüdiger Oehlmann, Derek H. Sleeman, Peter Edwards |
| 1993 | Learning Semantic Grammars with Constructive Inductive Logic Programming. John M. Zelle, Raymond J. Mooney |
| 1993 | Learning from an Approximate Theory and Noisy Examples. Somkiat Tangkitvanich, Masamichi Shimura |
| 1993 | Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System. Bonnie J. Dorr, Clare R. Voss |
| 1993 | Massively Parallel Support for Computationally Effective Recognition Queries. Matthew P. Evett, James A. Hendler, William A. Andersen |
| 1993 | Matching 100, 000 Learned Rules. Robert B. Doorenbos |
| 1993 | Minimal Belief and Negation as Failure: A Feasible Approach. Antje Beringer, Torsten Schaub |
| 1993 | Model Simplification by Asymptotic Order of Magnitude Reasoning. Kenneth Man-kam Yip |
| 1993 | Multiple Dimensions of Generalization In Model-Based Troubleshooting. Randall Davis, Paul Resnick |
| 1993 | Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. David G. Novick, Karen Ward |
| 1993 | Nondeterministic Lisp as a Substrate for Constraint Logic Programming. Jeffrey Mark Siskind, David A. McAllester |
| 1993 | Numeric Reasoning with Relative Orders of Magnitude. Philippe Dague |
| 1993 | Numerical Behavior Envelopes for Qualitative Models. Herbert Kay, Benjamin Kuipers |
| 1993 | OC1: A Randomized Induction of Oblique Decision Trees. Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel |
| 1993 | On Computing Minimal Models. Rachel Ben-Eliyahu, Rina Dechter |
| 1993 | On the Adequateness of the Connection Method. Antje Beringer, Steffen Hölldobler |
| 1993 | On the Consistency of General Constraint-Satisfaction Problems. Philippe Jégou |
| 1993 | On the Masking Effect. Milind Tambe, Paul S. Rosenbloom |
| 1993 | On the Qualitative Structure of Temporally Evolving Visual Motion Fields. Richard P. Wildes |
| 1993 | Overeager Reciprocal Rationality and Mixed Strategy Equilibria. Edmund H. Durfee, Jaeho Lee, Piotr J. Gmytrasiewicz |
| 1993 | Pac-Learning a Restricted Class of Recursive Logic Programs. William W. Cohen |
| 1993 | Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds. Gerald DeJong, Scott W. Bennett |
| 1993 | Planning With Deadlines in Stochastic Domains. Thomas L. Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson |
| 1993 | Polly: A Vision-Based Artificial Agent. Ian Horswill |
| 1993 | Postponing Threats in Partial-Order Planning. David E. Smith, Mark A. Peot |
| 1993 | Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract). Arthur L. Delcher, Simon Kasif, Harry R. Goldberg, William H. Hsu |
| 1993 | Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. Richard Fikes, Wendy G. Lehnert |
| 1993 | Projective Visualization: Acting from Experience. Marc Goodman |
| 1993 | Propositional Logic of Context. Sasa Buvac, Ian A. Mason |
| 1993 | Pruning Duplicate Nodes in Depth-First Search. Larry A. Taylor, Richard E. Korf |
| 1993 | Qualitatively Describing Objects Using Spatial Prepositions. Alicia Abella, John R. Kender |
| 1993 | Quantitative Modeling of Complex Computational Task Environments. Keith Decker, Victor R. Lesser |
| 1993 | Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation. Catherine Baudin, Smadar Kedar, Jody Gevins Underwood, Vinod Baya |
| 1993 | Range Estimation From Focus Using a Non-frontal Imaging Camera. Arun Krishnan, Narendra Ahuja |
| 1993 | Real-Time Self-Explanatory Simulation. Franz G. Amador, Adam Finkelstein, Daniel S. Weld |
| 1993 | Reasoning Precisely with Vague Concepts. Nita Goyal, Yoav Shoham |
| 1993 | Reasoning With Characteristic Models. Henry A. Kautz, Michael J. Kearns, Bart Selman |
| 1993 | Reasoning about only Knowing with Many Agents. Joseph Y. Halpern |
| 1993 | Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. Subbarao Kambhampati, Jengchin Chen |
| 1993 | Representing and Using Procedural Knowledge to Build Geometry Proofs. Thomas F. McDougal, Kristian J. Hammond |
| 1993 | Restricted Monotonicity. Vladimir Lifschitz |
| 1993 | Revision by Conditional Beliefs. Craig Boutilier, Moisés Goldszmidt |
| 1993 | Rough Resolution: A Refinement of Resolution to Remove Large Literals. Heng Chu, David A. Plaisted |
| 1993 | Scientific Model-Building as Search in Matrix Spaces. Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon |
| 1993 | Selective Perception for Robot Driving. Douglas A. Reece, Steven A. Shafer |
| 1993 | Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis. Matthew Brand, Lawrence Birnbaum, Paul R. Cooper |
| 1993 | Slack-Based Heuristics for Constraint Satisfaction Scheduling. Stephen F. Smith, Cheng-Chung Cheng |
| 1993 | Solving the Really Hard Problems with Cooperative Search. Tad Hogg, Colin P. Williams |
| 1993 | Subnormal Modal Logics for Knowledge Representation. Grigori Schwarz, Miroslaw Truszczynski |
| 1993 | Supporting and Optimizing Full Unification in a Forward Chaining Rule System. Howard E. Shrobe |
| 1993 | Task Interdependencies in Design-to-time Real-time Scheduling. Alan Garvey, Marty Humphrey, Victor R. Lesser |
| 1993 | The Breakout Method for Escaping from Local Minima. Paul Morris |
| 1993 | The Frame Problem and Knowledge-Producing Actions. Richard B. Scherl, Hector J. Levesque |
| 1993 | The Paradoxical Success of Fuzzy Logic. Charles Elkan |
| 1993 | The Semantics of Event Prevention. Charles L. Ortiz Jr. |
| 1993 | Threat-Removal Strategies for Partial-Order Planning. Mark A. Peot, David E. Smith |
| 1993 | Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract. Edward A. Feigenbaum |
| 1993 | Time-Saving Tips for Problem Solving with Incomplete Information. Michael R. Genesereth, Illah R. Nourbakhsh |
| 1993 | Towards Knowledge-Level Analysis of Motion Planning. Ronen I. Brafman, Jean-Claude Latombe, Yoav Shoham |
| 1993 | Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors. Jack Mostow, Alexander G. Hauptmann, Lin Lawrence Chase, Steven F. Roth |
| 1993 | Towards an Understanding of Hill-Climbing Procedures for SAT. Ian P. Gent, Toby Walsh |
| 1993 | Understanding Linkages. Howard E. Shrobe |
| 1993 | Using an Annotated Language Corpus as a Virtual Stochastic Grammar. Rens Bod |
| 1993 | Winning the AAAI Robot Competition. David Kortenkamp, Marcus J. Huber, Charles J. Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth |