AAAI 1992

134 papers

A Belief-Function Logic Alessandro Saffiotti

A Computational Model for Face Location Based on Cognitive Principles Venu Govindaraju, Sargur N. Srihari, David B. Sher

A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation George Berg

A Framework for Integrating Fault Diagnosis and Incremental Knowledge Acquisition in Connectionist Expert Systems Joo-Hwee Lim, Ho-Chung Lui, Pei-Zhuang Wang

A General-Equilibrium Approach to Distributed Transportation Planning Michael P. Wellman

A Logic for Revision and Subjunctive Queries Craig Boutilier

A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report Piotr J. Gmytrasiewicz, Edmund H. Durfee

A New Method for Solving Hard Satisfiability Problems Bart Selman, Hector J. Levesque, David G. Mitchell

A Non-Well-Founded Approach to Terminological Cycles Robert Dionne, Eric Mays, Frank J. Oles

A Personal Learning Apprentice C. Lisa Dent, Jesus Boticario, John P. McDermott, Tom M. Mitchell, David Zabowski

A Probabilistic Parser Applied to Software Testing Documents Mark A. Jones, Jason Eisner

A Reactive Robot System for Find and Fetch Tasks in an Outdoor Environment R. Peter Bonasso, Hendrik James Antonisse, Marc G. Slack

A Statistical Approach to Solving the EBL Utility Problem Russell Greiner, Igor Jurisica

A Symbolic Generalization of Probability Theory Adnan Darwiche, Matthew L. Ginsberg

A Theory of Unsupervised Speedup Learning Prasad Tadepalli

Achieving the Functionality of Filter Conditions in a Partial Order Planner Gregg Collins, Louise Pryor

Acquisition of Automatic Activity Through Practice: Changes in Sensory Input Jack Gelfand, Marshall Flax, Raymond Endres, Stephen H. Lane, David Handelman

Actions, Beliefs and Intentions in Rationale Clauses and Means Clauses Cecile T. Balkanski

Adapting Bias by Gradient Descent: An Incremental Version of Delta-Bar-Delta Richard S. Sutton

Adaptive Model-Based Diagnostic Mechanism Using a Hierarchical Model Scheme Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka

Algorithms and Complexity for Reasoning About Time Martin Charles Golumbic, Ron Shamir

An Analysis of Bayesian Classifiers Pat Langley, Wayne Iba, Kevin Thompson

An Approach to the Representation of Iterative Situations Michael J. Almeida

An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results Weixiong Zhang, Richard E. Korf

An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space Paul D. Hubbe, Eugene C. Freuder

An Empirical Analysis of Terminological Representation Systems Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich

An Improved Connectionist Activation Function for Energy Minimization Gadi Pinkas, Rina Dechter

An Improved Incremental Algorithm for Generating Prime Implicates Johan de Kleer

An On-Line Computational Model of Human Sentence Interpretation Daniel Jurafsky

Analyzing Failure Recovery to Improve Planner Design Adele E. Howe

Artificial Intelligence and Molecular Biology Lawrence Hunter

Automated Model Selection Using Context-Dependent Behaviors P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki

Automatic Abduction of Qualitative Models Bradley L. Richards, Ina Kraan, Benjamin Kuipers

Automatic Programming of Robots Using Genetic Programming John R. Koza, James P. Rice

Building Large-Scale and Corporate-Wide Case-Based Systems: Integration of the Organizational and Machine Executable Algorithms Hiroaki Kitano, Akihiro Shibata, Hideo Shimazu, Juichirou Kajihara, Atsumi Sato

Can Real-Time Search Algorithms Meet Deadlines? Babak Hamidzadeh, Shashi Shekhar

Causal Approximations P. Pandurang Nayak

ChiMerge: Discretization of Numeric Attributes Randy Kerber

Classifier Learning from Noisy Data as Probabilistic Evidence Combination Steven W. Norton, Haym Hirsh

Classifying Texts Using Relevancy Signatures Ellen Riloff, Wendy G. Lehnert

COGIN: Symbolic Induction with Genetic Algorithms David Perry Greene, Stephen F. Smith

Combining Circumscription and Modal Logic Jacques Wainer

Common Sense Retrieval A. Julian Craddock

Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems James G. Schmolze, Daniel E. Neiman

