• 
  Richard Fikes, Wendy G. Lehnert (Eds.): Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Press / The MIT Press 1993 ISBN 0-262-51071-5

Automated Reasoning

• 
  Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. 2-8
• 
  Antje Beringer, Steffen Hölldobler: On the Adequateness of the Connection Method. 9-14
• 
  Heng Chu, David A. Plaisted: Rough Resolution: A Refinement of Resolution to Remove Large Literals. 15-20
• 
  James M. Crawford, Larry D. Auton: Experimental Results on the Crossover Point in Satisfiability Problems. 21-27
• 
  Ian P. Gent, Toby Walsh: Towards an Understanding of Hill-Climbing Procedures for SAT. 28-33
• 
  Henry A. Kautz, Michael J. Kearns, Bart Selman: Reasoning With Characteristic Models. 34-39
• 
  Paul Morris: The Breakout Method for Escaping from Local Minima. 40-45
• 
  Bart Selman, Henry A. Kautz: An Empirical Study of Greedy Local Search for Satisfiability Testing. 46-51

Case-Based Reasoning

• 
  Marc Goodman: Projective Visualization: Acting from Experience. 54-59
• 
  Thomas F. McDougal, Kristian J. Hammond: Representing and Using Procedural Knowledge to Build Geometry Proofs. 60-65
• 
  Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak: Case-Based Diagnostic Analysis in a Blackboard Architecture. 66-72
• 
  Roland Zito-Wolf, Richard Alterman: A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge. 73-78

Complexity in Machine Learning

• 
  William W. Cohen: Cryptographic Limitations on Learning One-Clause Logic Programs. 80-85
• 
  William W. Cohen: Pac-Learning a Restricted Class of Recursive Logic Programs. 86-92
• 
  Michael Frazier, C. David Page Jr.: Learnability in Inductive Logic Programrning: Some Basic Results and Techniques. 93-98
• 
  Sven Koenig, Reid G. Simmons: Complexity Analysis of Real-Time Reinforcement Learning. 99-107
• 
  Christian Bessière, Marie-Odile Cordier: Arc-Consistency and Arc-Consistency Again. 108-113
• 
  Philippe Jégou: On the Consistency of General Constraint-Satisfaction Problems. 114-119
• 
  Steven Minton: Integrating Heuristics for Constraint Satisfaction Problems: A Case Study. 120-126
• 
  Eddie Schwalb, Rina Dechter: Coping With Disjunctions in Temporal Constraint Satisfaction Problems. 127-132
• 
  Jeffrey Mark Siskind, David A. McAllester: Nondeterministic Lisp as a Substrate for Constraint Logic Programming. 133-138
• 
  Stephen F. Smith, Cheng-Chung Cheng: Slack-Based Heuristics for Constraint Satisfaction Scheduling. 139-144
• 
  Toshikazu Tanimoto: A Constraint Decomposition Method for Spatio-Temporal Configuration Problems. 145-151
• 
  Colin P. Williams, Tad Hogg: Extending Deep Structure. 152-157

Diagnostic Reasoning

• 
  Randall Davis, Paul Resnick: Multiple Dimensions of Generalization In Model-Based Troubleshooting. 160-167
• 
  Michel P. Féret, Janice I. Glasgow: Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices. 168-175
• 
  Ira J. Haimowitz, Isaac S. Kohane: An Epistemology for Clinically Significant Trends. 176-181
• 
  Ying Sun, Daniel S. Weld: A Framework for Model-Based Repair. 182-187

Discourse Analysis

• 
  Arne Jönsson: A Method for Development of Dialogue Managers for Natural Language Interfaces. 190-195
• 
  David G. Novick, Karen Ward: Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. 196-201
• 
  Ingrid Zukerman, Richard McConachy: An Optimizing Method for Structuring Inferentially Linked Discourse. 202-207

Distributed Problem Solving

• 
  Keith Decker, Victor R. Lesser: A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks. 210-216
• 
  Keith Decker, Victor R. Lesser: Quantitative Modeling of Complex Computational Task Environments. 217-224
