| 1990 | A Blackboard-based Dynamic Instructional Planner. William R. Murray |
| 1990 | A Circumscriptive Theory for Causal and Evidential Support. Eunok Paek |
| 1990 | A Collaborative Interface for Editing Large Knowledge Bases. Loren G. Terveen, David A. Wroblewski |
| 1990 | A Cooperative Problem Solving System for User Interface Design. Andreas C. Lemke, Gerhard Fischer |
| 1990 | A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems. Dmitry Volovik, Imran A. Zualkernan, Paul E. Johnson, Charles E. Matthews |
| 1990 | A Formal Theory of Multiple Agent Nonmonotonic Reasoning. Leora Morgenstern |
| 1990 | A Frameworkfor Investigating Production System Formulations with Polynomially Bounded Match. Milind Tambe, Paul S. Rosenbloom |
| 1990 | A Hierarchical Planner that Generates Its Own Hierarchies. Jens Christensen |
| 1990 | A Hierarchical Protocol for Coordinating Mulitagent Behaviors. Edmund H. Durfee, Thomas A. Montgomery |
| 1990 | A Hybrid Connectionist, Symbolic Learning System. Lawrence O. Hall, Steve G. Romaniuk |
| 1990 | A Hybrid Framework for Representing Uncertain Knowledge. Alessandro Saffiotti |
| 1990 | A Maximum Entropy Approach to Nonmonotonic Reasoning. Moisés Goldszmidt, Paul H. Morris, Judea Pearl |
| 1990 | A Method of Calculating the Measure of Salience in Understanding Metaphors. Makoto Iwayama, Takenobu Tokunaga, Hozumi Tanaka |
| 1990 | A Parallel Asynchronous Distributed Production System. James G. Schmolze, Suraj Goel |
| 1990 | A Principled Approach to Reasoning About the Specificity ofRules. John Yen |
| 1990 | A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. Ken Satoh |
| 1990 | A Proven Domain-Independent Scientific Function-Finding Algorithm. Cullen Schaffer |
| 1990 | A Qualitative Model for Space. Amitabha Mukerjee, Gene Joe |
| 1990 | A Structured Connectionist Unification Algorithm. Steffen Hölldobler |
| 1990 | A Theory of Plan Modification. Subbarao Kambhampati |
| 1990 | ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner. Qiang Yang, Josh D. Tenenberg |
| 1990 | AI and Software Engineering - Managing Exploratory Programming. Richard Fikes |
| 1990 | AI and Software Engineering: Will the Twain Ever Meet? Robert Balzer |
| 1990 | Abductive and Default Reasoning: A Computational Core. Bart Selman, Hector J. Levesque |
| 1990 | Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech. Julia Hirschberg |
| 1990 | Adaptive Search by Explanation-Based Learning of Heuristic Censors. Neeraj Bhatnagar, Jack Mostow |
| 1990 | Adding Domain Knowledge to SBL Through Feature Construction. Christopher J. Matheus |
| 1990 | Admissible Criteria for Loop Control in Planning. Roy Feldman, Paul Morris |
| 1990 | An Algebraic Approach to Conflict Resolution in Planning. Qiang Yang |
| 1990 | An Approach to Reasoning About Continuous Change for Applications in Planning. Thomas Dean, Greg Siegle |
| 1990 | An Experiment in Direct Knowledge Acquisition. Peter W. Mullarkey |
| 1990 | An Optimally Efficient Limited Inference System. Lokendra Shastri, Venkat Ajjanagadde |
| 1990 | An Organizational Approach to Adaptive Production Systems. Toru Ishida, Makoto Yokoo, Les Gasser |
| 1990 | Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction. Mark Drummond, John L. Bresina |
| 1990 | Approximation Reformulations. Daniel S. Weld |
| 1990 | Automated Discovery in a Chemistry Laboratory. Jan M. Zytkow, Jieming Zhu, Abul Hussam |
| 1990 | Automatically Generating Universal Attachments Through Compilation. Karen L. Myers |
| 1990 | Avoiding Unwanted Conversational Implicatures in Text and Graphics. Joseph Marks, Ehud Reiter |
| 1990 | Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning. Danilo Fum, Paolo Giangrandi, Carlo Tasso |
| 1990 | Becoming Increasingly Reactive. Tom M. Mitchell |
| 1990 | Boolean Extensions of Inheritance Networks. John F. Horty, Richmond H. Thomason |
| 1990 | Causal Theories for Nonmonotonic Reasoning. Hector Geffner |
| 1990 | Changing the Rules: A Comprehensive Approach to Theory Refinement. Dirk Ourston, Raymond J. Mooney |
| 1990 | Characterizing Diagnoses. Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
| 1990 | Complementary Discrimination Learning: A Duality Between Generalization and Discrimination. Wei-Min Shen |
| 1990 | Complexity of K-Tree Structured Constraint Satisfaction Problems. Eugene C. Freuder |
| 1990 | Computing Exact Aspect Graphs of Curved Objects: Parametric Surfaces. Jean Ponce, David J. Kriegman |
| 1990 | Computing Stable Models by Using the ATMS. Kave Eshghi |
| 1990 | Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System. Ulrich Junker, Kurt Konolige |
| 1990 | Conditional Logics of Normality as Modal Systems. Craig Boutilier |
| 1990 | Connectionism, Rule Following, and Symbolic Manipulation. Robert F. Hadley |
| 1990 | Consistent Linear Speedups to a First Solution in Parallel State-Space Search. Vikram A. Saletore, Laxmikant V. Kalé |
| 1990 | Constraints for the Early Detection of Discontinuity from Motion. Michael J. Black, P. Anandan |
| 1990 | Constructor: A System for the Induction of Probabilistic Models. Robert M. Fung, Stuart L. Crawford |
| 1990 | Coordinating Text and Graphics in Explanation Generation. Steven Feiner, Kathleen R. McKeown |
| 1990 | Coping with Uncertainty in a Control System for Navigation and Exploration. Thomas L. Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza |
| 1990 | DARES: A Distributed Automated REasoning System. Susan E. Conry, Douglas J. MacIntosh, Robert A. Meyer |
| 1990 | Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. Gerhard Lakemeyer |
| 1990 | Developing Software is like Talking to Eskimos about Snow. John P. McDermott |
| 1990 | Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases. Michael Redmond |
| 1990 | Distributed Truth Maintenance. David Murray Bridgeland, Michael N. Huhns |
| 1990 | Dynamic Acioss-Time Measurement Interpretation. Dennis DeCoste |
| 1990 | Dynamic Constraint Satisfaction Problems. Sanjay Mittal, Brian Falkenhainer |
| 1990 | Effective Generalization of Relational Descriptions. Larry Watanabe, Larry A. Rendell |
| 1990 | Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering Approach. Thomas D. Wu |
| 1990 | Empirical Comparisons of Some Design Replay Algorithms. Brad Blumenthal |
| 1990 | Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms. Hiroaki Kitano |
| 1990 | Establishing the Coherence of an Evplanation to Improve Refinement of an Incomplete Knowledge Base. Young-Tack Park, David C. Wilkins |
| 1990 | Explaining Temporal Differences to Create Useful Concepts for Evaluating States. Richard C. Yee, Sharad Saxena, Paul E. Utgoff, Andrew G. Barto |
| 1990 | Exploiting Locality in a TMS. Johan de Kleer |
| 1990 | Extending EBG to Term-Rewriting Systems. Philip D. Laird, Evan Gamble |
| 1990 | Finding the Average Rates of Change in Repetitive Behavior. Alexander S. Yeh |
| 1990 | Generalization with Taxonomic Information. Alan M. Frisch, C. David Page Jr. |
| 1990 | Generalized Shape Autocorrelation. Andrea Califano, Rakesh Mohan |
| 1990 | Getting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition. Marc B. Vilain |
| 1990 | Incorporating Default Inferences Into Plan Recognition. Sandra Carberry |
| 1990 | Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces. Benjamin D. Smith, Paul S. Rosenbloom |
| 1990 | Incremental, Approximate Planning. Charles Elkan |
| 1990 | Indexical Knowledge in Robot Plans. Yves Lespérance, Hector J. Levesque |
| 1990 | Inductive Learning in Probabilistic Domain. Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka |
| 1990 | Inductive Learning in a Mixed Paradigm Setting. David B. Skalak, Edwina L. Rissland |
| 1990 | Inductive Synthesis of Equational Programs. Nachum Dershowitz, Eli Pinchover |
| 1990 | Integrating Natural Language Processing and Knowledge Based Processing. Rebecca J. Passonneau, Carl Weir, Timothy W. Finin, Martha Stone Palmer |
| 1990 | Integrating Planning and Acting in a Case-Based Framework. Kristian J. Hammond, Timothy M. Converse |
| 1990 | Integrating, Execution, Planning, and Learning in Soar for External Environments. John E. Laird, Paul S. Rosenbloom |
| 1990 | Interaction-Based Invention: Designing Novel Devices from First Principles. Brian C. Williams |
| 1990 | Introducing the Tileworld: Experimentally Evaluating Agent Architectures. Martha E. Pollack, Marc Ringuette |
| 1990 | It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. Jonathan Stillman |
| 1990 | Iterative Broadening. Matthew L. Ginsberg, William D. Harvey |
| 1990 | Knowledge Level and Inductive Uses of Chunking (EBL). Paul S. Rosenbloom, Jans Aasman |
| 1990 | LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation. Peter K. Malkin, Sanjaya Addanki |
| 1990 | Learning Abstraction Hierarchies for Problem Solving. Craig A. Knoblock |
| 1990 | Learning Causal Trees from Dependence Information. Dan Geiger, Azaria Paz, Judea Pearl |
| 1990 | Learning General Completable Reactive Plans. Melinda T. Gervasio |
| 1990 | Learning Search Control for Constraint-Based Scheduling. Megan Eskey, Monte Zweben |
| 1990 | Learning from Textbook Knowledge: A Case Study. William W. Cohen |
| 1990 | Learning to Coordinate Behaviors. Pattie Maes, Rodney A. Brooks |
| 1990 | Logical Task Modelling for Man-Machine Dialogue. M. David Sadek |
| 1990 | Looking for the AI in Software Engineering: An Applications Perspective. Mark S. Fox |
| 1990 | Maintaining Consistency in a Stratified Production System Program. Louiqa Raschid |
| 1990 | Mapping and Retrieval During Plan Reuse: A Validation Structure Based Approach. Subbarao Kambhampati |
| 1990 | Massivley Parallel AI. David L. Waltz |
| 1990 | Mechanizing Inductive Reasoning. Emmanuel Kounalis, Michaël Rusinowitch |
| 1990 | Model-Based Diagnosis of Planning Failures. Lawrence Birnbaum, Gregg Collins, Michael Freed, Bruce Krulwich |
| 1990 | Models of Plans to Support Communication: An Initial Report. Karen E. Lochbaum, Barbara J. Grosz, Candace L. Sidner |
| 1990 | Myths and Legends in Learning Classification Rules. Wray L. Buntine |
| 1990 | Negotiation and Conflict Resolution in Non-Cooperative Domains. Gilad Zlotkin, Jeffrey S. Rosenschein |
| 1990 | Nonmonotonicity and the Scope of Reasoning: Preliminary Report. David W. Etherington, Sarit Kraus, Donald Perlis |
| 1990 | Obtaining Quantitative Predictions from Monotone Relationships. Joseph L. Hellerstein |
| 1990 | On Acting Together. Hector J. Levesque, Philip R. Cohen, José H. T. Nunes |
| 1990 | On Analytical and Similarity-Based Classification. Marc B. Vilain, Phyllis Koton, Melissa P. Chase |
| 1990 | On the Complexity of Monotonic Inheritance with Roles. Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham |
| 1990 | On the Expressiveness of Networks with Hidden Variables. Rina Dechter |
| 1990 | On the Performance of Lazy Matching in Production Systems. Daniel P. Miranker, David A. Brant, Bernie J. Lofaso, David Gadbois |
| 1990 | On the Role of Coherence in Abductive Explanation. Hwee Tou Ng, Raymond J. Mooney |
| 1990 | Operationality Criteria for Recursive Predicates. Stanley Letovsky |
| 1990 | PRAGMA - A Flexible Bidirectional Dialogue System. John Levine |
| 1990 | Panel: User Modeling and User Interfaces. Susan T. Dumais |
| 1990 | Parametric Engineering Design Using Constraint-Based Reasoning. Niall Murtagh, Masamichi Shimura |
| 1990 | Parsing a Natural Language Using Mutual Information Statistics. David M. Magerman, Mitchell P. Marcus |
| 1990 | Path-Focused Duplication: A Search Procedure for General Matings. Sunil Issar |
| 1990 | Physical Impossibility Instead of Fault Models. Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl |
| 1990 | Pointing: A Way Toward Explanation Dialogue. Johanna D. Moore, William R. Swartout |
| 1990 | Practical Temporal Projection. Steve Hanks |
| 1990 | Probabilistic Semantics for Cost Based Abduction. Eugene Charniak, Solomon Eyal Shimony |
| 1990 | Probabilities that Imply Certainties. Haim Schweitzer |
| 1990 | Probably Approximately Correct Learning. David Haussler |
| 1990 | Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes. Howard E. Shrobe, Thomas G. Dietterich, William R. Swartout |
| 1990 | QPC: A Compiler from Physical Models into Qualitative Differential Equations. James M. Crawford, Adam Farquhar, Benjamin Kuipers |
| 1990 | Qualitative Reasoning with Microscopic Theories. Shankar A. Rajamoney, Sang Hoe Koo |
| 1990 | Rationality and its Roles in Reasoning (Extended Abstract). Jon Doyle |
| 1990 | Reasoning about Qualitative Temporal Information. Peter van Beek |
| 1990 | Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks. Geoffrey G. Towell, Jude W. Shavlik, Michiel O. Noordewier |
| 1990 | Search Lessons Learned from Crossword Puzzles. Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance |
| 1990 | Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge. Kenneth D. Forbus, Brian Falkenhainer |
| 1990 | Shifting Ontological Perspectives in Reasoning About Physical Systems. Zheng-Yang Liu, Arthur M. Farley |
| 1990 | Skolem Functions and Equality in Automated Deduction. William McCune |
| 1990 | Solving Geometric Constraint Systems. Glenn A. Kramer |
| 1990 | Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method. Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird |
| 1990 | Solving Term Inequalities. Gerald E. Peterson |
| 1990 | Some Applications of Graph Bandwidth to Constraint Satisfaction Problems. Ramin Zabih |
| 1990 | Structure of Perspectivity: A Case of Japanese Reflexive Pronoun "zibun". Yasuhiro Katagiri |
| 1990 | Symbolic Probabilistic Inference in Belief Networks. Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Favero |
| 1990 | Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification. Yanxi Liu, Robin J. Popplestone |
| 1990 | Synthesis of Reactive Plans for Multi-Path Environments. Froduald Kabanza |
| 1990 | Temporal Terminological Logic. Albrecht Schmiedel |
| 1990 | Terminological Cycles in KL-ONE-based Knowledge Representation Languages. Franz Baader |
| 1990 | The Belief Calculus and Uncertain Reasoning. Yen-Teh Hsia |
| 1990 | The Complexity of Closed World Reasoning and Circumscription. Marco Cadoli, Maurizio Lenzerini |
| 1990 | The Complexity of Constraint Satisfaction in Prolog. Bernard A. Nadel |
| 1990 | The Design of a Marker Passing Architecture for Knowledge Processing. Wing Lee, Dan I. Moldovan |
| 1990 | The Future of Knowledge Representation. Ronald J. Brachman |
| 1990 | The Generalized Theory of Model Preference. Piotr Rychlik |
| 1990 | The Intelligent Database Interface: Integrating AI and Database Systems. Donald P. McKay, Timothy W. Finin, Anthony B. O'Hare |
| 1990 | The Representation of Defaults in Cyc. Ramanathan V. Guha |
| 1990 | The STRIPS Assumption for Planning Under Uncertainty. Michael P. Wellman |
| 1990 | The Techies vs. the Non-techies: Today's Two Cultures. Elliot Soloway |
| 1990 | The Utility of EBL in Recursive Domain Theories. Devika Subramanian, Ronen Feldman |
| 1990 | Theory Reduction, Theory Revision, and Retranslation. Allen Ginsberg |
| 1990 | Towards Incremental Disambiguation with a Generalized Discrimination Network. Manabu Okumura, Hozumi Tanaka |
| 1990 | Towards a System Architecture Supporting Contextualized Learning. Gerhard Fischer, Andreas C. Lemke, Raymond McCall |
| 1990 | Tree Decomposition with Applications to Constraint Processing. Itay Meiri, Judea Pearl, Rina Dechter |
| 1990 | Truly Parallel Understanding of Text. Yeong-Ho Yu, Robert F. Simmons |
| 1990 | Truth Maintenance. David A. McAllester |
| 1990 | Two Case Studies in Cost-Sensitive Concept Acquisition. Ming Tan, Jeffrey C. Schlimmer |
| 1990 | Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Joseph Y. Halpern, Ronald Fagin |
| 1990 | Understanding Natural Language with Diagrams. Gordon S. Novak, William C. Bulko |
| 1990 | User Modeling and User Interfaces: A Case for Domain Models, Task Models, and Tailorability. James D. Hollan |
| 1990 | User Models and User Interfaces. Kathleen R. McKeown |
| 1990 | Validated Retrieval in Case-Based Reasoning. Evangelos Simoudis, James Miller |
| 1990 | Very Fast Decision Table Execution of Propositional Expert Systems. Robert M. Colomb, Charles Y. C. Chung |
| 1990 | Weak Representations of Interval Algebras. Gerard Ligozat |
| 1990 | What Should Be Minimized in a Decision Tree? Usama M. Fayyad, Keki B. Irani |
| 1990 | What's in a User? Karen Sparck Jones |
| 1990 | Why PRODIGY/EBL Works. Oren Etzioni |