Complementary Discrimination Learning with Decision Lists Wei-Min Shen

Complexity Results for Serial Decomposability Tom Bylander

COMPOSER: A Probabilistic Solution to the Utility Problem in Speed-up Learning Jonathan Gratch, Gerald DeJong

Computation of Upper-Bounds for Stochastic Context-Free Languages Anna Corazza, Renato de Mori, Giorgio Satta

Computing Least Common Subsumers in Description Logics William W. Cohen, Alexander Borgida, Haym Hirsh

Concurrent Actions in the Situation Calculus Fangzhen Lin, Yoav Shoham

Consistency-Based Diagnosis in Physiological Domains Keith L. Downing

Constrained Decision Revision Charles J. Petrie

Constrained Intelligent Action: Planning Under the Influence of a Master Agent Eithan Ephrati, Jeffrey S. Rosenschein

Cultural Support for Improvisation Philip E. Agre, Ian Horswill

Deriving Properties of Belief Update from Theories of Action Alvaro del Val, Yoav Shoham

Discovery of Equations: Experimental Evaluation of Convergence Robert Zembowicz, Jan M. Zytkow

Discrete Sequence Prediction and Its Applications Philip D. Laird

Discrimination-Based Constructive Induction of Logic Programs Boonserm Kijsirikul, Masayuki Numao, Masamichi Shimura

Dynamic MAP Calculations for Abduction Eugene Charniak, Eugene Santos Jr.

Efficient Propositional Constraint Propagation Mukesh Dalal

Empirical Analysis of the General Utility Problem in Machine Learning Lawrence B. Holder

Formalising Reasoning About Change: A Qualitative Reasoning Approach James M. Crawford, David W. Etherington

Forming Concepts for Fast Inference Henry A. Kautz, Bart Selman

From Statistics to Beliefs Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern

Generating Cross-References for Multimedia Explanation Kathleen R. McKeown, Steven Feiner, Jacques Robin, Dorée D. Seligmann, Michael A. Tanenblatt

Generating Dialectical Examples Automatically Kevin D. Ashley, Vincent Aleven

Grouping Iso-Velocity Points for Ego-Motion Recovery Yibing Yang, Alan L. Yuille

Hard and Easy Distributions of SAT Problems David G. Mitchell, Bart Selman, Hector J. Levesque

How Long Will It Take? Ron Musick, Stuart Russell

Ideal Introspective Belief Kurt Konolige

Improved Decision-Making in Game Trees: Recovering from Pathology Arthur L. Delcher, Simon Kasif

Inductive Policy Foster J. Provost, Bruce G. Buchanan

Inferring Finite Automata with Stochastic Output Functions and an Application to mAP Learning Thomas L. Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron

Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots Erann Gat

Landmark-Based Robot Navigation Anthony Lazanas, Jean-Claude Latombe

Learning 10, 000 Chunks: What's It like Out There? Robert B. Doorenbos, Milind Tambe, Allen Newell

Learning Engineering Models with the Minimum Description Length Principle R. Bharat Rao, Stephen C. Y. Lu

Learning from Goal Interactions in Planning: Goal Stack Analysis and Generalization Kwang Ryel Ryu, Keki B. Irani

Learning in FOL with a Similarity Measure Gilles Bisson

Learning Relations by Pathfinding Bradley L. Richards, Raymond J. Mooney

Learning to Disambiguate Relative Pronouns Claire Cardie

Learning to Learn Decision Trees Vlad G. Dabija, Katsuhiko Tsujino, Shogo Nishida

Lexical Imprecision in Fuzzy Constraint Networks James Bowen, K. Robert Lai, Dennis R. Bahler

Linear-Space Best-First Search: Summary of Results Richard E. Korf

Literal Meaning and the Comprehension of Metaphors Steven L. Lytinen, Robert R. Burridge, Jeffrey D. Kirtner

Mega-Classification: Discovering Motifs in Massive Datastreams Nomi L. Harris, Lawrence Hunter, David J. States

Model-Based Case Adaptation Eric K. Jones

Modeling Accounting Systems to Support Multiple Tasks: A Progress Report Walter Hamscher

Moving Target Search with Intelligence Toru Ishida

Nonmonotonic Sorts for Feature Structures Mark A. Young

