Cambridge, MA, USA
Edited by Raj Reddy
No papers match this filter.
Natural Language
How to Learn/What to Learn
Pages 8–13
PAM - A Program That Infers Intentions
Pages 15–-1
A Comprehension Model for Human Dialogue
Pages 77–86
Modelling Simple Dialogs
Pages 88–-1
Making Inferences in Natural Language Dialogs
Pages 89–-1
On Semantic Nets, Frames and Associations
Pages 99–106
Frames-based Text Processing
Pages 108–-1
COMEX: A Commodities Support System
Pages 109–-1
Coherence and Interpretation in English Texts
Pages 110–115
Automatic Abstracting of Textual Material
Pages 117–117
Overview of 'Planning Speech Acts'
Pages 119–-1
Conceptual Analysis of Noun Groups in English
Pages 132–137
A Note on Representing Adjectives and Adverbs
Pages 139–139
Language Generation: The Linguistics Component
Pages 142–-1
Writing a Natural Language Data Base System
Pages 144–149
Knowledge Structures and Language Boundaries
Pages 151–156
A Conceptual Theory of Question Answering
Pages 158–163
Augmenting ATNS
Pages 193–-1
Presupposition-Based AI Natural Language System
Pages 195–-1
Representation of Knowledge
Deductive Methods for Large Data Bases
Pages 203–208
Vocabularies for Problem Solver State Descriptions
Pages 229–233
Reasoning About Knowledge and Action
Pages 223–226
Vocabularies for Problem Solver State Descriptions
Pages 229–233
Truth Maintenance Systems for Problem Solving
Pages 247–-1
NUDGE, A Knowledge-Based Scheduling Program
Pages 257–262
A Procedural Model of Recognition
Pages 264–-1
Representation of Actions That Have Side-Effects
Pages 265–265
Inferences in Quantified Semantic Networks
Pages 267–272
Modeling Spatial Knowledge
Pages 292–297
Knowledge Acquisition
The Reformulation Approach to Building Expert Systems
Pages 329–334
A Model for Learning Systems
Pages 338–342
Analogical Reasoning in Problem Solving
Pages 345–-1
Learning Simple Arithmetic
Pages 346–-1
Analysis of an Extended Concept-Learning Task
Pages 348–-1
Knowledge Acquisition from Structural Descriptions
Pages 356–361
Strategies for Mechanizing Structural Induction
Pages 363–368
Aids to Programming
Modelling Distributed Systems
Pages 370–375
Understanding and Improving LISP Programs
Pages 377–-1
Automatic Program Annotation
Pages 378–-1
Toward Automatic Debugging of Compilers
Pages 379–-1
A Summary of the PSI Program Synthesis System
Pages 380–380
Informality in Program Specifications
Pages 389–396
Meta-Evaluation as a Tool for Program Understanding
Pages 398–402
Problem-solving and Search
A Comparsion of Three Problem-Solving Methods
Pages 442–448
Generality and Computational Cost
Pages 458–-1
The Role of Preprocessing in Problem Solving Systems
Pages 465–470
Planning in the World of the Air Traffic Controller
Pages 473–478
Using and Re-Using Partial Plans
Pages 494–-1
The Coordination of Multiple Goal Satisfaction
Pages 495–-1
Can Domain Specific Knowledge Be Generalized?
Pages 496–-1
Failure Handling in a Dialogue System
Pages 499–-1
Theorem Proving
Set Variables
Pages 501–509
Improving the Efficiency of Higher Order Unification
Pages 520–524
An Algorithm for Reasoning About Equality
Pages 526–526
Unification of Idempotent Functions
Pages 528–-1
A Hierarchical Approach to Theorem-Proving
Pages 529–532
A Theorem Prover for Elementary Set Theory
Pages 534–539
Theorem Proving by Covering Expressions
Pages 541–541
Formal Grammars as Models of Logic Derivations
Pages 544–550
A Proof-Checker for Dynamic Logic
Pages 552–557
In Defense of Logic
Pages 559–564
Theorem Proving in Type Theory
Pages 566–-1
Vision
A Stereo Vision System for an Autonomous Vehicle
Pages 576–581
Towards Automatic Visual Obstacle Avoidance
Pages 584–-1
Recognition Using Semantic Constraints
Pages 585–588
On Reading Sketch Maps
Pages 598–605
Generation of Descriptions for Line Drawings
Pages 607–-1
Computer Interpretation of PEANUTS Cartoons
Pages 608–-1
Some Notes on Motion Understanding
Pages 611–-1
Change Detection and Analysis in Multispectral Images
Pages 619–624
Analysing Sequences of TV-Frames
Pages 626–-1
A Methodology for Real Time Scene Analysis
Pages 627–-1
Segmentation Processes in the VISIONS System
Pages 642–642
Model-Building in the Visions System
Pages 644–644
Between Regions and Objects - Surfaces and Volumes
Pages 646–646
Towards a Science of Image Understanding
Pages 648–-1
Three-Dimensional Modeling
Pages 649–654
Human Vision Paradox Implicates Relaxation Model
Pages 656–-1
An Approach to Knowledge-Directed Image Analysis
Pages 664–669
Experiments in Map-Guided Photo Interpretation
Pages 696–-1
Automatic Rib Detection in Chest Radiographs
Pages 697–697
Rapid Computation of Fourier Texture Descriptors
Pages 707–-1
Computation of Immediate Texture Discrimination
Pages 708–-1
Toward Consistent Descriptions in Vision Systems
Pages 709–-1
Robotics
LAMA: A Language for Automatic Mechanical Assembly
Pages 710–715
Force Control in Coordination of Two Arms
Pages 717–721
A Practical Manipulator System
Pages 723–731
Recent Work with the AL System
Pages 733–734
Robot Learning and Error Correction
Pages 736–-1
The Navigation System of the JPL Robot
Pages 749–756
Autonomous Guidance and Control of a Roving Robot
Pages 759–759
A Model for Motor Control and Learning
Pages 761–-1
A Scanning Laser Rangefinder for a Robotic Vechicle
Pages 762–767
GOALEM from Prague
Pages 771–-1
A Variable Capacitance Touch Sensor
Pages 772–-1
Specialized Systems
Structured Planning and Debugging
Pages 773–778
A System Which Allows Students to Explore Algorithms
Pages 780–785
The FLOW Tutor: A Schema-Based Tutorial System
Pages 787–-1
An Automated Consultant for MACSYMA
Pages 789–-1
A Retrospective View of the Hearsay-II Architecture
Pages 790–799
Levels of Pattern Description in Learning
Pages 801–810
Delayed Interpretation Using Processing Notes
Pages 813–-1
A Digitalis Therapy Advisor with Explanations
Pages 819–824
Automated Theory Formation in Mathematics
Pages 833–841
Structuring Mathematical Knowledge
Pages 843–-1
Inductive Reasoning in Mathematics
Pages 844–849
Computer Understanding of Mathematical Proofs
Pages 851–856
Applications
The Analysis and Synthesis of Jazz by Computer
Pages 865–871
A Simple Model for Handwriting
Pages 881–-1
Generating Project Networks
Pages 888–892
Languages and Systems
A Display Oriented Programmer's Assistant
Pages 905–914
NLG - Natural Language Graphics
Pages 916–-1
Heuristico-Conceptual Programming
Pages 919–-1
Meta-Level Knowledge: Overview and Applications
Pages 920–926
Less Than General Production System Architectures
Pages 928–931
OPS, A Domain-Independent Production System Language
Pages 933–938
Invited Panel
Federal Programs in Artificial Intelligence
Pages 940–949
History of Artificial Intelligence
Pages 951–953
Artificial Intelligence in Western Europe
Pages 955–968
Computer Game Playing
Pages 975–981
Knowledge Representation
Pages 983–991
AI and Pattern Recognition
Pages 993–-1
Applications of Artificial Intelligence
Pages 994–1005
Natural Language Processing
Pages 1007–1012
Epistemological Problems of Artificial Intelligence
Pages 1038–1043
Putting Theories Together to Make Specifications
Pages 1045–1057
Artificial Intelligence Systems That Understand
Pages 1059–1072
Plain Talk about Neurodevelopmental Epistemology
Pages 1083–1091
Front matter, copyright and publication details
Sponsored by
International Joint Conferences on Artifical Intelligence (IJCAI)
Published by
International Joint Conferences on Artificial Intelligence
© 1977 INTERNATIONAL JOINT CONFERENCES
ON ARTIFICIAL INTELLIGENCE
Secretary-Treasurer: Les Earnest, Stanford Artificial Intelligence Lab.
Stanford University, Stanford, CA 94305, USA
