| 1991 | A Cognitive Model of Figure Segregation. Akira Shimaya, Isamu Yoroizawa |
| 1991 | A Correspondence Theory for Terminological Logics: Preliminary Report. Klaus Schild |
| 1991 | A Decision-Theoretic Approach to Coordinating Multi-agent Interactions. Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe |
| 1991 | A Formal Model for Classical Planning. Jens Christensen, Adam J. Grove |
| 1991 | A Formalization of Explanation-Based Macro-operator Learning. Prasad Tadepalli |
| 1991 | A Geometric Approach to Total Envisioning. Toyoaki Nishida, Shuji Doshita |
| 1991 | A Hybrid Genetic Algorithm for Classification. James D. Kelly Jr., Lawrence Davis |
| 1991 | A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. Jean Christophe Madre, Olivier Coudert |
| 1991 | A Macro Actor/Token Implementation of Production Systems on a Data-Mow Multiprocessor. Andrea Sohn, Jean-Luc Gaudiot |
| 1991 | A Message Passing Algorithm for Plan Recognition. Dekang Lin, Randy Goebel |
| 1991 | A Methodology for Systematic Verification of OPS5-Based AI Applications. G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala |
| 1991 | A Model Elimination Calculus for Generalized Clauses. Toni Bollinger |
| 1991 | A Model of Decidable Introspective Reasoning with Quantifying-In. Gerhard Lakemeyer |
| 1991 | A Model of Events and Processes. Periklis Belegrinos, Michael P. Georgeff |
| 1991 | A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1. Sukhamay Kundu |
| 1991 | A Non-shared Binding Scheme for Parallel Prolog Implementation. Kang Zhang, Ray Thomas |
| 1991 | A Parsing Method for Identifying Words in Mandarin Chinese Sentences. Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li, Lih-Ching R. Huang |
| 1991 | A Pictorial Approach to Object Classification. Yerucham Shapira, Shimon Ullman |
| 1991 | A Resolution Method for Temporal Logic. Michael Fisher |
| 1991 | A Scheme for Feature Construction and a Comparison of Empirical Methods. Der-Shung Yang, Larry A. Rendell, Gunnar Blix |
| 1991 | A Scheme for Integrating Concrete Domains into Concept Languages. Franz Baader, Philipp Hanschke |
| 1991 | A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. David S. Touretzky, Richmond H. Thomason, John F. Horty |
| 1991 | A Unified View of Consequence Relation, Belief Revision and Conditional Logic. Hirofumi Katsuno, Ken Satoh |
| 1991 | AI and Design. Saul Amarel, Alvin M. Despain, H. Penny Nii, Louis I. Steinberg, Marty Tenenbaum, Peter M. Will |
| 1991 | AI in Telecommunications. Andrew Jennings, Adam E. Irgon, Akira Kurematsu, Greg Vessonder, Jon R. Wright |
| 1991 | Acquiring Knowledge by Efficient Query Learning. Achim G. Hoffmann, Sunil Thakar |
| 1991 | Actions and Movements. David J. Israel, John Perry, Syun Tutiya |
| 1991 | Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines. Anup K. Sen, Amitava Bagchi, Bani K. Sinha |
| 1991 | An Architecture for Visualizing the Execution of Parallel Logic Programs. Mike Brayshaw |
| 1991 | An Augmented EBL and its Application to the Utility Problem. Masayuki Yamamura, Shigenobu Kobayashi |
| 1991 | An Efficient Arc Consistency Algorithm for a Class of CSP Problems. Yves Deville, Pascal Van Hentenryck |
| 1991 | An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors. William R. Murray |
| 1991 | An Environment for Experimentation with Parsing Strategies. Gregor Erbach |
| 1991 | An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. Colin J. H. McDiarmid, Gregory M. Provan |
| 1991 | An Inference Rule for Hypothesis Generation. Robert Demolombe, Luis Fariñas del Cerro |
| 1991 | An Interactive Visual Language for Term Subsumption Languages. Brian R. Gaines |
| 1991 | An MFIS for Computing a Raw Cognitive Map. Wai K. Yeap, Margaret E. Jefferies, P. S. Naylor |
| 1991 | Analyzing Images Containing Multiple Sparse Patterns with Neural Networks. Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka |
| 1991 | Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. Anand S. Rao, Michael P. Georgeff |
| 1991 | Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. Franz Baader |
| 1991 | Bayesian Classification with Correlation and Inheritance. Robin Hanson, John C. Stutz, Peter C. Cheeseman |
| 1991 | Bottleneck Identification Using Process Chronologies. Eric Biefeld, Lynne P. Cooper |
| 1991 | CABOT: An Adaptive Approach to Case-Based Search. James P. Callan, Tom Fawcett, Edwina L. Rissland |
| 1991 | Characterizing Belief with Minimum Commitment. Yen-Teh Hsia |
| 1991 | Circumscribing Defaults. Zhaogang Qian, Keki B. Irani |
| 1991 | Circumscription and Definability. Yves Moinard, Raymond Rolland |
| 1991 | Classifiers: A Theoretical and Empirical Study. Wray L. Buntine |
| 1991 | Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. Ulf Söderman, Jan-Erik Strömberg |
| 1991 | Combining Stereo and Monocular Information to Compute Dense Depth Maps that Preserve Depth Discontinuities. Pascal Fua |
| 1991 | Commitment Strategies in Planning: A Comparative Analysis. Steven Minton, John L. Bresina, Mark Drummond |
| 1991 | Commitment and Effectiveness of Situated Agents. David Kinny, Michael P. Georgeff |
| 1991 | Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning. Nicholas Asher, Michael Morreau |
| 1991 | Communication and Inference through Situations. Hideyuki Nakashima, Stanley Peters, Hinrich Schütze |
| 1991 | Compiling Integrity Checking into Update Procedures. Mark Wallace |
| 1991 | Complexity Results for Planning. Tom Bylander |
| 1991 | Composing Real-Time Systems. Stuart J. Russell, Shlomo Zilberstein |
| 1991 | Computational and Physical Causality. Jan L. Top, Hans Akkermans |
| 1991 | Concept Formation over Explanations and Problem-Solving Experience. Jungsoon P. Yoo, Douglas H. Fisher |
| 1991 | Confirmations and Joint Action. Philip R. Cohen, Hector J. Levesque |
| 1991 | Consequence-Finding Based on Ordered Linear Resolution. Katsumi Inoue |
| 1991 | Consolution and its Relation with Resolution. Elmar Eder |
| 1991 | Constraints on Tree Structure in Concept Formation. Kathleen B. McKusick, Pat Langley |
| 1991 | Constructive Tightly Grounded Autoepistemic Reasoning. Ilkka Niemelä |
| 1991 | Contexts for Nonmonotonic RMSes. Jérôme Euzenat |
| 1991 | Contextual Negations and Reasoning with Contradictions. Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques |
| 1991 | Cooperative Hybrid Systems. Matthias Gutknecht, Rolf Pfeifer, Markus Stolze |
| 1991 | Coordinated Morphological and Syntactic Analysis of Japanese Language. Tsunenori Mine, Rin-Ichiro Taniguchi, Makoto Amamiya |
| 1991 | Derivation Procedures for Extended Stable Models. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes |
| 1991 | Determinate Literals in Inductive Logic Programming. J. Ross Quinlan |
| 1991 | Determining Robot Egomotion from Motion Parallax Observed by an Active Camera. Matthew J. Barth, Hiroshi Ishiguro, Saburo Tsuji |
| 1991 | Diagnosing Temporal Misbehavior. Gerhard Friedrich, Franz Lackinger |
| 1991 | Directed Constraint Networks: A Relational Framework for Causal Modeling. Rina Dechter, Judea Pearl |
| 1991 | Effects of Parallelism on Blackboard System Scheduling. Keith Decker, Alan Garvey, Marty Humphrey, Victor R. Lesser |
| 1991 | Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding. Paolo Baggia, Elisabetta Gerbino, Egidio P. Giachin, Claudio Rullent |
| 1991 | Emergent Frame Recognition and Its Use in Artificial Creatures. Luc Steels |
| 1991 | Empirical Bias for Version Space. Jacques Nicolas |
| 1991 | Evidential Probability. Henry E. Kyburg Jr. |
| 1991 | Ex contradictione nihil sequitur. Gerd Wagner |
| 1991 | Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces. Feng Zhao |
| 1991 | FGP: A Virtual Machine for Acquiring Knowledge from Cases. Scott Fertig, David Gelernter |
| 1991 | Fitting Semantics for Conditional Term Rewriting. Chilukuri K. Mohan |
| 1991 | Flexible Matching for Noisy Structural Descriptions. Floriana Esposito, Donato Malerba, Giovanni Semeraro |
| 1991 | Formalizing and Using Persistency. Thomas Guckenbiehl |
| 1991 | Generalised Inference and Inferential Modelling. Raymond E. Jennings, Christine W. Chan, M. J. Dowad |
| 1991 | Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects. Edwin P. D. Pednault |
| 1991 | Generalizing Term Subsumption Languages to Fuzzy Logic. John Yen |
| 1991 | Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative Reasoning. Takashi Nishiyama, Osamu Katai, Sosuke Iwai, Tetsuo Sawaragi, Hiroshi Masuichi |
| 1991 | High Performance Natural Language Processing on Semantic Network Array Processor. Hiroaki Kitano, Dan I. Moldovan, Seungho Cha |
| 1991 | High-Performance A\ast Search Using Rapidly Growing Heuristics. Stephen V. Chenoweth, Henry W. Davis |
| 1991 | Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations. Tony Plate |
| 1991 | How Situated is Cognition? Jacobijn Sandberg, Bob J. Wielinga |
| 1991 | How to Prove Higher Order Theorems in First Order Logic. Manfred Kerber |
| 1991 | HyperBF Networks for Real Object Recognition. Roberto Brunelli, Tomaso A. Poggio |
| 1991 | In Defense of Hyper-Logicist AI. Selmer Bringsjord, Michael Zenzen |
| 1991 | Inaccessible Worlds and Irrelevance: Preliminary Report. Craig Boutilier |
| 1991 | Incomplete Information and Deception in Multi-Agent Negotiation. Gilad Zlotkin, Jeffrey S. Rosenschein |
| 1991 | Incremental Syntactic and Semantic Processing. Esther König |
| 1991 | Indefinite Reasoning with Definite Rules. L. Thorne McCarty, Ron van der Meyden |
| 1991 | Index Transformation Techniques for Facilitating Creative Use of Multiple Cases. Katia P. Sycara, Dundee Navinchandra |
| 1991 | Inductive Learning from Good Examples. Charles X. Ling |
| 1991 | Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons. David Chapman, Leslie Pack Kaelbling |
| 1991 | Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems. Franz Lackinger, Wolfgang Nejdl |
| 1991 | Integrating Reaction Plans and Layered Competences Through Synchronous Control. R. Peter Bonasso |
| 1991 | Integration of Neural Networks and Expert Systems for Process Fault Diagnosis. Warren R. Becraft, Peter L. Lee, Robert B. Newell |
| 1991 | Integration-Kid: A Learning Companion System. Tak-Wai Chan |
| 1991 | Intelligence Without Reason. Rodney A. Brooks |
| 1991 | Intelligent Assistance through Collaborative Manipulation. Loren G. Terveen, David A. Wroblewski, Steven N. Tighe |
| 1991 | Interpretation of Definite Noun Phrases. Liliana Ardissono, Leonardo Lesmo, Paolo Pogliano, Paolo Terenziani |
| 1991 | Learning Admissible Heuristics while Solving Problems. Anna Bramanti-Gregor, Henry W. Davis |
| 1991 | Learning Concept Classification Rules Using Genetic Algorithms. Kenneth A. De Jong, William M. Spears |
| 1991 | Learning Nested Concept Classes with Limited Storage. David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan |
| 1991 | Learning Structural Decision Trees from Examples. Larry Watanabe, Larry A. Rendell |
| 1991 | Learning to Classify Observed Motor Behavior. Wayne Iba |
| 1991 | Learning with a Helpful Teacher. Steven Salzberg, Arthur L. Delcher, David G. Heath, Simon Kasif |
| 1991 | Line Labeling and Junction Labeling: A Coupled System for Image Interpretation. Terry Regier |
| 1991 | Localized Search for Multiagent Planning. Amy L. Lansky |
| 1991 | Logic Programing in Artificial Intelligence. Robert A. Kowalski |
| 1991 | Logic and Feature Structures. Mark Johnson |
| 1991 | Machine Discovery of Effective Admissible Heuristics. Armand Prieditis |
| 1991 | Massively Parallel Artificial Intelligence. Hiroaki Kitano, James A. Hendler, Tetsuya Higuchi, Dan I. Moldovan, David L. Waltz |
| 1991 | Massively Parallel Memory-Based Parsing. Hiroaki Kitano, Tetsuya Higuchi |
| 1991 | Measuring and Improving the Effectiveness of Representations. Russell Greiner, Charles Elkan |
| 1991 | Mobile Robot Navigation by an Active Control of the Vision System. Patrick Stelmaszyk, Hiroshi Ishiguro, Saburo Tsuji |
| 1991 | Modal Interpretations of Default Logic. Miroslaw Truszczynski |
| 1991 | Modelling Experiments in Scientific Discovery. Peter C.-H. Cheng |
| 1991 | Moving Target Search. Toru Ishida, Richard E. Korf |
| 1991 | Multiple Approaches to Multiple Agent Problem Solving. James A. Hendler, Daniel G. Bobrow, Les Gasser, Carl Hewitt, Marvin Minsky |
| 1991 | Natural Language and Exploration of an Information Space: The ALFresco Interactive System. Oliviero Stock |
| 1991 | Natural Object Recognition: A Theoretical Framework and Its Implementation. Thomas M. Strat, Martin A. Fischler |
| 1991 | Negotiations Over Time in a Multi-Agent Environment: Preliminary Report. Sarit Kraus, Jonathan Wilkenfeld |
| 1991 | Nonmonotonic Databases and Epistemic Queries. Vladimir Lifschitz |
| 1991 | On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects. John R. Kender, Rick Kjeldsen |
| 1991 | On Semantics of TMS. Xianchang Wang, Huowang Chen |
| 1991 | On Supporting Associative Access and Processing over Dynamic Knowledge Bases. Ian N. Robinson |
| 1991 | On a Tool for Reasoning with Mass Distributions. Rudolf Kruse, Erhard Schwecke, Frank Klawonn |
| 1991 | On the Feasibility of Distributed Constraint Satisfaction. Zeev Collin, Rina Dechter, Shmuel Katz |
| 1991 | Ordering-Based Strategies for Horn Clauses. Nachum Dershowitz |
| 1991 | Organizational Issues Arising from the Integration of the Lexicon and Concept Network in a Text Understanding System. Padraig Cunningham, Tony Veale |
| 1991 | Overprvning Large Decision Trees. Jason Catlett |
| 1991 | POST: Using Probabilities in Language Processing. Marie Meteer, Richard M. Schwartz, Ralph M. Weischedel |
| 1991 | Parallel Distributed Belief Networks That Learn. Wilson X. Wen, Andrew Jennings |
| 1991 | Parallel Non-Binary Planning in Polynomial Time. Christer Bäckström, Inger Klein |
| 1991 | Parameter Structures for Parametrized Modal Operators. Hans Jürgen Ohlbach, Andreas Herzig |
| 1991 | Parsing = Parsimonious Covering? (Abduction in Logical Form Generation). Venu Dasigi |
| 1991 | Performance Comparison of Models for Multiple Rule Firing. Steve Kuo, Dan I. Moldovan |
| 1991 | Plan Debugging in an Intentional System. Gregg Collins, Lawrence Birnbaum, Bruce Krulwich, Michael Freed |
| 1991 | Planning Robot Control Parameter Values with Qualitative Reasoning. Stephen F. Peters, Shigeoki Hirai, Toru Omata, Tomomasa Sato |
| 1991 | Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues. Didier Dubois, Henri Prade |
| 1991 | Prioritized Defaults: Implementation by TMS and Application to Diagnosis. Ulrich Junker |
| 1991 | Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991 John Mylopoulos, Raymond Reiter |
| 1991 | Programming in Autoepistemic Logic. Kienchung Kuo |
| 1991 | Proof Transformation with Built-in Equality Predicate. Christoph Lingenfelder, Axel Präcklein |
| 1991 | Propagation of Preference Relations in Qualitative Inference Networks. S. K. Michael Wong, Pawan Lingras, Yiyu Yao |
| 1991 | Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks. Gadi Pinkas |
| 1991 | Qualitative Model Evolution. Alen Varsek |
| 1991 | Quantitative Evaluation of Explanation-Based Learning as an Optimisation Tool for a Large-Scale Natural Language System. Christer Samuelsson, Manny Rayner |
| 1991 | Query Answering in Circumscription. Nicolas Helft, Katsumi Inoue, David Poole |
| 1991 | Reasoning Visually about Spatial Interactions. N. Hari Narayanan, B. Chandrasekaran |
| 1991 | Reasoning about Student Knowledge and Reasoning. Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi |
| 1991 | Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method. Hitoshi Iba, Hirochika Inoue |
| 1991 | Reduced Complexity Rule Induction. Sholom M. Weiss, Nitin Indurkhya |
| 1991 | Refinement Strategies for Inductive Leaming of Simple Prolog Programs. Marc Kirschenbaum, Leon Sterling |
| 1991 | Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. Fausto Giunchiglia, Paolo Traverso |
| 1991 | Reified Temporal Theories and How to Unreify Them. Antony Galton |
| 1991 | Representing Diagnostic Knowledge for Probabilistic Horn Abduction. David Poole |
| 1991 | Resolving Plan Ambiguity for Cooperative Response Generation. Peter van Beek, Robin Cohen |
| 1991 | Semantic Model for Induction of First Order Theories. Céline Rouveirol |
| 1991 | Shading-Based Two-View Matching. Michel A. Audette, Paul R. Cohen, Juyang Weng |
| 1991 | Solving "How to Clear a Block" with Constructive Matching Methodology. Marta Franová, Yves Kodratoff |
| 1991 | The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics. Rick Evertsz |
| 1991 | The Base Selection Task in Analogical Planning. Diane J. Cook |
| 1991 | The Downward Refinement Property. Fahiem Bacchus, Qiang Yang |
| 1991 | The Hybrid Phenomena Theory. Erling A. Woods |
| 1991 | The Implications of Paraconsistency. John K. Slaney |
| 1991 | The Incomplete Database. Karen L. Kwast |
| 1991 | The Philosophy of Automated Theorem Proving. Francis Jeffry Pelletier |
| 1991 | The Problem of Induction and Machine Learning. Francesco Bergadano |
| 1991 | The Re-use of Linguistic Resources across Languages in Multilingual Generation Components. John A. Bateman, Christian Matthiessen, Keizo Nanri, Licheng Zeng |
| 1991 | The Role of Chess in Artificial Intelligence Research. Robert Levinson, Feng-Hsiung Hsu, T. Anthony Marsland, Jonathan Schaeffer, David E. Wilkins |
| 1991 | The Utility of Feature Construcuon for Back-Propagation. Harish Ragavan, Selwyn Piramuthu |
| 1991 | Theoretical Underpinnings of Version Spaces. Haym Hirsh |
| 1991 | Towards a Formal Theory of Communication for Multi-agent Systems. Munindar P. Singh |
| 1991 | Towards a Model of Grounded Concept Formation. Stefan Wrobel |
| 1991 | Tractable Concept Languages. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt |
| 1991 | UMRAO: A Chess Endgame Tutor. Dinesh Gadwal, Jim E. Greer, Gordon I. McCalla |
| 1991 | Using Aspiration Windows for Minimax Algorithms. Reza Shams, Hermann Kaindl, Helmut Horacek |
| 1991 | Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics. Stephan Busemann |
| 1991 | Visual Interpretation of Lambertian Surface Deformation. R. Mike Cameron-Jones |
| 1991 | Weak Equivalence for Constraint Sets. Sieger van Denneheuvel, Karen L. Kwast |
| 1991 | When Oscillators Stop Oscillating. Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert |
| 1991 | Where the Really Hard Problems Are. Peter C. Cheeseman, Bob Kanefsky, William M. Taylor |
| 1991 | X2MORF: A Morphological Component Based on Augmented Two-Level Morphology. Harald Trost |
| 1991 | Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation. Yorick Wilks, John A. Barnden, Jin Wang |