Milan, Italy
Edited by John McDermott
No papers match this filter.
Architectures and Languages
Parallelism in LISP
Pages 56–60
Knowledge Engineering Tools at the Architecture Level
Pages 100–104
Cognitive Modeling
Explaining and Repairing Plans that Fail
Pages 109–113
Multiple Agents and the Heuristic Ascription of Belief
Pages 118–123
Language Acquisition: Learning a Hierarchy of Phrases
Pages 125–131
Learning Idioms - With and Without Explanation
Pages 133–135
Understanding New Metaphors
Pages 137–138
A Representation for Natural Category Systems
Pages 140–145
Marker-Passing and Microfeatures
Pages 151–153
How Can a Program Mean?
Pages 163–165
A Shell for Intelligent Help Systems
Pages 167–172
Intelligent Case Selection and Presentation
Pages 174–175
A Critic for LISP
Pages 177–183
Implementing a Model of Human Plausible Reasoning
Pages 185–187
A Framework for Representing Tutorial Discourse
Pages 189–192
Knowledge Acquisition
On the Discovery of Mathematical Theorems
Pages 194–196
Towards an Integrated Discovery System
Pages 198–199
Knowledge-based Knowledge Elicitation
Pages 201–203
Non-Cumulative Learning in METAXA.3
Pages 208–209
Concepts in Conceptual Clustering
Pages 211–212
Hierarchical Credit Allocation in a Classifier System
Pages 217–219
An Explanation-based Approach to Generalizing Number
Pages 236–237
Approximation in Mathematical Domains
Pages 239–240
Learning Strategies by Reasoning about Rules
Pages 256–258
A Logical Approach to Reasoning by Analogy
Pages 264–269
The Use of Explanations for Similarity-based Learning
Pages 274–275
Learning in the Limit in a Growing Language
Pages 280–281
Generating Production Rules from Decision Trees
Pages 304–306
A Formal Approach to Learning From Examples
Pages 315–321
Network Learning on the Connection Machine
Pages 323–325
Learning General Search Control from Outside Guidance
Pages 334–336
Machine Learning for Software Reuse
Pages 338–343
CHARADE: A Rule System Learning System
Pages 345–346
Noise and Knowledge Acquisition
Pages 348–353
From Application Shell to Knowledge Acquisition System
Pages 355–357
SIS: A Shell for Interview Systems
Pages 359–360
Knowledge Representation
Uncertainty and Probability
Pages 373–378
Nonmonotonic Logics: Meaning and Utility
Pages 388–392
The Logic of Occurrence
Pages 409–414
The Relevance of Irrelevance
Pages 416–421
Qualitative Kinematics: A Framework
Pages 430–434
Qualitative Kinematics in Mechanisms
Pages 436–441
Qualitative Reasoning in Electronic Fault Diagnosis
Pages 443–444
Commonsense Reasoning with Verbs
Pages 446–447
Time Structures for AI
Pages 456–460
Temporal Event Conceptualization
Pages 472–474
The Logic of Inheritance in Frame Systems
Pages 483–487
Relating Default Logic and Circumscription
Pages 489–493
A Semantics for Default Logic
Pages 495–497
Proving Facts about " "
Pages 499–500
Belief Functions for Real-Time Script Processing
Pages 502–507
Program Understanding with the Lambda Calculus
Pages 512–513
Inference without Chaining
Pages 515–518
Local Pragmatics
Pages 520–522
Hardware Diagnosis as Program Debugging
Pages 524–525
Repair Strategies in a Diagnostic Expert System
Pages 531–533
Performance in Practical Problem Solving
Pages 535–539
Deduction-based Region-Use Planning
Pages 584–586
An Integration Tool for Life-Cycle Engineering
Pages 592–594
GLIMPSE - A Statistical Adventure
Pages 596–600
Natural Language
A Microfeature-based Scheme for Modelling Semantics
Pages 611–613
Parallel Parsing for Unification Grammars
Pages 615–617
Discourse Consistency and Many-Sorted Logic
Pages 633–634
Intonation and the Intentional Structure of Discourse
Pages 636–638
A Computational Model of Referring
Pages 640–646
A Framework for Incremental Syntactic Tree Formation
Pages 655–659
A Parsing System Based on Logic Programming
Pages 671–673
A Knowledge Framework for Natural Language Analysis
Pages 675–677
Naive Mechanics Comprehension and Invention in EDISON
Pages 696–698
Blackboard-based Dependency Parsing
Pages 700–701
A Semantic Expert Using an Online Standard Dictionary
Pages 709–713
Interactive Vocabulary Acquisition in XTRA
Pages 715–716
Direct Memory Access Translation
Pages 722–726
Perception
Representing Space for Practical Reasoning
Pages 728–729
Recovering Surface Shape from Boundary
Pages 731–732
Image Reconstruction from Zero-Crossings
Pages 742–743
An Optimal Scale for Edge Detection
Pages 745–747
Feature Selection in Colour Images for Token Matching
Pages 749–750
The Use of Color in Highlight Identification
Pages 752–753
Color Algorithms for a General Vision System
Pages 759–761
Process Recovery
Pages 771–773
Exploiting 2D Topology in Labeling Polyhedral Images
Pages 787–788
Automatic Programming of Machine Vision Systems
Pages 790–791
Determining Cylindrical Shape from Contour and Shading
Pages 797–799
What is a 'Degenerate' View?
Pages 801–803
Qualitative Motion Understanding
Pages 819–820
Trinocular Stereovision: Recent Results
Pages 826–827
Reasoning
Knowledge Preconditions for Actions and Plans
Pages 867–873
Reasoning with Consistent Probabilities
Pages 899–900
Objective Probabilities
Pages 902–903
Variables in Hypotheses
Pages 905–907
Matrix Proof Methods for Modal Logics
Pages 917–922
Inductive Inference on the Base of Fixed Point Theory
Pages 932–937
Foundations of Probabilistic Logic
Pages 939–940
A General Proof Method for First-Order Modal Logic
Pages 942–943
A Quantitative Analysis of Minimal Window Search
Pages 951–953
Comparative Analysis
Pages 959–964
Formal Theories of Action (Preliminary Report)
Pages 966–971
An Algebraic Foundation for Truth Maintenance
Pages 973–979
Short Time Periods
Pages 981–982
An Incremental Theorem Prover
Pages 987–988
Complete Inference Rules for the Cancellation Laws
Pages 990–991
Constructive Second-Order Proofs in Logical Databases
Pages 993–995
Domain Abstraction and Limited Reasoning
Pages 997–1002
The Abstraction/Implementation Model of Problem Reformulation
Pages 1004–1009
Preserving Consistency Across Abstraction Mappings
Pages 1011–1013
Combining Bodies of Dependent Information
Pages 1015–1016
Goal Conflict Concerns
Pages 1025–1030
Controlling Constraint Propagation
Pages 1032–1033
Contingency Planning for an Autonomous Land Vehicle
Pages 1047–1053
Path Planning Through Time and Space in Dynamic Domains
Pages 1067–1069
Taming Intractible Branching in Qualitative Simulation
Pages 1079–1084
Towards Continuous Process Supervision
Pages 1086–1088
Explicit Integration of Goals in Heuristic Algorithm Design
Pages 1090–1095
An Improved Constraint-Propagation Algorithm for Diagnosis
Pages 1105–1110
Computational Complexity of Hypothesis Assembly
Pages 1112–1118
Robotics
Creature Design with the Subsumption Architecture
Pages 1124–1125
Visual Path Planning by a Mobile Robot
Pages 1127–1129
TINA: The Sheffeild AIVRU Vision System
Pages 1138–1143
Object Identification from Parallel Light Stripes
Pages 1145–1147
Locating Polyhedral Objects from Edge Point Data
Pages 1149–1151
Grasp Planning from Human Prehension
Pages 1153–1155
A Parallel Blackboard System for Robot Control
Pages 1157–1160
Panels and Invited Talks
Parallel Inference Machines (Panel)
Pages 1162–-1
Some Challenges for Intelligent Tutoring Systems
Pages 1166–1167
Artificial 3D Vision
Pages 1169–1170
On the Thresholds of Knowledge
Pages 1173–1181
Front matter, copyright and publication details
Sponsored by International Joint Conferences on ArtHiclallntelllgence, Inc. (IJCAII)
cosponsored and hosted by Auoclazlone ltallana per l'lnformatlca ed II Calcolo Automatlco-A.I.C.A. (Gruppo dl Lavoro dllntelllgenza ArtHiclale GLIA).
Copyright © 1987. International Joint Conferences
on Artificial Intelligence, Inc. All rights reserved.
Distributed by
Morgan Kaufmann Publishers, Inc. 95 First Street
Los Altos, California 94022
Secretary·Treasurer: Donald E. Walker, Bell Communications Research,
445 South Street, MAE 2A379 Morristown, New Jersey 07960 USA
ISBN 0-934613-43-5
