AAAI 1990

174 papers

A Blackboard-Based Dynamic Instructional Planner William R. Murray

A Circumscriptive Theory for Causal and Evidential Support Eunok Paek

A Collaborative Interface for Editing Large Knowledge Bases Loren G. Terveen, David A. Wroblewski

A Cooperative Problem Solving System for User Interface Design Andreas C. Lemke, Gerhard Fischer

A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems Dmitry Volovik, Imran A. Zualkernan, Paul E. Johnson, Charles E. Matthews

A Formal Theory of Multiple Agent Nonmonotonic Reasoning Leora Morgenstern

A Frameworkfor Investigating Production System Formulations with Polynomially Bounded Match Milind Tambe, Paul S. Rosenbloom

A Hierarchical Planner That Generates Its Own Hierarchies Jens Christensen

A Hierarchical Protocol for Coordinating Mulitagent Behaviors Edmund H. Durfee, Thomas A. Montgomery

A Hybrid Connectionist, Symbolic Learning System Lawrence O. Hall, Steve G. Romaniuk

A Hybrid Framework for Representing Uncertain Knowledge Alessandro Saffiotti

A Maximum Entropy Approach to Nonmonotonic Reasoning Moisés Goldszmidt, Paul H. Morris, Judea Pearl

A Method of Calculating the Measure of Salience in Understanding Metaphors Makoto Iwayama, Takenobu Tokunaga, Hozumi Tanaka

A Parallel Asynchronous Distributed Production System James G. Schmolze, Suraj Goel

A Principled Approach to Reasoning About the Specificity ofRules John Yen

A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning Ken Satoh

A Proven Domain-Independent Scientific Function-Finding Algorithm Cullen Schaffer

A Qualitative Model for Space Amitabha Mukerjee, Gene Joe

A Structured Connectionist Unification Algorithm Steffen Hölldobler

A Theory of Plan Modification Subbarao Kambhampati

Abductive and Default Reasoning: A Computational Core Bart Selman, Hector J. Levesque

ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner Qiang Yang, Josh D. Tenenberg

Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech Julia Hirschberg

Adaptive Search by Explanation-Based Learning of Heuristic Censors Neeraj Bhatnagar, Jack Mostow

Adding Domain Knowledge to SBL Through Feature Construction Christopher J. Matheus

Admissible Criteria for Loop Control in Planning Roy Feldman, Paul Morris

AI and Software Engineering - Managing Exploratory Programming Richard Fikes

AI and Software Engineering: Will the Twain Ever Meet? Robert Balzer

An Algebraic Approach to Conflict Resolution in Planning Qiang Yang

An Approach to Reasoning About Continuous Change for Applications in Planning Thomas Dean, Greg Siegle

An Experiment in Direct Knowledge Acquisition Peter W. Mullarkey

An Optimally Efficient Limited Inference System Lokendra Shastri, Venkat Ajjanagadde

An Organizational Approach to Adaptive Production Systems Toru Ishida, Makoto Yokoo, Les Gasser

Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction Mark Drummond, John L. Bresina

Approximation Reformulations Daniel S. Weld

Automated Discovery in a Chemistry Laboratory Jan M. Zytkow, Jieming Zhu, Abul Hussam

Automatically Generating Universal Attachments Through Compilation Karen L. Myers

Avoiding Unwanted Conversational Implicatures in Text and Graphics Joseph Marks, Ehud Reiter

Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning Danilo Fum, Paolo Giangrandi, Carlo Tasso

Becoming Increasingly Reactive Tom M. Mitchell

Boolean Extensions of Inheritance Networks John F. Horty, Richmond H. Thomason

Causal Theories for Nonmonotonic Reasoning Hector Geffner

Changing the Rules: A Comprehensive Approach to Theory Refinement Dirk Ourston, Raymond J. Mooney

Characterizing Diagnoses Johan de Kleer, Alan K. Mackworth, Raymond Reiter

Complementary Discrimination Learning: A Duality Between Generalization and Discrimination Wei-Min Shen

Complexity of K-Tree Structured Constraint Satisfaction Problems Eugene C. Freuder

Computing Exact Aspect Graphs of Curved Objects: Parametric Surfaces Jean Ponce, David J. Kriegman

Computing Stable Models by Using the ATMS Kave Eshghi

Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System Ulrich Junker, Kurt Konolige

Conditional Logics of Normality as Modal Systems Craig Boutilier

Connectionism, Rule Following, and Symbolic Manipulation Robert F. Hadley

Consistent Linear Speedups to a First Solution in Parallel State-Space Search Vikram A. Saletore, Laxmikant V. Kalé

Constraints for the Early Detection of Discontinuity from Motion Michael J. Black, P. Anandan

Constructor: A System for the Induction of Probabilistic Models Robert M. Fung, Stuart L. Crawford

Coordinating Text and Graphics in Explanation Generation Steven Feiner, Kathleen R. McKeown

Coping with Uncertainty in a Control System for Navigation and Exploration Thomas L. Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza

