9. IJCAI 1985:
Los Angeles, California, USA
Aravind K. Joshi
(Ed.): Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, August 1985.
Morgan Kaufmann 1985
: Reasoned Assumptions and Pareto Optimality.
Daniel S. Weld
: Combining Discrete and Continuous Process Models.
: On the Comparison of Theories: Preferring the Most Specific Explanation.
Myung W. Kim
: EGS: A Transformational Approach to Automatic Example Generation.
: Applying Adaptive Algorithms to Epistatic Domains.
: An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge.
: Automated Enhancement of Knowledge Representations.
Douglas R. Smith
: Reasoning by Cases and the Formation of Conditional Programs.
James A. Reggia
: Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory.
Helen M. Gigley
: Computational Neurolinguistics - What Is It All About?
: Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism.
: Whats in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions.
: A Short Note on Opportunistic Planning and Memory in Arguments.
: Empirical and Model-based Reasoning in Expert Systems.
: On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias.
: Judgmental Reasoning for Expert Systems.
Allan P. White
: Predictor: An Alternative Approach to Uncertain Inference in Expert Systems.
: Parsing Circuit Topology in a Deductive System.
Lotfi A. Zadeh
: Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems.
: Fault Diagnosis Through Responsibility.
Pamela K. Fink
: Control and Integration of Diverse Knowledge in a Diagnostic Expert System.
Knowledge Representation 1
Knowledge Representation 2
: On the Descriptional Complexity of Production Systems.
Knowledge Representation 3
: A Computational Theory of Belief Introspection.
Moshe Y. Vardi
: A Model-Theoretic Analysis of Monotonic Knowledge.
: Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants.
Knowledge Representation 4
: The Layered Architecture of a System for Reasoning about Programs.
Marc B. Vilain
: The Restricted Language Architecture of a Hybrid Representation System.
Learning and Acquisition 1
: Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process.
: Learning Hidden Causes from Empirical Data.
Learning and Acquisition 2
Learning and Acquisition 3
: Selectively Generalizing Plans for Problem-Solving.
: Validating Concepts from Automated Acquisition Systems.
: Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods.
Learning and Acquisition 4
David M. Neves
: Learning Procedures from Examples and by Doing.
: Learning Concept Descriptions from Examples with Errors.
Glenn A. Iba
: Learning by Discovering Macros in Puzzle Solving.
Learning and Acquisition 5
: Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.
Larry A. Rendell
: Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search.
Learning and Acquisition 6
: Term Description: A Simple Powerful Extension to Prolog Data Structures.
: Interpreting Descriptions in a Prolog-based Knowledge Representation System.
: Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming.
: Concurrency in Proof Normalization and Logic Programming.
: Incorporating Generalizaiton Heuristics into Verification of Prolog Programs.
Frank M. Brown
, Peiya Liu
: A Logic Programming and Verification System for Recursive Quantificational Logic.
Glenn D. Blank
: A New Kind of Finite-State Automaton: Register Vector Grammar.
: An Efficient Context-Free Parsing Algorithm for Natural Languages.
: Lexical Ambiguity as a Touchstone for Theories of Language Analysis.
: VOX - An Extensible Natural Language Processor.
: Grammatical Functions, Discourse, Referents, and Quantification.
Eduard H. Hovy
: Integrating Text Planning and Production in Generation.
, Gérard Sabah
: Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation.
: Researcher: An Experimental Intelligent Information System.
Kurt P. Eiselt
: A Parallel-Process Model of On-Line Inference Processing.
: Structure from Motion Without Correspondence: General Principle.
Jan A. Mulder
: Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous.
David G. Lowe
: Visual Recognition from Spatial Correspondence and Perceptual Organization.
James J. Little
: Determining Object Attitude from Extended Gaussian Images.
: 3-D Shape Representation by Contours.
: What Enables a Machine to Understand?
: Refining and Extending the Procedural Net.
: Nonlinear Planning: A Rigorous Reconstruction.
Richard E. Korf
: Iterative-Deepening-A*: An Optimal Admissible Tree Search.
: Temporal Scope of Assertions and Window Cutoff.
: Temporal Reasoning Involving Counterfactuals and Disjunctions.
David C. Chen
: Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain.
Mark E. Stickel
, Mabry Tyson
: An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.
: Spatial Object Perception from an Image.
Vincent J. Digricoli
: The Management of Heuristic Search in Boolean Experiments with Rue Resolution.
: A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation.
Anthony G. Cohn
: On the Solution of Schubert's Steamroller in Many-Sorted Logic.
: Designing Examples for Semantically Guided Hierarchical Deduction.
: How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
: CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
: Discovery and Reasoning in Mathematics.
: Self-Knowledge and Self-Representation.
: Understanding and Automating Algorithm Design.
Tom J. Schwartz
: Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow.
Marshal S. Willick
: Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons".
Henry S. Thompson
: Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility.
: Judgement, Policy, and the Harmony Machine.