| 1993 | A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types. Brian R. Gaines |
| 1993 | A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition. Christian Jacquemin |
| 1993 | A Collaboration Mechanism on Positive Interactions in Multi-agent Environments. Kei Matsubayashi, Mario Tokoro |
| 1993 | A Comprehensive and Practical Model of Memory-Based Machine Translation. Hiroaki Kitano |
| 1993 | A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition. Lokendra Shastri |
| 1993 | A Domain Theory for Task Oriented Negotiation. Gilad Zlotkin, Jeffrey S. Rosenschein |
| 1993 | A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis. Gautam Biswas, Xudong Yu |
| 1993 | A Language for Implementing Arbitrary Logics. Mark Tarver |
| 1993 | A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases. Suryanarayana M. Sripada |
| 1993 | A Methodology for Evaluating Theory Revision Systems: Results with Audrey II. James Wogulis, Michael J. Pazzani |
| 1993 | A Model-Theoretic Approach to the Verification of Situated Reasoning Systems. Anand S. Rao, Michael P. Georgeff |
| 1993 | A Multi-Dimensional Terminological Knowledge Representation Language. Hans Jürgen Ohlbach |
| 1993 | A New Algorithm for Incremental Prime Implicate Generation. Teow-Hin Ngair |
| 1993 | A New Logical framework for Deductive Planning. Werner Stephan, Susanne Biundo |
| 1993 | A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems. Antoni Ligeza |
| 1993 | A Parameterised Module System for Constructing Typed Logic Programs. Patricia M. Hill |
| 1993 | A Representationalist Theory of Intention. Kurt Konolige, Martha E. Pollack |
| 1993 | A Scheme for Agent Collaboration in Open Multiagent Environments. Eiichi Osawa |
| 1993 | A Stochastic Approach to Qualitative Simulation using Markov Processes. Wilfried Grossmann, Hannes Werthner |
| 1993 | A Symbolic Model for Learning the Past-Tenses of English Verbs. Charles X. Ling, Steven Cherwenka, Marin Marinov |
| 1993 | A Terminological Logic with Defaults: A Definition and an Application. Lin Padgham, Tingting Zhang |
| 1993 | A Theory of Clausal Discovery. Luc De Raedt, Maurice Bruynooghe |
| 1993 | A Tractable Class of Abduction Problems. Kave Eshghi |
| 1993 | AI Adventures Worth Writing Home About. Miroslav Benda |
| 1993 | AI Models as a Variety of Psychological Explanation. Kieron O'Hara, Nigel Shadbolt |
| 1993 | AI Multimedia and Education. Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson |
| 1993 | ALEPS: The Automated Logistics Element Planning System. Rodney S. Daughtrey, David Michael Brady |
| 1993 | ANTLIMA - A Listener Model with Mental Images. Jörg R. J. Schirra, Eva Stopp |
| 1993 | Abduction and Dynamic Preference in Plan-Based Dialogue Understanding. Katashi Nagao |
| 1993 | Abstraction via Approximate Symmetry. Thomas Ellman |
| 1993 | Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision. Michael J. Black, Yiannis Aloimonos, Christopher M. Brown, Ian Horswill, Jitendra Malik, Giulio Sandini, Michael J. Tarr |
| 1993 | Active Color Image Analysis for Recognizing Shadows. Gareth Funka-Lea, Ruzena Bajcsy |
| 1993 | Agents Habitats and Routine Behavior. Richard Alterman, Roland Zito-Wolf |
| 1993 | All They Know: A Study in Multi-Agent Autoepistemic Reasoning. Gerhard Lakemeyer |
| 1993 | An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. Gerhard Brewka, Kurt Konolige |
| 1993 | An Analytic Learning System for Specializing Heuristics. Steven Minton |
| 1993 | An Approach to Analyzing the Need for Meta-Level Communication. Keith Decker, Victor R. Lesser |
| 1993 | An Inductive Approach to Learning Search Control Rules for Planning. Christopher Leckie, Ingrid Zukerman |
| 1993 | An Interactive System to Learn Functional Logic Programs. Francesco Bergadano, Daniele Gunetti |
| 1993 | An Uncertainty Model of Stereo Vision and its Application to Vision-Motion Planning of Robot. Jun Miura, Yoshiaki Shirai |
| 1993 | Anytime Sensing Planning and Action: A Practical Model for Robot Control. Shlomo Zilberstein, Stuart Russell |
| 1993 | Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation. Dekai Wu |
| 1993 | Are Many Reactive Agents Better Than a Few Deliberative Ones? Kevin Knight |
| 1993 | Artificial Thought and Emergent Mind. Ivan M. Havel |
| 1993 | Automated Trend Detection with Alternate Temporal Hypotheses. Ira J. Haimowitz, Isaac S. Kohane |
| 1993 | Automatic Case Analysis in Proof by Induction. Adel Bouhoula, Michaël Rusinowitch |
| 1993 | Automatic Documentation Generation: The Rnteraction of Text and Examples. Vibhu O. Mittal, Cécile Paris |
| 1993 | Automatic Generation of Some Results in Finite Algebra. Masayuki Fujita, John K. Slaney, Frank Bennett |
| 1993 | Average-Case Analysis of a Nearest Neighbor Algorithm. Pat Langley, Wayne Iba |
| 1993 | Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities. David Poole |
| 1993 | Avoiding Pitfalls When Learning Recursive Theories. R. Mike Cameron-Jones, J. Ross Quinlan |
| 1993 | Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework. Didier Dubois, Henri Prade |
| 1993 | Bidirectional Best-First Search with Bounded Error: Summary of Results. Andreas L. Köll, Hermann Kaindl |
| 1993 | Bottom-up Abduction by Model Generation. Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
| 1993 | Case Retrieval through Multiple Indexing and Heuristic Search. Edwina L. Rissland, David B. Skalak, M. Timur Friedman |
| 1993 | Characterizing Subgoal Interactions for Planning. Anthony Barrett, Daniel S. Weld |
| 1993 | Characterizing and Automatically Finding Primary Effects in Planning. Eugene Fink, Qiang Yang |
| 1993 | Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription. Kwok-Keung Yum, Thomas J. Richards |
| 1993 | Collaborative Plans for Group Activities. Barbara J. Grosz, Sarit Kraus |
| 1993 | Combining FOIL and EBG to Speed-up Logic Programs. John M. Zelle, Raymond J. Mooney |
| 1993 | Combining Induction Axioms by Machine. Christoph Walther |
| 1993 | Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA. Alexander Reinefeld |
| 1993 | Complex Concept Acquisition through Directed Search and Feature Caching. Harish Ragavan, Larry A. Rendell, Michael J. Shaw, Antoinette Tessmer |
| 1993 | Complexity Results for SAS+ Planning. Christer Bäckström, Bernhard Nebel |
| 1993 | Compositional Model-Based Design. Prasanta K. Bose, Shankar A. Rajamoney |
| 1993 | Computer-Aided Creative Mechanism Design. Boi Faltings, Kun Sun |
| 1993 | Computers and Thought Award : Challenges of Massive Parallelism. Hiroaki Kitano |
| 1993 | Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL. Béchir el Ayeb, Shengrui Wang |
| 1993 | Conceptual Design and Artificial Intelligence. Devika Subramanian |
| 1993 | Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System. Pierre Basso |
| 1993 | Connections Between the ATMS and AGM Belief Revision. Simon Dixon, Norman Y. Foo |
| 1993 | Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems. Jeffrey S. Rosenschein |
| 1993 | Consistency Techniques for Numeric CSPs. Olivier Lhomme |
| 1993 | Constraint Based Automatic Construction and Manipulation of Geometric Figures. Richard Allen, Jeanne Idt, Laurent Trilling |
| 1993 | Constructive Inductive Logic Programming. Stephane Lapointe, Charles X. Ling, Stan Matwin |
| 1993 | Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5. Ricardo Caferra, Stéphane Demri |
| 1993 | Critical Reasoning. Olivier Raiman, Johan de Kleer, Vijay A. Saraswat |
| 1993 | Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. Thomas Eiter, Georg Gottlob, Yuri Gurevich |
| 1993 | Decidable Reasoning in Terminological Knowledge Representation Systems. Martin Buchheit, Francesco M. Donini, Andrea Schaerf |
| 1993 | Decision Trees in Numerical Attribute Spaces. Thierry Van de Merckt |
| 1993 | Decision-Theoretic Salience Interactions in Language Generation. T. Pattabhiraman, Nick Cercone |
| 1993 | Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. Umberto Straccia |
| 1993 | Deriving Properties of Belief Update from Theories of Action (II). Alvaro del Val, Yoav Shoham |
| 1993 | Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum |
| 1993 | Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash. Claudia Böttcher, Oskar Dressler |
| 1993 | Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty. Marc Riese |
| 1993 | Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment. Massimo Zancanaro, Oliviero Stock, Carlo Strapparava |
| 1993 | Difference Unification. David A. Basin, Toby Walsh |
| 1993 | Domain Filtering can Degrade Intelligent Backtracking Search. Patrick Prosser |
| 1993 | Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. Bart Selman, Henry A. Kautz |
| 1993 | Dynamic Conflict Resolution in a Connectionist Rule-Based System. Clayton McMillan, Michael Mozer, Paul Smolensky |
| 1993 | Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model. Trent E. Lange, Charles M. Wharton |
| 1993 | Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent Paths. Thierry Fraichard, Christian Laugier |
| 1993 | Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems. William W. Cohen |
| 1993 | Efficient Temporal Reasoning through Timegraphs. Alfonso Gerevini, Lenhart K. Schubert |
| 1993 | Elements of a Utilitarian Theory of Knowledge and Action. Piotr J. Gmytrasiewicz, Edmund H. Durfee |
| 1993 | Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems. Ursula M. Schwuttke, Alan G. Quan |
| 1993 | Epistemic Extension of Propositional Preference Logics. Jacques Wainer |
| 1993 | Estimating the Accuracy of Learned Concepts. Timothy L. Bailey, Charles Elkan |
| 1993 | Evolutionary Learning Strategy using Bug-Based Search. Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato |
| 1993 | Example-Based Machine Translation on Massively Parallel Processors. Eiichiro Sumita, Kozo Oi, Osamu Furuse, Hitoshi Iida, Tetsuya Higuchi, Naoto Takahashi, Hiroaki Kitano |
| 1993 | Expert System Validation through Knowledge Base Refinement. Pedro Meseguer |
| 1993 | Explanation in the Situation Calculus. Murray Shanahan |
| 1993 | Exploiting Domain structure to Achieve Efficient Temporal Reasoning. Mike Williamson, Steve Hanks |
| 1993 | Exploiting Interchangeabilities in Constraint-Satisfaction Problems. Alois Haselböck |
| 1993 | Exploiting Irrelevance Reasoning to Guide Problem Solving. Alon Y. Levy, Yehoshua Sagiv |
| 1993 | Extending the Resolution Method with Sorts. Christoph Weidenbach |
| 1993 | FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson |
| 1993 | First-Order Modal Logic Theorem Proving and Functional Simulation. Andreas Nonnengart |
| 1993 | Focusing Construction and Selection of Abductive Hypotheses. David B. Leake |
| 1993 | For an Incremental Computation of Intrasentential Coreference. Paola Merlo |
| 1993 | Fuzzy Causal Simulation in Process Engineering. Kouamana Bousson, Louise Travé-Massuyès |
| 1993 | Fuzzy Logic and AI. John Yen, Piero P. Bonissone, Didier Dubois, Christian Freksa, Ramón López de Mántaras, Enrique H. Ruspini, Lotfi A. Zadeh |
| 1993 | Generalization of the Dempster-Shafer Theory. J. W. Guan, David A. Bell |
| 1993 | Generating Concise Discourse that Addresses a Users Inferences. Ingrid Zukerman, Richard McConachy |
| 1993 | Genetic State-Space Search for Constrained Optimization Problems. Jan Paredis |
| 1993 | Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains. Ron Rymon |
| 1993 | Grand Challenge AI Applications. Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi |
| 1993 | HYDRA: A Noise-tolerant Relational Concept Learning Algorithm. Kamal M. Ali, Michael J. Pazzani |
| 1993 | Heuristically Expanding Knowledge-Based Neural Networks. David W. Opitz, Jude W. Shavlik |
| 1993 | Homing Using Combinations of Model Views. Ronen Basri, Ehud Rivlin |
| 1993 | How Things are Intended to Work: Capturing Functional Knowledge in Device Design. Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran |
| 1993 | How to Prefer More Specific Defaults in Terminological Default Logic. Franz Baader, Bernhard Hollunder |
| 1993 | Hypothetically Speaking Default Reasoning and Discourse-Structure. Andrew Csinger, David Poole |
| 1993 | Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity. Larry A. Rendell, Harish Ragavan |
| 1993 | Inconsistency Management and Prioritized Syntax-Based Entailment. Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade |
| 1993 | Incorporating Syntactic Constraints in Recognizing Handwritten Sentences. Rohini K. Srihari, Charlotte M. Baltus |
| 1993 | Induction of Oblique Decision Trees. David G. Heath, Simon Kasif, Steven Salzberg |
| 1993 | Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling. Monte Zweben, Eugene Davis, Brian Daun, Michael Deale |
| 1993 | Instructions: Language and Behavior. Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott |
| 1993 | Integrating Inductive Neural Network Learning and Explanation-Based Learning. Sebastian Thrun, Tom M. Mitchell |
| 1993 | Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the case of "When Sentences". Paolo Terenziani |
| 1993 | Interpretation as Exception Minimization. Joachim Quantz |
| 1993 | Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon. Kôiti Hasida, Katashi Nagao, Takashi Miyata |
| 1993 | Learning Decision Lists over Tree Patterns and Its Application. Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga |
| 1993 | Learning Finite Automata Using Local Distinguishing Experiments. Wei-Mein Shen |
| 1993 | Learning of Resource Allocation Strategies for Game Playing. Shaul Markovitch, Yaron Sella |
| 1993 | Learning to Achieve Goals. Leslie Pack Kaelbling |
| 1993 | Learning to Coordinate Actions in Multi-Agent-Systems. Gerhard Weiss |
| 1993 | Learning to Represent Codons: A Challenge Problem for Constructive Induction. Mark W. Craven, Jude W. Shavlik |
| 1993 | Liveness and Fairness Properties in Multi-Agent Systems. Hans-Dieter Burkhard |
| 1993 | Logical Specification of Real-Time Granular Systems in an Object Oriented Language. Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto |
| 1993 | Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach. Thomas R. Gruber, Patrice O. Gautier |
| 1993 | Making Cognitive Map of Outdoor Environment. Saburo Tsuji, Shigang Li |
| 1993 | Map Validation and Self-location in a Graph-like World. Gregory Dudek, Michael R. M. Jenkin, Evangelos E. Milios, David Wilkes |
| 1993 | Massively Parallel Support for Efficient Knowledge Representation. Matthew P. Evett, William A. Andersen, James A. Hendler |
| 1993 | Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU. Chung Hee Hwang, Lenhart K. Schubert |
| 1993 | Memory-Based Navigation. Bruno Crespi, Cesare Furlanello, Luigi Stringa |
| 1993 | Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. Luca Console, Gerhard Friedrich, Daniele Theseider Dupré |
| 1993 | More Notes on "A Clash of Intuitions". Raad Al-Asady, A. Narayanan |
| 1993 | Multi-Agent Planning as a Dynamic Search for Social Consensus. Eithan Ephrati, Jeffrey S. Rosenschein |
| 1993 | Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. Usama M. Fayyad, Keki B. Irani |
| 1993 | Multiple Predicate Learning. Luc De Raedt, Nada Lavrac, Saso Dzeroski |
| 1993 | Non-Omniscient Belief as Context-Based Resoning. Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione |
| 1993 | Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems. Anup K. Sen, Amitava Bagchi |
| 1993 | Nonmonotonic Model Inference-A Formalization of Student Modeling. Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi |
| 1993 | Notes on Formalizing Context. John McCarthy |
| 1993 | Off-line Reasoning for On-line Efficiency. Yoram Moses, Moshe Tennenholtz |
| 1993 | On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. Phan Minh Dung |
| 1993 | On the Hardness of Approximate Reasoning. Dan Roth |
| 1993 | On the Polynomial Transparency of Resolution. Reinhold Letz |
| 1993 | On the Semantics of Supernormal Defaults. Stefan Brass |
| 1993 | On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning. Subbarao Kambhampati |
| 1993 | Optimistic Parallel biscrete Relaxation. Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen |
| 1993 | Optimizing the Costs and Benefits of Natural Language Generation. Ehud Reiter, Chris Mellish |
| 1993 | Orientation and Qualitative Angle for Spatial Reasoning. Longin Jan Latecki, Ralf Röhrig |
| 1993 | Oz - A Programming Language for Multi-Agent Systems. Martin Henz, Gert Smolka, Jörg Würtz |
| 1993 | PHI - A Logic-Based Tool for Intelligent Help Systems. Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul |
| 1993 | Path Consistency in a Network of Non-Convex Intervals. Robert A. Morris, William D. Shoaff, Lina Khatib |
| 1993 | Perception and Experience in Problem Solving. Edmund Furse, Rod Nicolson |
| 1993 | Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. Bernhard Nebel, Jana Koehler |
| 1993 | Planning Using Multiple Execution Architectures. Gary H. Ogasawara, Stuart Russell |
| 1993 | Preference-Based Semantics for Nonmonotonic Logics. Frans Voorbraak |
| 1993 | Preferences for Model Selection in Explanation. Daniel D. Suthers |
| 1993 | Prioritising Behaviours in Qualitative Simulation. Roy Leitch, Qiang Shen |
| 1993 | Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993 Ruzena Bajcsy |
| 1993 | Process Control by an Expert System at The Grandpuits Refinery. F. Hartmann |
| 1993 | Provably Bounded Optimal Agents. Stuart J. Russell, Devika Subramanian, Ronald Parr |
| 1993 | Proving Theorems in a Multi-Source Environment. Laurence Cholvy |
| 1993 | QUALTES: A Domain Specific Tool for Electric Power Stations. Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano |
| 1993 | Qualitative Modeling of RNA Structure. Kyungsook Han, Andrew Gelsey |
| 1993 | Qualitative Recognition of Ongoing Human Action Sequences. Yasuo Kuniyoshi, Hirochika Inoue |
| 1993 | Quantifying Beliefs by Belief Functions: An Axiomatic Justification. Philippe Smets |
| 1993 | Reaction-First Search. Mark Drummond, Keith Swanson, John L. Bresina, Richard Levinson |
| 1993 | Reasoning About Persistence: A Theory of Actions. Yan Zhang, Norman Y. Foo |
| 1993 | Recognizing 3-D Motion. Cornelia Fermüller, Yiannis Aloimonos |
| 1993 | Recurrent Neural Networks for Sequence Production. Joachim Diederich, Markus Wasserschaff |
| 1993 | Reducing Ambiguity by Learning Assembly Specific Behaviour. Bert Bredeweg, Cis Schut |
| 1993 | Representing Concurrent Actions in Extended Logic Programming. Chitta Baral, Michael Gelfond |
| 1993 | Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems. Hideo Shimazu, Hiroaki Kitano, Akihiro Shibata |
| 1993 | Revision Sequences and Nested Conditionals. Craig Boutilier |
| 1993 | Rule-Based Regression. Sholom M. Weiss, Nitin Indurkhya |
| 1993 | Rule-Structured Facial Animation System. Catherine Pelachaud, Marie-Luce Viaud, Hussein M. Yahia |
| 1993 | SCOTT: A Model-Guided Theorem Prover. John K. Slaney |
| 1993 | SMART+: A Multi-Strategy Learning Tool. Marco Botta, Attilio Giordana |
| 1993 | Satisfiability of Boolean Formulas over Linear Constraints. Henri Beringer, Bruno De Backer |
| 1993 | Second Order Measures for Uncertainty Processing. Zdenek Zdráhal |
| 1993 | Selective Attention in Dynamic Vision. Richard J. Howarth, Hilary Buxton |
| 1993 | Semantical and Computational Aspects of Horn Approximations. Marco Cadoli |
| 1993 | Sequence Extrapolation. Philip D. Laird, Ronald Saul |
| 1993 | Situation Recognition: Representation and Algorithms. Christophe Dousson, Paul Gaborit, Malik Ghallab |
| 1993 | Social Knowledge and Social Action: Heterogeneity in Practice. Les Gasser |
| 1993 | Solving Geometric Constraint Satisfaction Problems for Spatial Planning. Franck du Verdier |
| 1993 | Soundness and Completeness Theorems for Three Formalizations of Action. G. Neelakantan Kartha |
| 1993 | Source Code Informal Information Analysis Using Connectionist Models. Ettore Merlo, Ian McAdam, Renato De Mori |
| 1993 | Spatial Reasoning and Connectionist Inference. Antje Beringer, Steffen Hölldobler, Franz J. Kurfess |
| 1993 | Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools. Henrik Eriksson |
| 1993 | Spoken Language Translation System. Gen-ichiro Kikui, Mark Seligman, Toshiyuki Takezawa, Masami Suzuki, Kenji Kita, Tsuyoshi Morimoto, Masaaki Nagata, Toshihisa Tashiro, Herbert S. Tropf, Shigeki Sagayama, Jun-ichi Takami, Kazumi Ohkura, Akira Kurematsu |
| 1993 | Statistical Foundations for Default Reasoning. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
| 1993 | Structure and Rules in Automated Multimedia Presentation Planning. Yigal Arens, Eduard H. Hovy, Susanne van Mulken |
| 1993 | Symbolic Reasoning with Relative Orders of Magnitude. Philippe Dague |
| 1993 | Symbolic Revision of Theories with M-of-N Rules. Paul T. Baffes, Raymond J. Mooney |
| 1993 | Syntactic Characterizations of Belief Change Operators. Alvaro del Val |
| 1993 | TDIS : an Algebraic Formalization. Jean-Gabriel Ganascia |
| 1993 | TELECOM and AI: The Emperors New Clothes? Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder |
| 1993 | TREE: the Heuristic Driven Join Strategy of a RETE-Like Matcher. Jacques Bouaud |
| 1993 | Tense and Aspect: A Mereological Approach. Enrico Franconi, Alessandra Giorgi, Fabio Pianesi |
| 1993 | Test Case Generation using KBS Strategy. Laurence Vignollet, Ruddy Lelouche |
| 1993 | The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. Thomas Eiter, Georg Gottlob |
| 1993 | The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. Robert Dionne, Eric Mays, Frank J. Oles |
| 1993 | The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design. Susan J. Lederman |
| 1993 | The Logic of Cognitive Action. Johan van Benthem |
| 1993 | The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. Georg Gottlob |
| 1993 | The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. Erik Sandewall |
| 1993 | The Statistical Learning of Accurate Heuristics. Anna Bramanti-Gregor, Henry W. Davis |
| 1993 | The Use of Geons for Generic 3D Object Recognition. Sven J. Dickinson, Robert Bergevin, Irving Biederman, Jan-Olof Eklundh, Roger Munck-Fairwood, Alex Pentland |
| 1993 | Theory Diagnoses: A Concise Characterization of Faulty Systems. Gerhard Friedrich |
| 1993 | Toward Flexible Intelligence: MITI's New Program of Real World Computing. Nobuyuki Otsu |
| 1993 | Towards an Integrated Logic of Space, Time and Motion. Antony Galton |
| 1993 | Understanding Spoken Natural Language with Omni-Directional Information Flow. Katashi Nagao, Kôiti Hasida, Takashi Miyata |
| 1993 | Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents. Susan E. Lander, Victor R. Lesser |
| 1993 | Using Classification as a Programming Language. Chris Mellish, Ehud Reiter |
| 1993 | Using Device Models to Facilitate the Retrieval of Multimedia Design Information. Catherine Baudin, Jody Gevins Underwood, Vinod Baya |
| 1993 | Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems. Eugene C. Freuder, Paul D. Hubbe |
| 1993 | Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds. Gregory Dudek, Paul Freedman, Souad Hadjres |
| 1993 | Using the Affective Reasoner to Support Social Simulations. Clark Elliott |
| 1993 | Verbal Case Frame Acquisition from Bilingual Corpora. Takehito Utsuro, Yuji Matsumoto, Makoto Nagao |
| 1993 | Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research. Hirochika Inoue |
| 1993 | W - A Logic System Based on the Shared Common Knowledge Views. Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li |
| 1993 | When Functional and Bijective Constraints Make a CSP Polynomial. Philippe David |
| 1993 | Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs. Richard J. Wallace |