Los Angeles, California, USA
Edited by Aravind Joshi
No papers match this filter.
AI and Education
The Geometry Tutor
Pages 1–6
Grammars as User Models
Pages 20–21
Computer Assisted Reasoning with MIZAR
Pages 26–27
AI Architectures
A Modular Tool Kit for Knowledge Management
Pages 46–51
Parallelism in AI Programs
Pages 53–55
NON-VONs Applicability to Three AI Task Areas
Pages 61–71
Yes, An SIMD Machine Can Be Used for AI
Pages 73–78
Automated Reasoning
Counterfactuals
Pages 80–85
Reasoned Assumptions and Pareto Optimality
Pages 87–89
Deals Among Rational Agents
Pages 91–98
A Functional Approach to Non-Monotonic Logic
Pages 100–105
Results on Translating Defaults to Circumscription
Pages 114–119
Computing Circumscription
Pages 121–126
The Limits of Qualitative Simulation
Pages 128–135
Qualitative Mathematical Reasoning
Pages 137–138
Combining Discrete and Continuous Process Models
Pages 140–142
Using Model Theory to Specify AI Programs
Pages 148–153
Applying Adaptive Algorithms to Epistatic Domains
Pages 162–163
Automating Program Speedup by Deciding What to Cache
Pages 165–171
A Process Theory of Non-monotonic Inference
Pages 185–186
Taxonomic Reasoning
Pages 191–192
Parallelism in Inheritance Hierarchies with Exceptions
Pages 194–201
Automatic Programming
Automated Enhancement of Knowledge Representations
Pages 203–206
Synthesis by Completion
Pages 208–213
A Heuristic Approach to Program Inversion
Pages 219–220
The Origin of the Binary-Search Paradigm
Pages 222–223
Symbolic Execution in Algorithm Design
Pages 225–230
Automatic Programming for Streams
Pages 232–236
Cognitive Modelling
The Teachable Letter Recognizer
Pages 249–250
Shape Recognition and Illusory Conjunctions
Pages 252–258
Computational Neurolinguistics - What Is It All About?
Pages 260–265
Daydreaming in Humans and Computers
Pages 278–279
Learning to Understand Contractual Situations
Pages 291–292
Arguments of Persuasion in Labour Mediation
Pages 294–295
Expert Systems
Empirical and Model-based Reasoning in Expert Systems
Pages 297–298
Control Issues in Classificatory Diagnosis
Pages 300–305
Judgmental Reasoning for Expert Systems
Pages 315–316
Parallel Formulation of Evidential-Reasoning Theories
Pages 321–326
An Architecture for Knowledge Based Deduction
Pages 335–338
Transactional Blackboards
Pages 340–343
Controlling Production Firing: The FCL Language
Pages 359–365
Neat Explanation of Proof Trees
Pages 379–380
Explainable (and Maintainable) Expert Systems
Pages 382–388
A Case Study in Structured Knowledge Acquisition
Pages 390–391
Model Expert System MES
Pages 397–398
Parsing Circuit Topology in a Deductive System
Pages 407–409
An Expert Advisor for Photolithography
Pages 411–412
Flexible Data Fusion (and Fission)
Pages 420–421
Fault Diagnosis Through Responsibility
Pages 423–424
Knowledge Representation
Granularity
Pages 432–434
Naive Kinematics: One Aspect of Shape
Pages 436–441
A Representation for Complex Physical Domains
Pages 443–445
Understanding Behavior Using Consolidation
Pages 450–453
Two Results on Default Logic
Pages 459–460
On the Descriptional Complexity of Production Systems
Pages 462–463
An Endorsement-based Plan Recognition Program
Pages 475–478
A Computational Theory of Belief Introspection
Pages 502–507
A Model-Theoretic Analysis of Monotonic Knowledge
Pages 509–511
A Procedural Logic
Pages 516–522
Event Calculus
Pages 524–526
A Common-Sense Theory of Time
Pages 528–530
Learning and Acquisition
Learning Disjunction of Conjunctions
Pages 560–565
Learning Hidden Causes from Empirical Data
Pages 567–571
LEAP: A Learning Apprentice for VLSI Design
Pages 573–579
MORE: An Intelligent Knowledge Acquisition Tool
Pages 581–583
The Utility of Expert Knowledge
Pages 585–586
Multi-Objective Learning via Genetic Algorithms
Pages 593–594
Selectively Generalizing Plans for Problem-Solving
Pages 596–598
Learning Planning Heuristics through Observation
Pages 600–601
Heuristics for Inductive Learning
Pages 603–608
Validating Concepts from Automated Acquisition Systems
Pages 613–614
Learning Procedures from Examples and by Doing
Pages 624–629
Generating Rules from Examples
Pages 631–632
Knowledge Acquisition for Constructive Systems
Pages 637–638
Learning by Discovering Macros in Puzzle Solving
Pages 640–641
Automatically Inferring Database Schemas
Pages 647–648
Learning about Momentum Conservation
Pages 667–668
Training and Tracking in Robotics
Pages 670–671
Learning Schemata for Natural Language Processing
Pages 681–686
Approaches to Conceptual Clustering
Pages 691–696
A Prototypical Approach to Machine Learning
Pages 698–699
Logic Programming
Prolog-ELF Incorporating Fuzzy Logic
Pages 701–702
Type Inference in Prolog and Its Application
Pages 704–706
Prolog Control Rules
Pages 720–721
A Logic Program Schema and Its Applications
Pages 723–724
Prolog Extensions Based on Tableau Calculus
Pages 730–731
Natural Language
Unrestricted Gapping Grammars
Pages 765–767
Syntax, Preference, and Right Attachment
Pages 779–783
Controlling Search in Flexible Parsing
Pages 785–786
Tailoring Explanations for the User
Pages 794–797
Description-directed Natural Language Generation
Pages 799–804
Tense, Aspect, and Cognitive Representation of Time
Pages 806–813
VOX - An Extensible Natural Language Processor
Pages 821–824
Partial Constraints in Chinese Analysis
Pages 826–827
Understanding Analogies in Editorials
Pages 845–846
Integrating Text Planning and Production in Generation
Pages 848–850
New Approaches to Parsing Conjunctions Using Prolog
Pages 870–875
DP-matching: With or Without Phonemes?
Pages 883–884
Perception
Learning Shape Descriptions
Pages 922–924
Shape from Texture
Pages 926–930
Shape and Source from Shading
Pages 932–935
Analyzing Oriented Patterns
Pages 944–951
3-D Shape Representation by Contours
Pages 969–971
Specular Stereo
Pages 973–975
A Parallel Matching Algorithm for Stereo Vision
Pages 977–979
Optical Navigation by the Method of Differences
Pages 951–953
Spectral Continuity and Eye Vergence Movement
Pages 985–986
A New Sense for Depth of Field
Pages 988–993
Philosophical Foundations
What Enables a Machine to Understand?
Pages 995–1000
In Defense of Probability
Pages 1002–1008
Planning and Search
Refining and Extending the Procedural Net
Pages 1010–1011
Splicing Plans to Achieve Misordered Goals
Pages 1016–1020
Nonlinear Planning: A Rigorous Reconstruction
Pages 1022–1023
Increasing Coherence in a Distributed Problem-Solving Network
Pages 1025–1029
An Implementation of a Multi-Agent Plan Synchronizer
Pages 1031–1032
Iterative-Deepening-A*: An Optimal Admissible Tree Search
Pages 1034–1035
A Weighted Technique in Heuristic Search
Pages 1037–1038
Information Acquisition in Minimal Window Search
Pages 1040–1042
SPAN: Integrating Problem-Solving Tactics
Pages 1047–1050
Deadlines, Travel Time, and Robot Problem Solving
Pages 1052–1053
Temporal Scope of Assertions and Window Cutoff
Pages 1055–1058
Temporal Reasoning Involving Counterfactuals and Disjunctions
Pages 1060–1061
The Complexity of Searching Several Classes of AND/OR Graphs
Pages 1083–1084
Robotics
Terrain Navigation Through Knowledge-based Route Planning
Pages 1086–1087
First Results in Robot Road-Following
Pages 1089–1094
A Proximity Metric for Continuum Path Planning
Pages 1096–1101
A Robot Planning Structure Using Production Rules
Pages 1103–1104
A Framework for Distributed Sensing and Control
Pages 1106–1108
Motor Knowledge Representation
Pages 1110–1111
Analysis of Uncertainties in a Structure of Parts
Pages 1113–1114
Spatial Object Perception from an Image
Pages 1116–1118
Stereo by Two-Level Dynamic Programming
Pages 1120–1125
Object Recognition Using Vision and Touch
Pages 1131–1136
Theorem Proving
A New Hyperparamodulation Strategy for the Equality Relation
Pages 1138–1144
On the Solution of Schubert's Steamroller in Many-Sorted Logic
Pages 1169–1173
Parallel Processing of Resolution
Pages 1178–1179
Automated Deduction by Theory Resolution
Pages 1181–1185
Path Resolution with Link Deletion
Pages 1187–1192
ASSIP-T: A Theorem-Proving Machine
Pages 1194–1199
General
Discovery and Reasoning in Mathematics
Pages 1221–1229
Building a Bridge Between AI and Robotics
Pages 1231–1236
Self-Knowledge and Self-Representation
Pages 1238–1241
Understanding and Automating Algorithm Design
Pages 1243–1252
AI and Legal Reasoning
Pages 1254–1259
Artificial Intelligence and Legal Responsibility
Pages 1267–1267
Computer Representation of the Law
Pages 1269–1269
Fifth Generation Computer Crime Law
Pages 1274–1277
Responsible Computers?
Pages 1279–1279
Judgement, Policy, and the Harmony Machine
Pages 1284–1287
Raising the Standards of AI Products
Pages 1289–1293
Reasoning with Uncertainty for Expert Systems
Pages 1295–1296
User Modelling
Pages 1298–1301
The US and Japan Cooperative AI Research and Development
Pages 1303–1304
Expert Systems: How Far Can They Go?
Pages 1306–-1
Other papers
Front matter, copyright and publication details
Copyright © 1985. 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, Morristown , New Jersey 07960
United States of America
ISBN 0-934613-02-8
