Detroit, Michigan, USA · August 20-25 1989
Edited by N. S. Sridharan
No papers match this filter.
Tools
Searching Game Trees in Parallel Using SSS
Pages 42–46
Platypus: A Constraint-Based Reasoning System
Pages 48–52
A Universal Programming Language
Pages 60–64
A Framework for Network Modeling in Prolog
Pages 78–82
A Knowledge-Based Software Information System
Pages 110–114
Chart Parsing of Flowgraphs
Pages 116–120
Parallel and Distributed Processing
A Vectorization Technique for Prolog without Explosion
Pages 151–155
Unsupervised Learning by Backward Inhibition
Pages 170–174
Neural Computing on a One Dimensional SIMD Array
Pages 206–210
Real-time and High Performance
The Implementation of Expert, Knowledge-Based Systems
Pages 221–225
Knowledge Base Compilation
Pages 227–231
Rapid Retrieval Algorithms for Case-Based Reasoning
Pages 233–236
Intelligent Monitoring and Control
Pages 243–248
Input Data Management in Real-Time AI Systems
Pages 250–254
Real-Time AI Systems: A Definition and An Architecture
Pages 256–263
Search
Partial Constraint Satisfaction
Pages 278–282
A Comparison of ATMS and CSP Techniques
Pages 290–295
Constrained Heuristic Search
Pages 309–314
Multi-Dimensional Heuristic Searching
Pages 316–320
The Reason for the Benefits of Minimax Search
Pages 322–326
Generalized Game Trees
Pages 328–332
Automated Deduction
And-Or Graphs Applied to RUE Resolution
Pages 354–357
Recognizing Unnecessary Inference
Pages 366–370
Abstract Theorem Proving
Pages 372–376
Structuring Computer Generated Proofs
Pages 378–382
Program Derivation Using Analogy
Pages 389–393
Explanation Based Program Transformation
Pages 407–411
An Approximate Solver for Symbolic Equations
Pages 431–433
Modal Theorem Proving: An Equational Viewpoint
Pages 441–444
Extending Reflective Architectures
Pages 446–450
Maximum Entropy in Nilsson's Probabilistic Logic
Pages 452–456
How to Represent Opaque Sentences in First Order Logic
Pages 458–461
A Theorem Prover for Prioritized Circumscription
Pages 463–466
Circumscribing Equality
Pages 468–475
Intelligent Tutoring Systems
Cognitive Models
Focus of Control Through Goal Relationships
Pages 497–502
Opportunistic Memory
Pages 504–509
An Adaptive Model of Decision-Making in Planning
Pages 511–515
Argumentation: Planning Other Agents' Plans
Pages 517–522
Defining Salience in Case-Based Arguments
Pages 537–541
Simulating Student Programmers
Pages 543–548
Learning to Diagnose by Doing
Pages 556–560
A Probabilistic Approach to Marker Propagation
Pages 574–581
Machine Learning
Automated Synthesis of Constrained Generators
Pages 583–588
Learning Subgoal Sequences for Planning
Pages 609–613
A Study of Empirical Learning for an Involved Problem
Pages 615–619
On the Road to Automatic Knowledge Engineering
Pages 628–631
Comparing the Conceptual Systems of Experts
Pages 633–637
Learning DNF by Decision Trees
Pages 639–643
Constructive Induction On Decision Trees
Pages 645–649
Principled Constructive Induction
Pages 651–655
Improving Efficiency by Learning Intermediate Concepts
Pages 657–661
Coping With Uncertainty in Map Learning
Pages 663–667
Abstraction in Problem Solving and Learning
Pages 681–686
Alternatives for Classifier System Credit Assignment
Pages 756–760
An Empirical Comparison of ID3 and Back-propagation
Pages 788–792
Noise-Tolerant Instance-Based Learning Algorithms
Pages 794–798
Generating Better Decision Trees
Pages 800–804
Concept Learning and the Problem of Small Disjuncts
Pages 813–817
Chemical Analogies: Two Kinds of Explanation
Pages 819–823
Noise-Tolerant Conceptual Clustering
Pages 825–829
Concept Formation by Incremental Conceptual Clustering
Pages 831–835
A Critique of the Valiant Model
Pages 837–841
Towards Friendly Concept-Learners
Pages 849–857
Planning, Scheduling, Reasoning About Actions
Sometimes Updates Are Circumscription
Pages 859–862
Things That Change by Themselves
Pages 864–866
A Formal Account of Self-Knowledge and Action
Pages 868–873
Constraint Satisfaction with Delayed Evaluation
Pages 875–879
Constraint Posting for Verifying VLSI Circuits
Pages 881–885
Temporal Projection and Explanation
Pages 906–910
On Cooperation in a Multi-Entity Model
Pages 918–922
Ascribing Plans to Agents
Pages 924–929
Ordering Problem Subgoals
Pages 931–935
Control of Refitting during Plan Reuse
Pages 943–947
Goal Ordering in Partially Ordered Plans
Pages 960–964
Decision-Making in an Embedded Reasoning System
Pages 972–977
Solving Time-Dependent Planning Problems
Pages 979–983
A Model for Projection and Action
Pages 985–989
The Dynamics of Action Selection
Pages 991–996
A Reactive Scheduling Agent
Pages 1004–1008
Representations of Assembly Sequences
Pages 1035–1041
Commonsense Reasoning
A Correct Non-Monotonic ATMS
Pages 1049–1053
Prediction is Deduction but Explanation is Abduction
Pages 1055–1059
A Knowledge-Level Account of Abduction
Pages 1061–1066
Negative Reasoning Using Inheritance
Pages 1086–1091
An Evidence-based Framework for a Theory of Inheritance
Pages 1093–1097
On the Declarative Semantics of Inheritance Networks
Pages 1099–1102
A Modest, but Semantically Well Founded, Inheritance Reasoner
Pages 1104–1108
Qualitative Reasoning of Bayesian Belief Using Meta-knowledge
Pages 1128–1132
A Semantical Approach to Stable Inheritance Reasoning
Pages 1134–1138
The Tractability of Path-Based Inheritance
Pages 1140–1144
Vivid Knowledge and Tractable Reasoning
Pages 1146–1151
Knowledge Representation
Uncertainty, Belief, and Probability
Pages 1161–1166
Belief as Defeasible Knowledge
Pages 1168–1172
Perturbation Analysis with Qualitative Models
Pages 1180–1185
Stochastic Analysis of Qualitative Dynamics
Pages 1187–1191
Constraint Reasoning Based on Interval Arithmetic
Pages 1193–1197
Relating the TMS to Autoepistemic Logic
Pages 1199–1204
Automated Physical Modeling
Pages 1225–1229
A Focused, Context-Sensitive Approach to Monitoring
Pages 1231–1236
Model-Based Monitoring of Dynamic Systems
Pages 1238–1242
Approximation of Indistinct Concepts
Pages 1244–1247
The Orders of Magnitude Models as Qualitative Algebras
Pages 1261–1265
Processes at Discontinuities
Pages 1267–1271
Introducing Actions into Qualitative Simulation
Pages 1273–1277
The Thought Experiment Approach to Qualitative Physics
Pages 1279–1283
Approximation Algorithms for Temporal Reasoning
Pages 1291–1295
Normality and Faults in Logic-Based Diagnosis
Pages 1304–1309
A Theory of Diagnosis for Incomplete Causal Models
Pages 1311–1316
Diagnosis with Behavioral Modes
Pages 1324–1329
Reasoning about Kinematic Topology
Pages 1331–1335
Simplification and Abstraction of Kinematic Behaviors
Pages 1337–1341
Reasoning About Hidden Mechanisms
Pages 1343–1348
Experience Learning in Model-Based Diagnostic Systems
Pages 1356–1361
An Analysis of First-Order Logics of Probability
Pages 1375–1380
On the Semantics of Counterfactuals
Pages 1382–1386
Towards a Generic Model of Configuraton Tasks
Pages 1395–1400
A Case-Based Mechanical Redesign System
Pages 1402–1406
Design Optimization Using Dynamic Evaluation
Pages 1408–1411
A Unified View of Propositional Knowledge Base Updates
Pages 1413–1418
Plausible Inferencing Using Extended Composition
Pages 1420–1424
Reasoning About Assumptions in Graphs of Models
Pages 1432–1437
Extending the Constraint Propagation of Intervals
Pages 1453–1459
Speech and Natural Language
Semantic Interpretation Based on the Multi-World Model
Pages 1467–1472
Semantics of Perspectival Utterances
Pages 1474–1478
Formal Properties and Implementation of Bidirectional Charts
Pages 1480–1484
Computing Pronoun Antecedents in an English Query System
Pages 1498–1502
A Reactive Approach to Explanation
Pages 1504–1509
Phrasing a Text in Terms the User Can Understand
Pages 1511–1516
Controlling a Language Generation Planner
Pages 1524–1529
A Parallel Parser for Spoken Natural Language
Pages 1537–1541
Vision and Robotics
The Complexity of Perceptual Search Tasks
Pages 1571–1576
A Homogeneous Framework for Visual Recognition
Pages 1578–1583
A "Small Leakage" Model for Diffusion Smoothing of Image Data
Pages 1585–1589
Can Early Stage Vision Detect Topology
Pages 1591–1594
Objective Functions for Feature Discrimination
Pages 1596–1601
Three-Dimensional Interpretation of Quadrilaterals
Pages 1610–1615
Visual Reasoning in Geometry Theorem Proving
Pages 1617–1621
Experiments with a Network-Based Geometric Reasoning Engine
Pages 1623–1627
Reference Frames for Animate Vision
Pages 1635–1640
Chromatic Stereopsis
Pages 1649–1653
A Region-Based Stereo Algorithm
Pages 1661–1667
Panels
The Challenge of Neural Darwinism
Pages 1669–1670
Robot Navigation
Pages 1672–1673
Artificial Intelligence and Space Exploration
Pages 1676–1677
Other papers
Front matter, copyright and publication details
sponsored by
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII)
cosponsored and hosted by
American Association for Artificial Intelligence (AAAI)
In cooperation with
A consortium of Michigan companies
Copyright© 1989. International Joint Conferences
on Artificial Intelligence, Inc.
All rights reserved.
Distributed by
Morgan Kaufmann Publishers, Inc.
2929 Campus Drive, Suite 260
San Mateo, California 94403
Secretary-Treasurer: Donald E. Walker, Bellcore, MRE 2A379
445 South Street, Box 1910. Morristown, NJ 07960, USA
Executive Director: Claudia Mazzetti
ISBN 1-55860-094-9