• 
  Edmund H. Durfee, Jaeho Lee, Piotr J. Gmytrasiewicz: Overeager Reciprocal Rationality and Mixed Strategy Equilibria. 225-230
• 
  Tad Hogg, Colin P. Williams: Solving the Really Hard Problems with Cooperative Search. 231-236
• 
  Andrew P. Kosoresow: A Fast First-Cut Protocol for Agent Coordination. 237-242
• 
  Sarit Kraus: Agents Contracting Tasks in Non-Collaborative Environments. 243-248
• 
  Victor R. Lesser, Izaskun Gallastegi, Hamid Nawab, Frank Klassner: IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments. 249-255
• 
  Tuomas Sandholm: An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations. 256-262

Intelligent User Interfaces

• 
  Patrice O. Gautier, Thomas R. Gruber: Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering. 264-270
• 
  Vibhu O. Mittal, Cécile Paris: Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts. 271-276
• 
  R. Bharat Rao, Stephen C. Y. Lu: Building Models to Support Synthesis in Early Stage Product Design. 277-282
• 
  Adelheit Stein, Ulrich Thiel: A Conversational Model of Multimodal Interaction in Information Systems. 283-288

Large Scale Knowledge Bases

• 
  Robert B. Doorenbos: Matching 100, 000 Learned Rules. 290-296
• 
  Matthew P. Evett, James A. Hendler, William A. Andersen: Massively Parallel Support for Computationally Effective Recognition Queries. 297-302
• 
  Hiroaki Kitano, Hideo Shimazu, Akihiro Shibata: Case-Method: A Methodology for Building Large-Scale Case-Based Systems. 303-308
• 
  Richard Osgood, Ray Bareiss: Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems. 309-314

Machine Learning

• 
  Arthur L. Delcher, Simon Kasif, Harry R. Goldberg, William H. Hsu: Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract). 316-321
• 
  Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel: OC1: A Randomized Induction of Oblique Decision Trees. 322-327
• 
  Michael J. Pazzani, Clifford Brunk: Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. 328-334
• 
  Mehran Sahami: Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. 335-341

Natural Language Generation

• 
  Michael Elhadad: Generating Argumentative Judgment Determiners. 344-349
• 
  Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, Makoto Nagao: Bidirectional Chart Generation of Natural Language Texts. 350-356
• 
  Mark T. Maybury: Communicative Acts for Generating Natural Language Arguments. 357-364
• 
  Jacques Robin, Kathleen McKeown: Corpus Analysis for Revision-Based Generation of Complex Sentences. 365-372

Natural Language Analysis

• 
  Bonnie J. Dorr, Clare R. Voss: Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System. 374-379
• 
  Kurt P. Eiselt, Kavi Mahesh, Jennifer K. Holbrook: Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing. 380-385
• 
  Christian R. Huyck, Steven L. Lytinen: Efficient Heuristic Natural Language Parsing. 386-391
• 
  Jack Mostow, Alexander G. Hauptmann, Lin Lawrence Chase, Steven F. Roth: Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors. 392-397

Nonmonotonic Logic

• 
  Antje Beringer, Torsten Schaub: Minimal Belief and Negation as Failure: A Feasible Approach. 400-405
• 
  Philippe Besnard, Torsten Schaub: A Context-Based Framework for Default Logics. 406-411
• 
  Sasa Buvac, Ian A. Mason: Propositional Logic of Context. 412-419
• 
  James Cussens, Anthony Hunter, Ashwin Srinivasan: Generating Explicit Orderings for Non-monotonic Logics. 420-425
• 
  Nita Goyal, Yoav Shoham: Reasoning Precisely with Vague Concepts. 426-431
• 
  Vladimir Lifschitz: Restricted Monotonicity. 432-437
• 
  Grigori Schwarz, Miroslaw Truszczynski: Subnormal Modal Logics for Knowledge Representation. 438-443
• 
  Zbigniew Stachniak: Algebraic Sematics for Cumulative Inference Operations. 444-449

Novel Methods in Knowledge Acquisition

