Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar9. IJCAI 1985: Los Angeles, California, USA
Aravind K. Joshi:
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985. Morgan Kaufmann 1985
VOLUME 1
AI and Education
- Brian J. Reiser, John R. Anderson, Robert G. Farrell:
Dynamic Student Modelling in an Intelligent Tutor for LISP Programming. IJCAI 1985: 8-14 - Rostam Joobbani, Sarosh Talukdar:
An Expert System for Understanding Expressions from Electric Circuit Analysis. IJCAI 1985: 23-25
AI Architectures
AI Architectures 1
- Simon Kasif, Jack Minker:
The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. IJCAI 1985: 29-31 - Alan L. Davis, Shane V. Robison:
The Architecture of the FAIM-1 Symbolic Multiprocessing System. IJCAI 1985: 32-38 - Vineet Singh, Michael R. Genesereth:
A Variable Supply Model for Distributing Deductions. IJCAI 1985: 39-45
AI Architectures 2
- Anita M. Flynn, John G. Harris:
Recognition Algorithms for the Connection Machine. IJCAI 1985: 57-60
Automated Reasoning
Automated Reasoning 1
Automated Reasoning 2
- Didier Dubois, Henri Prade:
Combination and Propagation of Uncertainty with Belief Functions - A Reexamination. IJCAI 1985: 111-113
Automated Reasoning 3
- David Poole:
On the Comparison of Theories: Preferring the Most Specific Explanation. IJCAI 1985: 144-147
Automated Reasoning 4
- Jack Mostow, Donald Cohen:
Automating Program Speedup by Deciding What to Cache. IJCAI 1985: 165-172
Automated Reasoning 5
- Allen L. Brown Jr.:
Modal Propositional Semantics for Reason Maintenance Systems. IJCAI 1985: 178-184 - Vasant Dhar:
An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge. IJCAI 1985: 188-190
Automatic Programming
Automatic Programming 1
Automatic Programming 2
Cognitive Modelling
Cognitive Modelling 1
- David S. Touretzky, Geoffrey E. Hinton:
Symbols Among the Neurons: Details of a Connectionist Inference Architecture. IJCAI 1985: 238-243 - James A. Reggia:
Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory. IJCAI 1985: 244-248
Cognitive Modelling 2
- Derek Partridge:
Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism. IJCAI 1985: 267-273 - Göran Hagert:
What's in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions. IJCAI 1985: 274-277 - Lawrence Birnbaum:
A Short Note on Opportunistic Planning and Memory in Arguments. IJCAI 1985: 281-283 - Janet L. Kolodner, Robert L. Simpson Jr., Katia Sycara-Cyranski:
A Process Model of Cased-Based Reasoning in Problem Solving. IJCAI 1985: 284-290 - Seth R. Goldman, Michael G. Dyer, Margot Flowers:
Learning to Understand Contractual Situations. IJCAI 1985: 291-293
Expert Systems
Expert Systems 1
- Jon Sticklen, B. Chandrasekaran, John R. Josephson:
Control Issues in Classificatory Diagnosis. IJCAI 1985: 300-306 - Tetsutaro Shibahara:
On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias. IJCAI 1985: 307-314
Expert Systems 2
- Naseem A. Khan, Ramesh Jain:
Uncertainty Management in a Distributed Knowledge Based System. IJCAI 1985: 318-320 - Allan P. White:
Predictor: An Alternative Approach to Uncertain Inference in Expert Systems. IJCAI 1985: 328-330
Expert Systems 3
- Massimo Gallanti, Giovanni Guida, Luca Spampinato, Alberto Stefanini:
Representing Procedural Knowledge in Expert Systems: An Application to Process Control. IJCAI 1985: 345-352 - Werner Dilger, Jörg Kippe:
COMODEL: A Language for the Representation of Technical Knowledge. IJCAI 1985: 353-358
Expert Systems 4
- Allen Ginsberg, Sholom M. Weiss, Peter Politakis:
SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement. IJCAI 1985: 367-374 - Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora:
Checking an Expert Systems Knowledge Base for Consistency and Completeness. IJCAI 1985: 375-378 - Robert Neches, William R. Swartout, Johanna D. Moore:
Explainable (and Maintainable) Expert Systems. IJCAI 1985: 382-389
Expert Systems 5
- Michio Kimura, Yasushi Matsumura, Takashi Matsunaga, Ryuji Hata, Hiroshi Matsumura:
RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain. IJCAI 1985: 393-396 - Renee Elio, Johannes de Haan:
Knowledge Representation in an Expert Storm Forecasting System. IJCAI 1985: 400-406 - Terry Cline, Wendy Fong, Steven Rosenberg:
An Expert Advisor for Photolithography. IJCAI 1985: 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. IJCAI 1985: 414-416
Expert Systems 6
- Lotfi A. Zadeh:
Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems. IJCAI 1985: 417-419 - Pamela K. Fink:
Control and Integration of Diverse Knowledge in a Diagnostic Expert System. IJCAI 1985: 426-431
Knowledge Representation
Knowledge Representation 1
- Curtis Langlotz, Lawrence M. Fagan, Samson W. Tu, John Williams, Branimir Sikic:
ONYX: An Architecture for Planning in Uncertain Environments. IJCAI 1985: 447-449
Knowledge Representation 2
- Peter F. Patel-Schneider:
A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985: 455-458 - Lokendra Shastri, Jerome A. Feldman:
Evidential Reasoning in Semantic Networks: A Formal Theory. IJCAI 1985: 465-474
Knowledge Representation 3
- Joseph Y. Halpern, Yoram Moses:
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490 - Ronald Fagin, Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985: 491-501 - Alfred Kobsa:
Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants. IJCAI 1985: 513-515
Knowledge Representation 4
- Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque:
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539 - Charles Rich:
The Layered Architecture of a System for Reasoning about Programs. IJCAI 1985: 540-546 - Marc B. Vilain:
The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551
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. IJCAI 1985: 552-554 - Bruce W. Porter, Dennis F. Kibler:
A Comparison of Analytic and Experimental Goal Regression for Machine Learning. IJCAI 1985: 555-559
Learning and Acquisition 2
- Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg:
LEAP: A Learning Apprentice for VLSI Design. IJCAI 1985: 573-580 - Gary S. Kahn, Steven J. Nowlan, John P. McDermott:
MORE: An Intelligent Knowledge Acquisition Tool. IJCAI 1985: 581-584 - David E. Goldberg:
Dynamic System Control Using Rule Learning and Genetic Algorithms. IJCAI 1985: 588-592 - J. David Schaffer, John J. Grefenstette:
Multi-Objective Learning via Genetic Algorithms. IJCAI 1985: 593-595
Learning and Acquisition 3
- Charles P. Dolan, Michael G. Dyer:
Learning Planning Heuristics through Observation. IJCAI 1985: 600-602 - Paul Thagard, Keith J. Holyoak:
Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving. IJCAI 1985: 610-612 - Sridhar Mahadevan:
Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods. IJCAI 1985: 616-623
Learning and Acquisition 4
- Sandra Marcus, John P. McDermott, Tianran Wang:
Knowledge Acquisition for Constructive Systems. IJCAI 1985: 637-639
Learning and Acquisition 5
- Thomas Ellman:
Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. IJCAI 1985: 643-646 - Larry A. Rendell:
Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search. IJCAI 1985: 650-658 - LiMin Fu, Bruce G. Buchanan:
Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base. IJCAI 1985: 659-666 - Oliver G. Selfridge, Richard S. Sutton, Andrew G. Barto:
Training and Tracking in Robotics. IJCAI 1985: 670-672
Learning and Acquisition 6
- Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan:
Representation and Use of Explicit Justifications for Knowledge Base Refinements. IJCAI 1985: 673-680 - Raymond J. Mooney, Gerald DeJong:
Learning Schemata for Natural Language Processing. IJCAI 1985: 681-687 - Shankar A. Rajamoney, Gerald DeJong, Boi Faltings:
Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation. IJCAI 1985: 688-690
VOLUME 2
Logic Programming
Logic Programming 1
- Hideyuki Nakashima:
Term Description: A Simple Powerful Extension to Prolog Data Structures. IJCAI 1985: 708-710 - Randy Goebel:
Interpreting Descriptions in a Prolog-based Knowledge Representation System. IJCAI 1985: 711-716 - Marc Eisenstadt:
Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming. IJCAI 1985: 717-719
Logic Programming 2
- Richard Whitney, Darrel J. Van Buer, Donald P. McKay, Dan Kogan, Lynette Hirschman, Rebecca Davis:
A Predicate Connection Graph Based Logic with Flexible Control. IJCAI 1985: 733-736 - Hirohisa Seki:
Incorporating Generalization Heuristics into Verification of Prolog Programs. IJCAI 1985: 737-741 - Frank M. Brown, Peiya Liu:
A Logic Programming and Verification System for Recursive Quantificational Logic. IJCAI 1985: 742-748
Natural Language
Natural Language 1
- Masaru Tomita:
An Efficient Context-Free Parsing Algorithm for Natural Languages. IJCAI 1985: 756-764 - G. Edward Barton Jr., Robert C. Berwick:
Parsing with Assertion Sets and Information Monotonicity. IJCAI 1985: 769-771
Natural Language 2
- Leonardo Lesmo, Pietro Torasso:
Weighted Interaction of Syntax and Semantics in Natural Language Analysis. IJCAI 1985: 772-778 - Yorick Wilks, Xiuming Huang, Dan Fass:
Syntax, Preference, and Right Attachment. IJCAI 1985: 779-784 - Steven Minton, Philip J. Hayes, Jill Fain:
Controlling Search in Flexible Parsing. IJCAI 1985: 785-787 - Samuel Bayer, Leonard Joseph, Candace E. Kalish:
Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding. IJCAI 1985: 788-790
Natural Language 3
- Kathleen F. McCoy:
The Role of Perspective in Responding to Property Misconceptions. IJCAI 1985: 791-793 - Kathleen R. McKeown, Myron Wish, Kevin Matthews:
Tailoring Explanations for the User. IJCAI 1985: 794-798 - David D. McDonald, James Pustejovsky:
Description-directed Natural Language Generation. IJCAI 1985: 799-805
Natural Language 4
- Lawrence Birnbaum:
Lexical Ambiguity as a Touchstone for Theories of Language Analysis. IJCAI 1985: 815-820 - Yiming Yang, Shuji Doshita, Toyoaki Nishida:
Partial Constraints in Chinese Analysis. IJCAI 1985: 826-828
Natural Language 5
- Barbara J. Grosz, Candace L. Sidner:
Discourse Structure and the Proper Treatment of Interruptions. IJCAI 1985: 832-839 - Danilo Fum, Giovanni Guida, Carlo Tasso:
Evaluating Importance: A Step Towards Text Summarization. IJCAI 1985: 840-844
Natural Language 6
- Anne Vilnat, Gérard Sabah:
Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation. IJCAI 1985: 852-854 - Bernard Euzenat, Bernard Normier, Antoine Ogonowski, Gian Piero Zarri:
SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access. IJCAI 1985: 855-857
Natural Language 7
- Sandiway Fong, Robert C. Berwick:
New Approaches to Parsing Conjunctions Using Prolog. IJCAI 1985: 870-876 - Renato de Mori, Mathew J. Palakal:
On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition. IJCAI 1985: 877-879 - Robert C. Berwick, Samuel F. Pilato:
Reversible Automata and Induction of the English Auxiliary System. IJCAI 1985: 880-882 - Shigeyoshi Kitazawa, Masa-aki Ishikawa, Shuji Doshita:
DP-matching: With or Without Phonemes? IJCAI 1985: 883-885
Perception
Perception 1
- Ken-ichi Kanatani:
Structure from Motion Without Correspondence: General Principle. IJCAI 1985: 886-888 - A. Peter Blicher, Stephen M. Omohundro:
Unique Recovery of Motion and Optic Flow via Lie Algebras. IJCAI 1985: 889-891 - Gang Xu, Saburo Tsuji, Minoru Asada:
Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs. IJCAI 1985: 892-894 - Minoru Asada, Saburo Tsuji:
Utilization of a Stripe Pattern for Dynamic Scene Analysis. IJCAI 1985: 895-897 - Shahriar Negahdaripour, Berthold K. P. Horn:
Determining 3-D Motion of Planar Objects from Image Brightness Patterns. IJCAI 1985: 898-901 - Tadahiro Kitahashi, Hiroyuki Endo:
A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry. IJCAI 1985: 902-904
Perception 2
- Jan A. Mulder:
Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous. IJCAI 1985: 905-907 - Takashi Matsuyama, Vincent Shang-Shouq Hwang:
SIGMA: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analysis. IJCAI 1985: 908-915 - Bernard Mont-Reynaud:
Problem-solving Strategies in a Music Transcription System. IJCAI 1985: 916-918 - Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico:
LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. IJCAI 1985: 919-921
Perception 3
- Thomas M. Strat, Martin A. Fischler:
One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry. IJCAI 1985: 937-943
Perception 4
- David G. Lowe:
Visual Recognition from Spatial Correspondence and Perceptual Organization. IJCAI 1985: 953-959 - Dana H. Ballard, Hiromi Tanaka:
Transformational Form Perception in 3D: Constraints, Algorithms, Implementation. IJCAI 1985: 964-968
Perception 5
- Yoshiro Nishimoto, Yoshiaki Shirai:
A Parallel Matching Algorithm for Stereo Vision. IJCAI 1985: 977-980
Philosophical Foundations
Planning and Search
Planning and Search 1
- Stephen F. Smith, Peng Si Ow:
The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks. IJCAI 1985: 1013-1015 - Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill:
Increasing Coherence in a Distributed Problem-Solving Network. IJCAI 1985: 1025-1030
Planning and Search 2
- Alexander Reinefeld, Jonathan Schaeffer, T. Anthony Marsland:
Information Acquisition in Minimal Window Search. IJCAI 1985: 1040-1043 - Daniel B. Leifker, Laveen N. Kanal:
A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees. IJCAI 1985: 1044-1046
Planning and Search 3
- David P. Miller, R. James Firby, Thomas Dean:
Deadlines, Travel Time, and Robot Problem Solving. IJCAI 1985: 1052-1054 - David C. Chen:
Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain. IJCAI 1985: 1063-1065
Planning and Search 4
- Rina Dechter, Judea Pearl:
The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation. IJCAI 1985: 1066-1072 - Mark E. Stickel, Mabry Tyson:
An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. IJCAI 1985: 1073-1075 - Eugene C. Freuder, Michael J. Quinn:
Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. IJCAI 1985: 1076-1078 - Hans J. Berliner, Gordon Goetsch:
A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness. IJCAI 1985: 1079-1082 - Howard E. Motteler, Laveen N. Kanal:
The Complexity of Searching Several Classes of AND/OR Graphs. IJCAI 1985: 1083-1085
Robotics
Robotics 1
- John F. Gilmore, Antonio C. Semeco:
Terrain Navigation Through Knowledge-based Route Planning. IJCAI 1985: 1086-1088 - Richard S. Wallace, Anthony Stentz, Charles E. Thorpe, Hans P. Moravec, William Whittaker, Takeo Kanade:
First Results in Robot Road-Following. IJCAI 1985: 1089-1095 - Charles E. Buckley, Larry J. Leifer:
A Proximity Metric for Continuum Path Planning. IJCAI 1985: 1096-1102
Robotics 2
- Tom Henderson, Chuck Hansen, Bir Bhanu:
A Framework for Distributed Sensing and Control. IJCAI 1985: 1106-1109 - Giuseppe Marino, Pietro Morasso, Renato Zaccaria:
Motor Knowledge Representation. IJCAI 1985: 1110-1112
Robotics 3
- Tomio Echigo, Masahiko Yachida:
A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras. IJCAI 1985: 1127-1130
Theorem Proving
Theorem Proving 1
- Younghwan Lim, Lawrence J. Henschen:
A New Hyperparamodulation Strategy for the Equality Relation. IJCAI 1985: 1138-1145 - Deepak Kapur, Paliath Narendran:
An Equational Approach to Theorem Proving in First-Order Predicate Calculus. IJCAI 1985: 1146-1153 - Vincent J. Digricoli:
The Management of Heuristic Search in Boolean Experiments with Rue Resolution. IJCAI 1985: 1154-1161
Theorem Proving 2
- Manfred Schmidt-Schauß:
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. IJCAI 1985: 1162-1168 - Anthony G. Cohn:
On the Solution of Schubert's Steamroller in Many-Sorted Logic. IJCAI 1985: 1169-1174 - Keki B. Irani, D. G. Shin:
A Many-Sorted Resolution Based on an Extension of a First-Order Language. IJCAI 1985: 1175-1177 - Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho:
Parallel Processing of Resolution. IJCAI 1985: 1178-1180
Theorem Proving 3
Theorem Proving 4
- Tie-Cheng Wang:
Designing Examples for Semantically Guided Hierarchical Deduction. IJCAI 1985: 1201-1207 - Jacqueline Castaing:
How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. IJCAI 1985: 1208-1213 - Marta Franová:
CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. IJCAI 1985: 1214-1220
General
Invited Talks
Panels
- Tom J. Schwartz:
Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow. IJCAI 1985: 1261-1266 - Marshal S. Willick:
Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons". IJCAI 1985: 1271-1273 - Henry S. Thompson:
Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility. IJCAI 1985: 1281-1283 - Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout:
User Modelling. IJCAI 1985: 1298-1302 - Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith:
Expert Systems: How Far Can They Go? IJCAI 1985: 1306
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint