Karlsruhe, West Germany
Edited by Alan Bundy
No papers match this filter.
Cognitive Modelling
Learning to Program
Pages 57–61
Creating a Story-Telling Universe
Pages 63–64
Planning Perlocutionary Acts
Pages 78–79
Logic Modelling of Cognitive Reasoning
Pages 81–82
Artificial Intelligence in the Classroom
Pages 87–88
Expert Systems
Extracting Knowledge From Expert Systems
Pages 100–106
On the Requirements of Future Expert Systems
Pages 110–114
ACE: An Expert System for Telephone Cable Maintenance
Pages 116–120
A Synthetic View of Approximate Reasoning Techniques
Pages 130–135
Consistency and Plausible Reasoning
Pages 137–143
Extracting Useful Advice From Conflicting Expertise
Pages 145–149
Procedural Expert Systems
Pages 151–156
Techniques for Sensor-Based Diagnosis
Pages 158–162
AI Research in China: A Review
Pages 164–165
Providing Help and Advice in Task Oriented Systems
Pages 176–177
HPRL: A Language for Building Expert Systems
Pages 215–216
CSRL: A Language for Expert Systems for Diagnosis
Pages 218–220
Structure Based Control Strategy
Pages 222–223
A Control Structure for Time Dependent Reasoning
Pages 230–231
Decision-Making in Time-Critical Situations
Pages 233–234
Recognition-Based Diagnostic Reasoning
Pages 236–237
Medical Plan-Analysis: The Attending System
Pages 239–240
An Expert System for Indications and Warning Analysis
Pages 259–261
Knowledge Representation
Semantical Considerations on Nonmonotonic Logic
Pages 272–278
Intensions as Such: An Outline
Pages 280–285
Permissions and Obligations
Pages 287–293
The Mercator Representation of Spatial Knowledge
Pages 295–300
Generalizing Problem Reduction: A Logical Analysis
Pages 302–307
Semantic Networks as Abstract Data Types
Pages 321–323
KL-Conc: A Language for Interacting With SI-Nets
Pages 333–335
Integrating Logic Programs and Schemata
Pages 340–341
Reasoning in Time and Space
Pages 343–344
Representation of Temporal Knowledge
Pages 346–347
The Ins and Outs of Reason Maintenance
Pages 349–350
General Approach to Nonmonotonic Logics
Pages 352–353
A Framework for Heuristic Reasoning About Uncertainty
Pages 355–356
Simulating Non-Deductive Reasoning
Pages 362–363
Meta-Knowledge and Meta-Reasoning
Pages 365–368
Reasoning in Multiple Belief Spaces
Pages 370–372
A Logical Model of Knowledge
Pages 374–375
A Deductive Model of Belief
Pages 377–380
A Case Study of Knowledge Representation in UC
Pages 388–389
W-JS: A Modal Logic of Knowledge
Pages 398–400
Memory and Inference
Pages 402–403
Learning and Knowledge Acquisition
Perturbation: A Means for Guiding Generalization
Pages 415–417
Learning Effective Search Heuristics
Pages 419–420
A Constrained Mechanism for Procedural Learning
Pages 426–427
Learning Equation Solving Methods From Examples
Pages 429–430
Knowledge Oriented Learning
Pages 432–434
A Pragmatic Knowledge Acquisition Methodology
Pages 436–437
Admissible Hypotheses and Enhanced Learning
Pages 444–445
Adjusting Bias in Concept Learning
Pages 447–448
What's New? A Semantic Definition of Novelty
Pages 450–453
Learning Word Meanings From Examples
Pages 459–460
Three Facets of Scientific Discovery
Pages 465–467
Algorithms for Learning Logical Formulas
Pages 476–477
Concept Formation From Very Large Training Sets
Pages 479–480
Logic Programming
Prolog in Ten Figures
Pages 487–498
Completeness of the Negation as Failure Rule
Pages 500–505
Equality for Prolog
Pages 514–518
Semantic Code Analysis
Pages 520–524
Integrating Prolog Into the Poplog Environment
Pages 533–534
"Logal": Algorithmic Control Structures for Prolog
Pages 536–537
AND Parallelism in Logic Programs
Pages 539–542
PRISM: A Parallel Inference System for Problem Solving
Pages 544–545
A Unification Algorithm for Infinite Trees
Pages 547–548
Building Libraries in Prolog
Pages 550–551
Mechanization of an Oracle in a Debugging System
Pages 553–554
Natural Language
Phrase Structure Grammars and Natural Languages
Pages 556–564
Focus Constraints on Language Generation
Pages 582–586
TELEGRAM: A Grammar Formalism for Language Planning
Pages 595–598
An Indirect Approach to Types of Speech Acts
Pages 600–601
Generation in a Natural Language Interface
Pages 610–611
Shifting Meaning Representations
Pages 621–622
Structural Relations - A Case Against Case
Pages 627–628
The FOPHO Speech Recognition Project
Pages 630–631
Allophonic and Phonotactic Constraints Are Useful
Pages 636–637
Q-TRANS: Query Translation Into English
Pages 660–661
Articles and Resource Control
Pages 675–676
Activation-Based Parsing
Pages 678–681
Two-Level Model for Morphological Analysis
Pages 683–684
A Modular Parser for French
Pages 686–688
An Object-Oriented Parser for Text Understanding
Pages 690–691
A PROLOG Implementation of Lexical Functional Grammar
Pages 693–694
A Breadth-First Parsing Model
Pages 696–697
Word Formation in Natural Language Processing Systems
Pages 704–705
A Deterministic Syntactic-Semantic Parser
Pages 707–708
A Deterministic Parser With Broad Coverage
Pages 710–711
Narrative Complexity Based on Summarization Algorithms
Pages 713–715
Why Good Writing Is Easier to Understand
Pages 730–731
Planning and Search
Representation in a Domain-Independent Planner
Pages 733–739
Planning Using a Temporal World Model
Pages 741–746
Searching to Variable Depth in Computer Chess
Pages 760–761
Relative Efficiency of Alpha-Beta Implementations
Pages 763–765
A Universal Weak Method: Summary of Results
Pages 771–772
A Wrinkle on Satisficing Search Problems
Pages 774–775
Characterizing Search Spaces
Pages 780–781
On A* as a Special Case of Ordered Search
Pages 783–784
Optimal Searches From AND and OR Nodes
Pages 786–787
Robotics
Resolving Observer Motion by Object Tracking
Pages 792–797
Towards Automatic Error Recovery in Robot Programs
Pages 821–822
Knowledge Based Error Recovery in Industrial Robots
Pages 824–825
A Distributed Control System for the CMU Rover
Pages 830–832
Concurrent Programming of Intelligent Robots
Pages 834–837
Systems Support
Lisp-in-Lisp: High Performance and Portability
Pages 845–848
Demonizing Production Systems
Pages 862–865
Theorem Proving
Automated Reasoning: Real Uses and Potential Uses
Pages 867–875
Semantic Paramodulation for Horn Sets
Pages 902–907
TERMINATOR
Pages 916–918
A Superposition Oriented Theorem Prover
Pages 923–924
Temporal Reasoning and Termination of Programs
Pages 926–928
Trivializing the Proof of Trivial Theorems
Pages 930–931
Equality Reasoning in Clause Graphics
Pages 936–938
Associative-Commutative Rewriting
Pages 940–943
Vision
The Viewer's Place in Theories of Vision
Pages 952–957
An Extremum Principle for Shape From Contour
Pages 969–971
Fractal-Based Description
Pages 973–980
Machine Perception of Linear Structure
Pages 1010–1012
Perceptual Organization and the Curve Partitioning Problem
Pages 1014–1017
Scale-Space Filtering
Pages 1019–1021
What Is Perceptual Organization For?
Pages 1023–1025
Inferring Motion of Cylindrical Object From Shape Information
Pages 1032–1033
The Stereo Matching Problem From the Topological Viewpoint
Pages 1046–1048
Computing Convergence Angle From Random Dot Stereograms
Pages 1050–1051
Is What You See What You Get?
Pages 1053–1055
Three-Dimensional Shape From Line Drawings
Pages 1062–1063
Global Optimization of a Consistent Labeling
Pages 1065–1066
Boundary Conditions in Multiple Intrinsic Images
Pages 1068–1071
Advanced Hough Transform Implementations
Pages 1081–1084
Image Compression and Filtering Using Pyramid Data Structures
Pages 1086–1087
An ATN Model for 3-D Recognition of Solids in Single Images
Pages 1094–1097
Environmental Labelings in Low-Level Image Understanding
Pages 1104–1106
The 3D MOSAIC Scene Understanding System
Pages 1108–1111
3DPO: A Three-Dimensional Part Orientation System
Pages 1116–1119
PVV: A Goal-Oriented System for Industrial Vision
Pages 1121–1123
Model Driven Visualization of Coronary Arteries
Pages 1128–1130
A Learning Vision System for 2D Object Recognition
Pages 1132–1134
Recognition of Occluded Objects
Pages 1136–1137
General
Learning and Problem Solving
Pages 1139–1150
AI, Where It Has Been and Where It Is Going
Pages 1152–1156
The Origin, Form, and Logic of Qualitative Physical Laws
Pages 1158–1168
A Perspective on Automatic Programming
Pages 1170–1178
On Seeing Things, Again
Pages 1187–1190
Panels
Panel on the Fifth Generation Project
Pages 1192–1193
A Panel on AI and Databases
Pages 1199–-1
Front matter, copyright and publication details
Alan Bundy
Copyright © 1983. International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved .
Distributed by
William Kaufmann , Inc.
95 First Street
Los Altos , California 94022
SECRETARY-TREASURER: Donald E. Walker, Natural-Language and
Knowledge-Resource Systems, SRI International
Menlo Park, California 94025
United States of America
ISBN 0-86576-064-0