• 
  Catherine Baudin, Smadar Kedar, Jody Gevins Underwood, Vinod Baya: Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation. 452-458
• 
  Pattie Maes, Robyn Kozierok: Learning Interface Agents. 459-465
• 
  Somkiat Tangkitvanich, Masamichi Shimura: Learning from an Approximate Theory and Noisy Examples. 466-471
• 
  Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon: Scientific Model-Building as Search in Matrix Spaces. 472-478

Plan Generation

• 
  Tom Bylander: An Average Case Analysis of Planning. 480-485
• 
  Soowon Lee, Paul S. Rosenbloom: Granularity in Multi-Method Planning. 486-491
• 
  Mark A. Peot, David E. Smith: Threat-Removal Strategies for Partial-Order Planning. 492-499
• 
  David E. Smith, Mark A. Peot: Postponing Threats in Partial-Order Planning. 500-506

Plan Learning

• 
  Gerald DeJong, Scott Bennett: Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds. 508-513
• 
  Subbarao Kambhampati, Jengchin Chen: Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. 514-519
• 
  Rüdiger Oehlmann, Derek H. Sleeman, Peter Edwards: Learning Plan Transformations from Self-Questions: A Memory-Based Approach. 520-525
• 
  Milind Tambe, Paul S. Rosenbloom: On the Masking Effect. 526-533

Qualitative Reasoning

• 
  Alicia Abella, John R. Kender: Qualitatively Describing Objects Using Spatial Prepositions. 536-540
• 
  Philippe Dague: Numeric Reasoning with Relative Orders of Magnitude. 541-547
• 
  Marek J. Druzdzel, Max Henrion: Efficient Reasoning in Qualitative Probabilistic Networks. 548-553
• 
  Toyoaki Nishida: Generating Quasi-symbolic Representation of Three-Dimensional Flow. 554-559

Real-Time Planning and Simulation

• 
  Franz G. Amador, Adam Finkelstein, Daniel S. Weld: Real-Time Self-Explanatory Simulation. 562-567
• 
  David Ash, Barbara Hayes-Roth: A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance. 568-573
• 
  Thomas L. Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson: Planning With Deadlines in Stochastic Domains. 574-579
• 
  Alan Garvey, Marty Humphrey, Victor R. Lesser: Task Interdependencies in Design-to-time Real-time Scheduling. 580-585

Reasoning about Physical Systems

• 
  Matthew Brand, Lawrence Birnbaum, Paul R. Cooper: Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis. 588-593
• 
  Thomas Ellman, John Eric Keane, Mark Schwabacher: Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. 594-599
• 
  Brian Falkenhainer: Ideal Physical Systems. 600-605
• 
  Herbert Kay, Benjamin Kuipers: Numerical Behavior Envelopes for Qualitative Models. 606-613
• 
  Wood W. Lee, Benjamin Kuipers: A Qualitative Method to Construct Phase Portraits. 614-619
• 
  Howard E. Shrobe: Understanding Linkages. 620-625
• 
  Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran: CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. 626-633
• 
  Kenneth Man-kam Yip: Model Simplification by Asymptotic Order of Magnitude Reasoning. 634-640

Representation and Reasoning

• 
  Craig Boutilier, Verónica Becher: Abduction As Belief Revision: A Model of Preferred Explanations. 642-648
• 
  Craig Boutilier, Moisés Goldszmidt: Revision by Conditional Beliefs. 649-654
• 
  Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. 655-661
• 
  Gerhard Lakemeyer: All They Know About. 662-667

Representation for Actions and Motion

• 
  Ronen I. Brafman, Jean-Claude Latombe, Yoav Shoham: Towards Knowledge-Level Analysis of Motion Planning. 670-675
• 
  Chung Hee Hwang, Lenhart K. Schubert: EL: A Formal, Yet Natural, Comprehensive Knowledge Representation. 676-682
• 
  Charles L. Ortiz Jr.: The Semantics of Event Prevention. 683-688
• 
  Richard B. Scherl, Hector J. Levesque: The Frame Problem and Knowledge-Producing Actions. 689-695

