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
VOLUME 1
AI and Education
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
William R. Murray :
Heuristic and Formal Methods in Automatic Program Debugging.
15-19
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
AI Architectures
AI Architectures 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
AI Architectures 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automated Reasoning
Automated Reasoning 1
export record as
dblp key:
export record as
dblp key:
Jon Doyle :
Reasoned Assumptions and Pareto Optimality.
87-90
export record as
dblp key:
conf/ijcai/RosenscheinG85
Automated Reasoning 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automated Reasoning 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel S. Weld :
Combining Discrete and Continuous Process Models.
140-143
export record as
dblp key:
David Poole :
On the Comparison of Theories: Preferring the Most Specific Explanation.
144-147
export record as
dblp key:
Automated Reasoning 4
export record as
dblp key:
Myung W. Kim :
EGS: A Transformational Approach to Automatic Example Generation.
155-161
export record as
dblp key:
Lawrence Davis :
Applying Adaptive Algorithms to Epistatic Domains.
162-164
export record as
dblp key:
export record as
dblp key:
Automated Reasoning 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vasant Dhar :
An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge.
188-190
export record as
dblp key:
export record as
dblp key:
Automatic Programming
Automatic Programming 1
export record as
dblp key:
Robert Balzer :
Automated Enhancement of Knowledge Representations.
203-207
export record as
dblp key:
export record as
dblp key:
Douglas R. Smith :
Reasoning by Cases and the Formation of Conditional Programs.
215-218
export record as
dblp key:
export record as
dblp key:
Automatic Programming 2
export record as
dblp key:
export record as
dblp key:
Cognitive Modelling
Cognitive Modelling 1
export record as
dblp key:
export record as
dblp key:
James A. Reggia :
Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory.
244-248
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Helen M. Gigley :
Computational Neurolinguistics - What Is It All About?
260-266
Cognitive Modelling 2
export record as
dblp key:
Derek Partridge :
Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism.
267-273
export record as
dblp key:
Göran Hagert :
Whats in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions.
274-277
export record as
dblp key:
export record as
dblp key:
Lawrence Birnbaum :
A Short Note on Opportunistic Planning and Memory in Arguments.
281-283
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Sycara-Cyranski85
Expert Systems
Expert Systems 1
export record as
dblp key:
Phyllis Koton :
Empirical and Model-based Reasoning in Expert Systems.
297-299
export record as
dblp key:
export record as
dblp key:
Tetsutaro Shibahara :
On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias.
307-314
Expert Systems 2
export record as
dblp key:
Tim Niblett :
Judgmental Reasoning for Expert Systems.
315-317
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Allan P. White :
Predictor: An Alternative Approach to Uncertain Inference in Expert Systems.
328-330
export record as
dblp key:
Expert Systems 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Expert Systems 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Expert Systems 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Takushi Tanaka :
Parsing Circuit Topology in a Deductive System.
407-410
export record as
dblp key:
export record as
dblp key:
Expert Systems 6
export record as
dblp key:
Lotfi A. Zadeh :
Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems.
417-419
export record as
dblp key:
export record as
dblp key:
Robert Mine :
Fault Diagnosis Through Responsibility.
423-425
export record as
dblp key:
Pamela K. Fink :
Control and Integration of Diverse Knowledge in a Diagnostic Expert System.
426-431
Knowledge Representation
Knowledge Representation 1
export record as
dblp key:
export record as
dblp key:
Yoav Shoham :
Naive Kinematics: One Aspect of Shape.
436-442
export record as
dblp key:
export record as
dblp key:
conf/ijcai/LanglotzFTWS85 export record as
dblp key:
Knowledge Representation 2
export record as
dblp key:
conf/ijcai/Patel-Schneider85 export record as
dblp key:
export record as
dblp key:
Peter Trum :
On the Descriptional Complexity of Production Systems.
462-464
export record as
dblp key:
export record as
dblp key:
Knowledge Representation 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kurt Konolige :
A Computational Theory of Belief Introspection.
502-508
export record as
dblp key:
Moshe Y. Vardi :
A Model-Theoretic Analysis of Monotonic Knowledge.
509-512
export record as
dblp key:
Alfred Kobsa :
Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants.
513-515
Knowledge Representation 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Charles Rich :
The Layered Architecture of a System for Reasoning about Programs.
540-546
export record as
dblp key:
Marc B. Vilain :
The Restricted Language Architecture of a Hybrid Representation System.
547-551
Learning and Acquisition
Learning and Acquisition 1
export record as
dblp key:
conf/ijcai/Falkenhainer85 Brian Falkenhainer :
Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process.
552-554
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Judea Pearl :
Learning Hidden Causes from Empirical Data.
567-572
Learning and Acquisition 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David E. Goldberg :
Dynamic System Control Using Rule Learning and Genetic Algorithms.
588-592
export record as
dblp key:
Learning and Acquisition 3
export record as
dblp key:
Steven Minton :
Selectively Generalizing Plans for Problem-Solving.
596-599
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Albrecht Heeffer :
Validating Concepts from Automated Acquisition Systems.
613-615
export record as
dblp key:
Sridhar Mahadevan :
Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods.
616-623
Learning and Acquisition 4
export record as
dblp key:
David M. Neves :
Learning Procedures from Examples and by Doing.
624-630
export record as
dblp key:
export record as
dblp key:
Jakub Segen :
Learning Concept Descriptions from Examples with Errors.
634-636
export record as
dblp key:
export record as
dblp key:
Glenn A. Iba :
Learning by Discovering Macros in Puzzle Solving.
640-642
Learning and Acquisition 5
export record as
dblp key:
Thomas Ellman :
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.
643-646
export record as
dblp key:
export record as
dblp key:
Larry A. Rendell :
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search.
650-658
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Learning and Acquisition 6
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
VOLUME 2
Logic Programming
Logic Programming 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hideyuki Nakashima :
Term Description: A Simple Powerful Extension to Prolog Data Structures.
708-710
export record as
dblp key:
Randy Goebel :
Interpreting Descriptions in a Prolog-based Knowledge Representation System.
711-716
export record as
dblp key:
Marc Eisenstadt :
Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming.
717-719
export record as
dblp key:
Logic Programming 2
export record as
dblp key:
export record as
dblp key:
Shigeki Goto :
Concurrency in Proof Normalization and Logic Programming.
726-729
export record as
dblp key:
export record as
dblp key:
conf/ijcai/WhitneyBMKHD85 export record as
dblp key:
Hirohisa Seki :
Incorporating Generalizaiton Heuristics into Verification of Prolog Programs.
737-741
export record as
dblp key:
Frank M. Brown ,
Peiya Liu :
A Logic Programming and Verification System for Recursive Quantificational Logic.
742-748
Natural Language
Natural Language 1
export record as
dblp key:
Glenn D. Blank :
A New Kind of Finite-State Automaton: Register Vector Grammar.
749-755
export record as
dblp key:
Masaru Tomita :
An Efficient Context-Free Parsing Algorithm for Natural Languages.
756-764
export record as
dblp key:
export record as
dblp key:
Natural Language 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natural Language 3
export record as
dblp key:
Kathleen F. McCoy :
The Role of Perspective in Responding to Property Misconceptions.
791-793
export record as
dblp key:
export record as
dblp key:
Natural Language 4
export record as
dblp key:
export record as
dblp key:
Lawrence Birnbaum :
Lexical Ambiguity as a Touchstone for Theories of Language Analysis.
815-820
export record as
dblp key:
Amnon Meyers :
VOX - An Extensible Natural Language Processor.
821-825
export record as
dblp key:
Natural Language 5
export record as
dblp key:
Uwe Reyle :
Grammatical Functions, Discourse, Referents, and Quantification.
829-831
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natural Language 6
export record as
dblp key:
Eduard H. Hovy :
Integrating Text Planning and Production in Generation.
848-851
export record as
dblp key:
Anne Vilnat ,
Gérard Sabah :
Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation.
852-854
export record as
dblp key:
export record as
dblp key:
Michael Lebowitz :
Researcher: An Experimental Intelligent Information System.
858-862
Natural Language 7
export record as
dblp key:
Kurt P. Eiselt :
A Parallel-Process Model of On-Line Inference Processing.
863-869
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Perception
Perception 1
export record as
dblp key:
Ken-ichi Kanatani :
Structure from Motion Without Correspondence: General Principle.
886-888
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ijcai/NegahdaripourH85 export record as
dblp key:
Perception 2
export record as
dblp key:
Jan A. Mulder :
Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous.
905-907
export record as
dblp key:
export record as
dblp key:
conf/ijcai/Mont-Reynaud85 export record as
dblp key:
export record as
dblp key:
Perception 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Perception 4
export record as
dblp key:
David G. Lowe :
Visual Recognition from Spatial Correspondence and Perceptual Organization.
953-959
export record as
dblp key:
James J. Little :
Determining Object Attitude from Extended Gaussian Images.
960-963
export record as
dblp key:
export record as
dblp key:
Isaac Weiss :
3-D Shape Representation by Contours.
969-972
Perception 5
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Philosophical Foundations
export record as
dblp key:
Aaron Sloman :
What Enables a Machine to Understand?
995-1001
export record as
dblp key:
Planning and Search
Planning and Search 1
export record as
dblp key:
Mark Drummond :
Refining and Extending the Procedural Net.
1010-1012
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Chapman :
Nonlinear Planning: A Rigorous Reconstruction.
1022-1024
export record as
dblp key:
export record as
dblp key:
Planning and Search 2
export record as
dblp key:
Richard E. Korf :
Iterative-Deepening-A*: An Optimal Admissible Tree Search.
1034-1036
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Planning and Search 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Steven Vere :
Temporal Scope of Assertions and Window Cutoff.
1055-1059
export record as
dblp key:
Thomas Dean :
Temporal Reasoning Involving Counterfactuals and Disjunctions.
1060-1062
export record as
dblp key:
David C. Chen :
Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain.
1063-1065
Planning and Search 4
export record as
dblp key:
export record as
dblp key:
Mark E. Stickel ,
Mabry Tyson :
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.
1073-1075
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robotics
Robotics 1
export record as
dblp key:
export record as
dblp key:
conf/ijcai/WallaceSTMWK85 export record as
dblp key:
export record as
dblp key:
Ralph P. Sobek :
A Robot Planning Structure Using Production Rules.
1103-1105
Robotics 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Alan Fleming :
Analysis of Uncertainties in a Structure of Parts.
1113-1115
Robotics 3
export record as
dblp key:
Radu Horaud :
Spatial Object Perception from an Image.
1116-1119
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Theorem Proving
Theorem Proving 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vincent J. Digricoli :
The Management of Heuristic Search in Boolean Experiments with Rue Resolution.
1154-1161
Theorem Proving 2
export record as
dblp key:
conf/ijcai/Schmidt-Schauss85 Manfred Schmidt-Schauß :
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation.
1162-1168
export record as
dblp key:
Anthony G. Cohn :
On the Solution of Schubert's Steamroller in Many-Sorted Logic.
1169-1174
export record as
dblp key:
export record as
dblp key:
Theorem Proving 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Theorem Proving 4
export record as
dblp key:
Tie-Cheng Wang :
Designing Examples for Semantically Guided Hierarchical Deduction.
1201-1207
export record as
dblp key:
Jacqueline Castaing :
How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
1208-1213
export record as
dblp key:
Marta Franová :
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
1214-1220
General
Invited Talks
export record as
dblp key:
Alan Bundy :
Discovery and Reasoning in Mathematics.
1221-1230
export record as
dblp key:
export record as
dblp key:
John Perry :
Self-Knowledge and Self-Representation.
1238-1242
export record as
dblp key:
Elaine Kant :
Understanding and Automating Algorithm Design.
1243-1253
Panels
export record as
dblp key:
export record as
dblp key:
Tom J. Schwartz :
Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow.
1261-1266
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marshal S. Willick :
Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons".
1271-1273
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Henry S. Thompson :
Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility.
1281-1283
export record as
dblp key:
John Fox :
Judgement, Policy, and the Harmony Machine.
1284-1288
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