DARES: A Distributed Automated REasoning System Susan E. Conry, Douglas J. MacIntosh, Robert A. Meyer

Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection Gerhard Lakemeyer

Developing Software Is like Talking to Eskimos About Snow John P. McDermott

Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases Michael Redmond

Distributed Truth Maintenance David Murray Bridgeland, Michael N. Huhns

Dynamic Acioss-Time Measurement Interpretation Dennis DeCoste

Dynamic Constraint Satisfaction Problems Sanjay Mittal, Brian Falkenhainer

Effective Generalization of Relational Descriptions Larry Watanabe, Larry A. Rendell

Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering Approach Thomas D. Wu

Empirical Comparisons of Some Design Replay Algorithms Brad Blumenthal

Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms Hiroaki Kitano

Establishing the Coherence of an Evplanation to Improve Refinement of an Incomplete Knowledge Base Young-Tack Park, David C. Wilkins

Explaining Temporal Differences to Create Useful Concepts for Evaluating States Richard C. Yee, Sharad Saxena, Paul E. Utgoff, Andrew G. Barto

Exploiting Locality in a TMS Johan de Kleer

Extending EBG to Term-Rewriting Systems Philip D. Laird, Evan Gamble

Finding the Average Rates of Change in Repetitive Behavior Alexander S. Yeh

Generalization with Taxonomic Information Alan M. Frisch, C. David Page Jr.

Generalized Shape Autocorrelation Andrea Califano, Rakesh Mohan

Getting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition Marc B. Vilain

Incorporating Default Inferences into Plan Recognition Sandra Carberry

Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces Benjamin D. Smith, Paul S. Rosenbloom

Incremental, Approximate Planning Charles Elkan

Indexical Knowledge in Robot Plans Yves Lespérance, Hector J. Levesque

Inductive Learning in a Mixed Paradigm Setting David B. Skalak, Edwina L. Rissland

Inductive Learning in Probabilistic Domain Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka

Inductive Synthesis of Equational Programs Nachum Dershowitz, Eli Pinchover

Integrating Natural Language Processing and Knowledge Based Processing Rebecca J. Passonneau, Carl Weir, Timothy W. Finin, Martha Stone Palmer

Integrating Planning and Acting in a Case-Based Framework Kristian J. Hammond, Timothy M. Converse

Integrating, Execution, Planning, and Learning in Soar for External Environments John E. Laird, Paul S. Rosenbloom

Interaction-Based Invention: Designing Novel Devices from First Principles Brian C. Williams

Introducing the Tileworld: Experimentally Evaluating Agent Architectures Martha E. Pollack, Marc Ringuette

It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics Jonathan Stillman

Iterative Broadening Matthew L. Ginsberg, William D. Harvey

Knowledge Level and Inductive Uses of Chunking (EBL) Paul S. Rosenbloom, Jans Aasman

Learning Abstraction Hierarchies for Problem Solving Craig A. Knoblock

Learning Causal Trees from Dependence Information Dan Geiger, Azaria Paz, Judea Pearl

Learning from Textbook Knowledge: A Case Study William W. Cohen

Learning General Completable Reactive Plans Melinda T. Gervasio

Learning Search Control for Constraint-Based Scheduling Megan Eskey, Monte Zweben

Learning to Coordinate Behaviors Pattie Maes, Rodney A. Brooks

Logical Task Modelling for Man-Machine Dialogue M. David Sadek

LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation Peter K. Malkin, Sanjaya Addanki

Looking for the AI in Software Engineering: An Applications Perspective Mark S. Fox

Maintaining Consistency in a Stratified Production System Program Louiqa Raschid

Mapping and Retrieval During Plan Reuse: A Validation Structure Based Approach Subbarao Kambhampati

Massivley Parallel AI David L. Waltz

Mechanizing Inductive Reasoning Emmanuel Kounalis, Michaël Rusinowitch

Model-Based Diagnosis of Planning Failures Lawrence Birnbaum, Gregg Collins, Michael Freed, Bruce Krulwich

Models of Plans to Support Communication: An Initial Report Karen E. Lochbaum, Barbara J. Grosz, Candace L. Sidner

Myths and Legends in Learning Classification Rules Wray L. Buntine

Negotiation and Conflict Resolution in Non-Cooperative Domains Gilad Zlotkin, Jeffrey S. Rosenschein

Nonmonotonicity and the Scope of Reasoning: Preliminary Report David W. Etherington, Sarit Kraus, Donald Perlis

Obtaining Quantitative Predictions from Monotone Relationships Joseph L. Hellerstein

On Acting Together Hector J. Levesque, Philip R. Cohen, José H. T. Nunes

On Analytical and Similarity-Based Classification Marc B. Vilain, Phyllis Koton, Melissa P. Chase

On the Complexity of Monotonic Inheritance with Roles Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham

On the Expressiveness of Networks with Hidden Variables Rina Dechter

On the Performance of Lazy Matching in Production Systems Daniel P. Miranker, David A. Brant, Bernie J. Lofaso, David Gadbois

