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
AI Architectures
AI Architectures 1
AI Architectures 2
Automated Reasoning
Automated Reasoning 1
Automated Reasoning 2
Automated Reasoning 3
- Benjamin Kuipers:
The Limits of Qualitative Simulation.
128-136
- Elisha Sacks:
Qualitative Mathematical Reasoning.
137-139
- Daniel S. Weld:
Combining Discrete and Continuous Process Models.
140-143
- David Poole:
On the Comparison of Theories: Preferring the Most Specific Explanation.
144-147
- Alan M. Frisch:
Using Model Theory to Specify AI Programs.
148-154
Automated Reasoning 4
Automated Reasoning 5
Automatic Programming
Automatic Programming 1
Automatic Programming 2
Cognitive Modelling
Cognitive Modelling 1
Cognitive Modelling 2
Expert Systems
Expert Systems 1
Expert Systems 2
Expert Systems 3
Expert Systems 4
Expert Systems 5
- Michio Kimura, Yasushi Matsumura, Takashi Matsunaga, Ryuji Hata, Hiroshi Matsumura:
RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain.
393-396
- Guan Jiwen, Xu Ying, Chang Minche, Zhao Jizhi:
Model Expert System MES.
397-399
- Renee Elio, Johannes de Haan:
Knowledge Representation in an Expert Storm Forecasting System.
400-406
- Takushi Tanaka:
Parsing Circuit Topology in a Deductive System.
407-410
- Terry Cline, Wendy Fong, Steven Rosenberg:
An Expert Advisor for Photolithography.
411-413
- Ethan A. Scarl, John R. Jamieson, Carl I. Delaune:
A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle.
414-416
Expert Systems 6
- Lotfi A. Zadeh:
Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems.
417-419
- Alexander S. Yeh:
Flexible Data Fusion (and Fission).
420-422
- Robert Mine:
Fault Diagnosis Through Responsibility.
423-425
- Pamela K. Fink:
Control and Integration of Diverse Knowledge in a Diagnostic Expert System.
426-431
Knowledge Representation
Knowledge Representation 1
Knowledge Representation 2
Knowledge Representation 3
Knowledge Representation 4
Learning and Acquisition
Learning and Acquisition 1
- Brian Falkenhainer:
Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process.
552-554
- Bruce W. Porter, Dennis F. Kibler:
A Comparison of Analytic and Experimental Goal Regression for Machine Learning.
555-559
- Leslie G. Valiant:
Learning Disjunction of Conjunctions.
560-566
- Judea Pearl:
Learning Hidden Causes from Empirical Data.
567-572
Learning and Acquisition 2
Learning and Acquisition 3
Learning and Acquisition 4
Learning and Acquisition 5
Learning and Acquisition 6
VOLUME 2
Logic Programming
Logic Programming 1
Logic Programming 2
Natural Language
Natural Language 1
Natural Language 2
Natural Language 3
Natural Language 4
Natural Language 5
Natural Language 6
Natural Language 7
Perception
Perception 1
Perception 2
Perception 3
Perception 4
- David G. Lowe:
Visual Recognition from Spatial Correspondence and Perceptual Organization.
953-959
- James J. Little:
Determining Object Attitude from Extended Gaussian Images.
960-963
- Dana H. Ballard, Hiromi Tanaka:
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation.
964-968
- Isaac Weiss:
3-D Shape Representation by Contours.
969-972
Perception 5
Philosophical Foundations
Planning and Search
Planning and Search 1
Planning and Search 2
Planning and Search 3
Planning and Search 4
Robotics
Robotics 1
Robotics 2
Robotics 3
Theorem Proving
Theorem Proving 1
Theorem Proving 2
Theorem Proving 3
Theorem Proving 4
- Tie-Cheng Wang:
Designing Examples for Semantically Guided Hierarchical Deduction.
1201-1207
- Jacqueline Castaing:
How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.
1208-1213
- Marta Franová:
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.
1214-1220
General
Invited Talks
- Alan Bundy:
Discovery and Reasoning in Mathematics.
1221-1230
- Hirochika Inoue:
Building a Bridge Between AI and Robotics.
1231-1237
- John Perry:
Self-Knowledge and Self-Representation.
1238-1242
- Elaine Kant:
Understanding and Automating Algorithm Design.
1243-1253
Panels
- Edwina L. Rissland:
AI and Legal Reasoning.
1254-1260
- Tom J. Schwartz:
Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow.
1261-1266
- Margaret A. Boden:
Artificial Intelligence and Legal Responsibility.
1267-1268
- Robert A. Kowalski, Marek J. Sergot:
Computer Representation of the Law.
1269-1270
- Marshal S. Willick:
Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons".
1271-1273
- Jay Bloom Becker:
Fifth Generation Computer Crime Law.
1274-1278
- Yorick Wilks:
Responsible Computers?
1279-1280
- Henry S. Thompson:
Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility.
1281-1283
- John Fox:
Judgement, Policy, and the Harmony Machine.
1284-1288
- Alan Bundy, Richard Clutterbuck:
Raising the Standards of AI Products.
1289-1294
- Ronald R. Yager:
Reasoning with Uncertainty for Expert Systems.
1295-1297
- Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout:
User Modelling.
1298-1302
- Howard E. Jacobson:
The US and Japan Cooperative AI Research and Development.
1303-1305
- Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith:
Expert Systems: How Far Can They Go?
1306
Copyright © Mon Nov 9 23:47:44 2009
by Michael Ley (ley@uni-trier.de)