Oblivious PAC Learning of Concept Hierarchies Michael J. Kearns

On Optimal Game Tree Propagation for Imperfect Players Eric B. Baum

On the Complexity of Domain-Independent Planning Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian

On the Computational Complexity of Temporal Projection and Plan Validation Bernhard Nebel, Christer Bäckström

On the Density of Solutions in Equilibrium Points for the Queens Problem Paul Morris

On the Minimality and Decomposability of Constraint Networks Peter van Beek

On the Qualitative Structure of a Mechanical Assembly Randall H. Wilson, Jean-Claude Latombe

On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report) Yoav Shoham, Moshe Tennenholtz

Operational Definition Refinement: A Discovery Process Jan M. Zytkow, Jieming Zhu, Robert Zembowicz

Parsing Run Amok: Relation-Driven Control for Text Analysis Paul S. Jacobs

Performance of IDA on Trees and Graphs Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal

Polynomial-Time Learning with Version Spaces Haym Hirsh

Qualitative Simulation Based on a Logical Formalism of Space and Time Zhan Cui, Anthony G. Cohn, David A. Randell

Reactive Navigation Through Rough Terrain: Experimental Results David P. Miller, Rajiv S. Desai, Erann Gat, Robert Ivlev, John Loch

Real-Time Metareasoning with Dynamic Trade-Off Evaluation Ursula M. Schwuttke, Les Gasser

Reasoning as Remembering: The Theory and Practice of CBR Kristian J. Hammond

Reasoning MPE to Multiply Connected Belief Networks Using Message Passing Bon K. Sy

Recognition Algorithms for the Loom Classifier Robert M. MacGregor, David Brill

Reinforcement Learning with a Hierarchy of Abstract Models Satinder P. Singh

Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions Approach Lonnie Chrisman

Results of Encoding Knowledge with Tutor Construction Tools Tom Murray, Beverly Park Woolf

Run-Time Prediction for Production Systems Franz Barachini, Hans Mistelberger, Anoop Gupta

Self-Explanatory Simulations: Scaling up to Large Models Kenneth D. Forbus, Brian Falkenhainer

Semantic Evaluation as Constraint Network Consistency Nicholas J. Haddock

Shipping Departments vs. Shipping Pacemakers: Using Thematic Analysis to Improve Tagging Accuracy Uri Zernik

Solving Constraint Satisfaction Problems Using Finite State Automata Nageshwara Rao Vempaty

Sparse Data and the Effect of Overfitting Avoidance in Decision Tree Induction Cullen Schaffer

Steps from Explanation Planning to Model Construction Dialogues Daniel D. Suthers, Beverly Park Woolf, Matthew Cornell

Symmetry as Bias: Rediscovering Special Relativity Michael R. Lowry

Temporal Reasoning in Sequence Graphs Jürgen Dorn

The Attribute Selection Problem in Decision Tree Generation Usama M. Fayyad, Keki B. Irani

The Complexity of Propositional Default Logics Jonathan Stillman

The Expected Value of Hierarchical Problem-Solving Fahiem Bacchus, Qiang Yang

The Feature Selection Problem: Traditional Methods and a New Algorithm Kenji Kira, Larry A. Rendell

Theory-Driven Discovery of Reaction Pathways in the MECHEM System Raúl E. Valdés-Pérez

Towards a Qualitative Lagrangian Theory of Fluid Flow Gordon Skorstad

Understanding Causal Descriptions of Physical Systems Gary C. Borchardt

Using Deep Structure to Locate Hard Problems Colin P. Williams, Tad Hogg

Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic Environments Nicholas R. Jennings, E. H. Mamdani

Using Knowledge-Based Neural Networks to Improve Algorithms: Refining the Chou-Fasman Algorithm for Protein Folding Richard Maclin, Jude W. Shavlik

Using Symbolic Learning to Improve Knowledge-Based Neural Networks Geoffrey G. Towell, Jude W. Shavlik

Wafer Scale Integration for Massively Parallel Memory-Based Reasoning Hiroaki Kitano, Moritoshi Yasunaga

What Your Computer Really Needs to Know, You Learned in Kindergarten Edmund H. Durfee

When Should a Cheetah Remind You of a Bat? Reminding in Case-Based Teaching Daniel C. Edelson