On the Role of Coherence in Abductive Explanation Hwee Tou Ng, Raymond J. Mooney

Operationality Criteria for Recursive Predicates Stanley Letovsky

Panel: User Modeling and User Interfaces Susan T. Dumais

Parametric Engineering Design Using Constraint-Based Reasoning Niall Murtagh, Masamichi Shimura

Parsing a Natural Language Using Mutual Information Statistics David M. Magerman, Mitchell P. Marcus

Path-Focused Duplication: A Search Procedure for General Matings Sunil Issar

Physical Impossibility Instead of Fault Models Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl

Pointing: A Way Toward Explanation Dialogue Johanna D. Moore, William R. Swartout

Practical Temporal Projection Steve Hanks

PRAGMA - A Flexible Bidirectional Dialogue System John Levine

Probabilistic Semantics for Cost Based Abduction Eugene Charniak, Solomon Eyal Shimony

Probabilities That Imply Certainties Haim Schweitzer

Probably Approximately Correct Learning David Haussler

QPC: A Compiler from Physical Models into Qualitative Differential Equations James M. Crawford, Adam Farquhar, Benjamin Kuipers

Qualitative Reasoning with Microscopic Theories Shankar A. Rajamoney, Sang Hoe Koo

Rationality and Its Roles in Reasoning (Extended Abstract) Jon Doyle

Reasoning About Qualitative Temporal Information Peter van Beek

Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks Geoffrey G. Towell, Jude W. Shavlik, Michiel O. Noordewier

Search Lessons Learned from Crossword Puzzles Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance

Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge Kenneth D. Forbus, Brian Falkenhainer

Shifting Ontological Perspectives in Reasoning About Physical Systems Zheng-Yang Liu, Arthur M. Farley

Skolem Functions and Equality in Automated Deduction William McCune

Solving Geometric Constraint Systems Glenn A. Kramer

Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird

Solving Term Inequalities Gerald E. Peterson

Some Applications of Graph Bandwidth to Constraint Satisfaction Problems Ramin Zabih

Structure of Perspectivity: A Case of Japanese Reflexive Pronoun "zibun" Yasuhiro Katagiri

Symbolic Probabilistic Inference in Belief Networks Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Favero

Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification Yanxi Liu, Robin J. Popplestone

Synthesis of Reactive Plans for Multi-Path Environments Froduald Kabanza

Temporal Terminological Logic Albrecht Schmiedel

Terminological Cycles in KL-ONE-Based Knowledge Representation Languages Franz Baader

The Belief Calculus and Uncertain Reasoning Yen-Teh Hsia

The Complexity of Closed World Reasoning and Circumscription Marco Cadoli, Maurizio Lenzerini

The Complexity of Constraint Satisfaction in Prolog Bernard A. Nadel

The Design of a Marker Passing Architecture for Knowledge Processing Wing Lee, Dan I. Moldovan

The Future of Knowledge Representation Ronald J. Brachman

The Generalized Theory of Model Preference Piotr Rychlik

The Intelligent Database Interface: Integrating AI and Database Systems Donald P. McKay, Timothy W. Finin, Anthony B. O'Hare

The Representation of Defaults in Cyc Ramanathan V. Guha

The STRIPS Assumption for Planning Under Uncertainty Michael P. Wellman

The Techies vs. the Non-Techies: Today's Two Cultures Elliot Soloway

The Utility of EBL in Recursive Domain Theories Devika Subramanian, Ronen Feldman

Theory Reduction, Theory Revision, and Retranslation Allen Ginsberg

Towards a System Architecture Supporting Contextualized Learning Gerhard Fischer, Andreas C. Lemke, Raymond McCall

Towards Incremental Disambiguation with a Generalized Discrimination Network Manabu Okumura, Hozumi Tanaka

Tree Decomposition with Applications to Constraint Processing Itay Meiri, Judea Pearl, Rina Dechter

Truly Parallel Understanding of Text Yeong-Ho Yu, Robert F. Simmons

Truth Maintenance David A. McAllester

Two Case Studies in Cost-Sensitive Concept Acquisition Ming Tan, Jeffrey C. Schlimmer

Two Views of Belief: Belief as Generalized Probability and Belief as Evidence Joseph Y. Halpern, Ronald Fagin

Understanding Natural Language with Diagrams Gordon S. Novak, William C. Bulko

User Modeling and User Interfaces: A Case for Domain Models, Task Models, and Tailorability James D. Hollan

User Models and User Interfaces Kathleen R. McKeown

Validated Retrieval in Case-Based Reasoning Evangelos Simoudis, James Miller

Very Fast Decision Table Execution of Propositional Expert Systems Robert M. Colomb, Charles Y. C. Chung

Weak Representations of Interval Algebras Gerard Ligozat

What Should Be Minimized in a Decision Tree? Usama M. Fayyad, Keki B. Irani

What's in a User? Karen Sparck Jones

Why PRODIGY/EBL Works Oren Etzioni