Rule-Based Reasoning

• 
  Charles Elkan: The Paradoxical Success of Fuzzy Logic. 698-703
• 
  Clifford Grossner, Alun D. Preece, P. Gokul Chander, Thiruvengadam Radhakrishnan, Ching Y. Suen: Exploring the Structure of Rule Based Systems. 704-709
• 
  Howard E. Shrobe: Supporting and Optimizing Full Unification in a Forward Chaining Rule System. 710-715
• 
  Atsushi Sugiura, Maximilian Riesenhuber, Yoshiyuki Koseki: Comprehensibility Improvement of Tabular Knowledge Bases. 716-721

Search

• 
  Michael R. Genesereth, Illah R. Nourbakhsh: Time-Saving Tips for Problem Solving with Incomplete Information. 724-730
• 
  Philippe Jégou: Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. 731-736
• 
  Dorothy Neville, Daniel S. Weld: Innovative Design as Systematic Search. 737-742
• 
  Armand Prieditis, Bhaskar Janakiraman: Generating Effective Admissible Heuristics by Abstraction and Reconstitution. 743-748
• 
  Foster J. Provost: Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias. 749-755
• 
  Larry A. Taylor, Richard E. Korf: Pruning Duplicate Nodes in Depth-First Search. 756-761
• 
  Richard J. Wallace, Eugene C. Freuder: Conjunctive Width Heuristics for Maximal Constraint Satisfaction. 762-768
• 
  Weixiong Zhang, Richard E. Korf: Depth-First vs. Best-First Search: New Results. 769-775

Statistically-Based Natural Language Processing

• 
  Rens Bod: Using an Annotated Language Corpus as a Virtual Stochastic Grammar. 778-783
• 
  Eugene Charniak, Curtis Hendrickson, Neil Jacobson, Mike Perkowitz: Equations for Part-of-Speech Tagging. 784-789
• 
  Dekai Wu: Estimating Probability Distributions over Hypotheses with Variable Unification. 790-795

Trainable Natural Language Systems

• 
  Claire Cardie: A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis. 798-803
• 
  Van E. Kelly, Mark A. Jones: KITSS: A Knowledge-Based Translation System for Test Scenarios. 804-810
• 
  Ellen Riloff: Automatically Constructing a Dictionary for Information Extraction Tasks. 811-816
• 
  John M. Zelle, Raymond J. Mooney: Learning Semantic Grammars with Constructive Inductive Logic Programming. 817-822

Vision Processing

• 
  Ian Horswill: Polly: A Vision-Based Artificial Agent. 824-829
• 
  Arun Krishnan, Narendra Ahuja: Range Estimation From Focus Using a Non-frontal Imaging Camera. 830-835
• 
  Hiroshi Murase, Shree K. Nayar: Learning Object Models from Appearance. 836-843
• 
  Richard P. Wildes: On the Qualitative Structure of Temporally Evolving Visual Motion Fields. 844-849

Invited Talks

• 
  Edward A. Feigenbaum: Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract. 852
• 
  Herbert A. Simon: Artificial Intelligence as an Experimental Science (Abstract). 853

Video Abstracts

• 
  D. Richard Hipp, Ronnie W. Smith: A Demonstration of the "Circuit Fix-it Shoppe". 856
• 
  Scott B. Huffman, John E. Laird: Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). 857
• 
  David Kortenkamp, Marcus J. Huber, Charles J. Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth: Winning the AAAI Robot Competition. 858-859
• 
  Douglas J. Pearson, Randolph M. Jones, John E. Laird: AIR-SOAR: Intelligent Multi-Level Control. 860-861
• 
  Douglas A. Reece, Steven A. Shafer: Selective Perception for Robot Driving. 862
• 
  Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas: Computer Vision Research at the University of Massachusetts. 863
• 
  Alessandro Saffiotti, Nicolas Helft, Kurt Konolige, John D. Lowrance, Karen L. Myers, Daniela Musto, Enrique H. Ruspini, Leonard P. Wesley: A Fuzzy Controller for Flakey, the Robot. 864