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

John R. Anderson, C. Franklin Boyle, Gregg Yost: The Geometry Tutor. 1-7 BibTeX
Brian J. Reiser, John R. Anderson, Robert G. Farrell: Dynamic Student Modelling in an Intelligent Tutor for LISP Programming. 8-14 BibTeX
William R. Murray: Heuristic and Formal Methods in Automatic Program Debugging. 15-19 BibTeX
Ethel Schuster: Grammars as User Models. 20-22 BibTeX
Rostam Joobbani, Sarosh Talukdar: An Expert System for Understanding Expressions from Electric Circuit Analysis. 23-25 BibTeX
Andrzej Trybulec, Howard A. Blair: Computer Assisted Reasoning with MIZAR. 26-28 BibTeX

AI Architectures

AI Architectures 1

Simon Kasif, Jack Minker: The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. 29-31 BibTeX
Alan L. Davis, Shane V. Robison: The Architecture of the FAIM-1 Symbolic Multiprocessing System. 32-38 BibTeX
Vineet Singh, Michael R. Genesereth: A Variable Supply Model for Distributing Deductions. 39-45 BibTeX
Gilles M. E. Lafue, Reid G. Smith: A Modular Tool Kit for Knowledge Management. 46-52 BibTeX

AI Architectures 2

Dennis F. Kibler, John S. Conery: Parallelism in AI Programs. 53-56 BibTeX
Anita M. Flynn, John G. Harris: Recognition Algorithms for the Connection Machine. 57-60 BibTeX
David Elliot Shaw: NON-VONs Applicability to Three AI Task Areas. 61-72 BibTeX
Ruven E. Brooks, Rosalyn Lum: Yes, An SIMD Machine Can Be Used for AI. 73-79 BibTeX

Automated Reasoning

Automated Reasoning 1

Matthew L. Ginsberg: Counterfactuals. 80-86 BibTeX
Jon Doyle: Reasoned Assumptions and Pareto Optimality. 87-90 BibTeX
Jeffrey S. Rosenschein, Michael R. Genesereth: Deals Among Rational Agents. 91-99 BibTeX

Automated Reasoning 2

Erik Sandewall: A Functional Approach to Non-Monotonic Logic. 100-106 BibTeX
Matthew L. Ginsberg: Does Probability Have a Place in Non-monotonic Reasoning? 107-110 BibTeX
Didier Dubois, Henri Prade: Combination and Propagation of Uncertainty with Belief Functions - A Reexamination. 111-113 BibTeX
Tomasz Imielinski: Results on Translating Defaults to Circumscription. 114-120 BibTeX
Vladimir Lifschitz: Computing Circumscription. 121-127 BibTeX

Automated Reasoning 3

Benjamin Kuipers: The Limits of Qualitative Simulation. 128-136 BibTeX
Elisha Sacks: Qualitative Mathematical Reasoning. 137-139 BibTeX
Daniel S. Weld: Combining Discrete and Continuous Process Models. 140-143 BibTeX
David Poole: On the Comparison of Theories: Preferring the Most Specific Explanation. 144-147 BibTeX
Alan M. Frisch: Using Model Theory to Specify AI Programs. 148-154 BibTeX

Automated Reasoning 4

Myung W. Kim: EGS: A Transformational Approach to Automatic Example Generation. 155-161 BibTeX
Lawrence Davis: Applying Adaptive Algorithms to Epistatic Domains. 162-164 BibTeX
Jack Mostow, Donald Cohen: Automating Program Speedup by Deciding What to Cache. 165-172 BibTeX
Eliezer L. Lozinskii: Evaluating Queries in Deductive Databases by Generating. 173-177 BibTeX

Automated Reasoning 5

Allen L. Brown Jr.: Modal Propositional Semantics for Reason Maintenance Systems. 178-184 BibTeX
James W. Goodwin: A Process Theory of Non-monotonic Inference. 185-187 BibTeX
Vasant Dhar: An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge. 188-190 BibTeX
Josh D. Tenenberg: Taxonomic Reasoning. 191-193 BibTeX
Garrison W. Cottrell: Parallelism in Inheritance Hierarchies with Exceptions. 194-202 BibTeX

Automatic Programming

Automatic Programming 1

Robert Balzer: Automated Enhancement of Knowledge Representations. 203-207 BibTeX
Nachum Dershowitz: Synthesis by Completion. 208-214 BibTeX
Douglas R. Smith: Reasoning by Cases and the Formation of Conditional Programs. 215-218 BibTeX
David Eppstein: A Heuristic Approach to Program Inversion. 219-221 BibTeX
Zohar Manna, Richard J. Waldinger: The Origin of the Binary-Search Paradigm. 222-224 BibTeX

Automatic Programming 2

David M. Steier, Elaine Kant: Symbolic Execution in Algorithm Design. 225-231 BibTeX
David R. Barstow: Automatic Programming for Streams. 232-237 BibTeX

Cognitive Modelling

Cognitive Modelling 1

David S. Touretzky, Geoffrey E. Hinton: Symbols Among the Neurons: Details of a Connectionist Inference Architecture. 238-243 BibTeX
James A. Reggia: Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory. 244-248 BibTeX
James Geller: The Teachable Letter Recognizer. 249-251 BibTeX
Geoffrey E. Hinton, Kevin J. Lang: Shape Recognition and Illusory Conjunctions. 252-259 BibTeX
Helen M. Gigley: Computational Neurolinguistics - What Is It All About? 260-266 BibTeX

Cognitive Modelling 2

Derek Partridge: Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism. 267-273 BibTeX
Göran Hagert: Whats in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions. 274-277 BibTeX
Erik T. Mueller, Michael G. Dyer: Daydreaming in Humans and Computers. 278-280 BibTeX
Lawrence Birnbaum: A Short Note on Opportunistic Planning and Memory in Arguments. 281-283 BibTeX
Janet L. Kolodner, Robert L. Simpson Jr., Katia Sycara-Cyranski: A Process Model of Cased-Based Reasoning in Problem Solving. 284-290 BibTeX
Seth R. Goldman, Michael G. Dyer, Margot Flowers: Learning to Understand Contractual Situations. 291-293 BibTeX
Katia Sycara-Cyranski: Arguments of Persuasion in Labour Mediation. 294-296 BibTeX

Expert Systems

Expert Systems 1

Phyllis Koton: Empirical and Model-based Reasoning in Expert Systems. 297-299 BibTeX
Jon Sticklen, B. Chandrasekaran, John R. Josephson: Control Issues in Classificatory Diagnosis. 300-306 BibTeX
Tetsutaro Shibahara: On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias. 307-314 BibTeX

Expert Systems 2

Tim Niblett: Judgmental Reasoning for Expert Systems. 315-317 BibTeX
Naseem A. Khan, Ramesh Jain: Uncertainty Management in a Distributed Knowledge Based System. 318-320 BibTeX
Terence R. Thompson: Parallel Formulation of Evidential-Reasoning Theories. 321-327 BibTeX
Allan P. White: Predictor: An Alternative Approach to Uncertain Inference in Expert Systems. 328-330 BibTeX
Richard D. Ferrante: The Characteristic Error Approach to Conflict Resolution. 331-334 BibTeX

Expert Systems 3

Arthur J. Nevins: An Architecture for Knowledge Based Deduction. 335-339 BibTeX
J. Robert Ensor, John D. Gabbe: Transactional Blackboards. 340-344 BibTeX
Massimo Gallanti, Giovanni Guida, Luca Spampinato, Alberto Stefanini: Representing Procedural Knowledge in Expert Systems: An Application to Process Control. 345-352 BibTeX
Werner Dilger, Jörg Kippe: COMODEL: A Language for the Representation of Technical Knowledge. 353-358 BibTeX
Leonard Friedman: Controlling Production Firing: The FCL Language. 359-366 BibTeX

Expert Systems 4

Allen Ginsberg, Sholom M. Weiss, Peter Politakis: SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement. 367-374 BibTeX
Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Checking an Expert Systems Knowledge Base for Consistency and Completeness. 375-378 BibTeX
Agneta Eriksson, Anna-Lena Johansson: Neat Explanation of Proof Trees. 379-381 BibTeX
Robert Neches, William R. Swartout, Johanna D. Moore: Explainable (and Maintainable) Expert Systems. 382-389 BibTeX
Paul de Greef, Joost Breuker: A Case Study in Structured Knowledge Acquisition. 390-392 BibTeX

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 BibTeX
Guan Jiwen, Xu Ying, Chang Minche, Zhao Jizhi: Model Expert System MES. 397-399 BibTeX
Renee Elio, Johannes de Haan: Knowledge Representation in an Expert Storm Forecasting System. 400-406 BibTeX
Takushi Tanaka: Parsing Circuit Topology in a Deductive System. 407-410 BibTeX
Terry Cline, Wendy Fong, Steven Rosenberg: An Expert Advisor for Photolithography. 411-413 BibTeX
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 BibTeX

Expert Systems 6

Lotfi A. Zadeh: Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems. 417-419 BibTeX
Alexander S. Yeh: Flexible Data Fusion (and Fission). 420-422 BibTeX
Robert Mine: Fault Diagnosis Through Responsibility. 423-425 BibTeX
Pamela K. Fink: Control and Integration of Diverse Knowledge in a Diagnostic Expert System. 426-431 BibTeX

Knowledge Representation

Knowledge Representation 1

Jerry R. Hobbs: Granularity. 432-435 BibTeX
Yoav Shoham: Naive Kinematics: One Aspect of Shape. 436-442 BibTeX
Sanjaya Addanki, Ernest Davis: A Representation for Complex Physical Domains. 443-446 BibTeX
Curtis Langlotz, Lawrence M. Fagan, Samson W. Tu, John Williams, Branimir Sikic: ONYX: An Architecture for Planning in Uncertain Environments. 447-449 BibTeX
Tom Bylander, B. Chandrasekaran: Understanding Behavior Using Consolidation. 450-454 BibTeX

Knowledge Representation 2

Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. 455-458 BibTeX
Witold Lukaszewicz: Two Results on Default Logic. 459-461 BibTeX
Peter Trum: On the Descriptional Complexity of Production Systems. 462-464 BibTeX
Lokendra Shastri, Jerome A. Feldman: Evidential Reasoning in Semantic Networks: A Formal Theory. 465-474 BibTeX
Michael Sullivan, Paul R. Cohen: An Endorsement-based Plan Recognition Program. 475-479 BibTeX

Knowledge Representation 3

Joseph Y. Halpern, Yoram Moses: A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. 480-490 BibTeX
Ronald Fagin, Joseph Y. Halpern: Belief, Awareness, and Limited Reasoning: Preliminary Report. 491-501 BibTeX
Kurt Konolige: A Computational Theory of Belief Introspection. 502-508 BibTeX
Moshe Y. Vardi: A Model-Theoretic Analysis of Monotonic Knowledge. 509-512 BibTeX
Alfred Kobsa: Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants. 513-515 BibTeX

Knowledge Representation 4

Michael P. Georgeff, Amy L. Lansky, Pierre Bessière: A Procedural Logic. 516-523 BibTeX
Gary C. Borchardt: Event Calculus. 524-527 BibTeX
James F. Allen, Patrick J. Hayes: A Common-Sense Theory of Time. 528-531 BibTeX
Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. 532-539 BibTeX
Charles Rich: The Layered Architecture of a System for Reasoning about Programs. 540-546 BibTeX
Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. 547-551 BibTeX

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 BibTeX
Bruce W. Porter, Dennis F. Kibler: A Comparison of Analytic and Experimental Goal Regression for Machine Learning. 555-559 BibTeX
Leslie G. Valiant: Learning Disjunction of Conjunctions. 560-566 BibTeX
Judea Pearl: Learning Hidden Causes from Empirical Data. 567-572 BibTeX

Learning and Acquisition 2

Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg: LEAP: A Learning Apprentice for VLSl Design. 573-580 BibTeX
Gary S. Kahn, Steve Nowlan, John P. McDermott: MORE: An Intelligent Knowledge Acquisition Tool. 581-584 BibTeX
Jonathan Schaeffer, T. Anthony Marsland: The Utility of Expert Knowledge. 585-587 BibTeX
David E. Goldberg: Dynamic System Control Using Rule Learning and Genetic Algorithms. 588-592 BibTeX
J. David Schaffer, John J. Grefenstette: Multi-Objective Learning via Genetic Algorithms. 593-595 BibTeX

Learning and Acquisition 3

Steven Minton: Selectively Generalizing Plans for Problem-Solving. 596-599 BibTeX
Charles P. Dolan, Michael G. Dyer: Learning Planning Heuristics through Observation. 600-602 BibTeX
Steven Salzberg: Heuristics for Inductive Learning. 603-609 BibTeX
Paul Thagard, Keith J. Holyoak: Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving. 610-612 BibTeX
Albrecht Heeffer: Validating Concepts from Automated Acquisition Systems. 613-615 BibTeX
Sridhar Mahadevan: Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods. 616-623 BibTeX

Learning and Acquisition 4

David M. Neves: Learning Procedures from Examples and by Doing. 624-630 BibTeX
Bijan Arbab, Donald Michie: Generating Rules from Examples. 631-633 BibTeX
Jakub Segen: Learning Concept Descriptions from Examples with Errors. 634-636 BibTeX
Sandra Marcus, John P. McDermott, Tianran Wang: Knowledge Acquisition for Constructive Systems. 637-639 BibTeX
Glenn A. Iba: Learning by Discovering Macros in Puzzle Solving. 640-642 BibTeX

Learning and Acquisition 5

Thomas Ellman: Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. 643-646 BibTeX
Sitaram Lanka: Automatically Inferring Database Schemas. 647-649 BibTeX
Larry A. Rendell: Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search. 650-658 BibTeX
LiMin Fu, Bruce G. Buchanan: Learning Intermediate Concepts in Constructing a Hierarchical Knowldege Base. 659-666 BibTeX
Jude W. Shavlik: Learning about Momentum Conservation. 667-669 BibTeX
Oliver G. Selfridge, Richard S. Sutton, Andrew G. Barto: Training and Tracking in Robotics. 670-672 BibTeX

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. 673-680 BibTeX
Raymond J. Mooney, Gerald DeJong: Learning Schemata for Natural Language Processing. 681-687 BibTeX
Shankar A. Rajamoney, Gerald DeJong, Boi Faltings: Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation. 688-690 BibTeX
Douglas H. Fisher, Pat Langley: Approaches to Conceptual Clustering. 691-697 BibTeX
R. I. Phelps, Peter B. Musgrove: A Prototypical Approach to Machine Learning. 698-700 BibTeX

VOLUME 2

Logic Programming

Logic Programming 1

Mitsuru Ishizuka, Naoki Kanai: Prolog-ELF Incorporating Fuzzy Logic. 701-703 BibTeX
Tadashi Kanamori, Kenji Horiuchi: Type Inference in Prolog and Its Application. 704-707 BibTeX
Hideyuki Nakashima: Term Description: A Simple Powerful Extension to Prolog Data Structures. 708-710 BibTeX
Randy Goebel: Interpreting Descriptions in a Prolog-based Knowledge Representation System. 711-716 BibTeX
Marc Eisenstadt: Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming. 717-719 BibTeX
Lee Naish: Prolog Control Rules. 720-722 BibTeX

Logic Programming 2

Takashi Yokomori: A Logic Program Schema and Its Applications. 723-725 BibTeX
Shigeki Goto: Concurrency in Proof Normalization and Logic Programming. 726-729 BibTeX
Wolfgang Schönfeld: Prolog Extensions Based on Tableau Calculus. 730-732 BibTeX
Richard Whitney, Darrel J. Van Buer, Donald P. McKay, Dan Kogan, Lynette Hirschman, Rebecca Davis: A Predicate Connection Graph Based Logic with Flexible Control. 733-736 BibTeX
Hirohisa Seki: Incorporating Generalizaiton Heuristics into Verification of Prolog Programs. 737-741 BibTeX
Frank M. Brown, Peiya Liu: A Logic Programming and Verification System for Recursive Quantificational Logic. 742-748 BibTeX

Natural Language

Natural Language 1

Glenn D. Blank: A New Kind of Finite-State Automaton: Register Vector Grammar. 749-755 BibTeX
Masaru Tomita: An Efficient Context-Free Parsing Algorithm for Natural Languages. 756-764 BibTeX
Fred Popowich: Unrestrictd Gapping Grammars. 765-768 BibTeX
G. Edward Barton Jr., Robert C. Berwick: Parsing with Assertion Sets and Information Monotonicity. 769-771 BibTeX

Natural Language 2

Leonardo Lesmo, Pietro Torasso: Weighted Interaction of Syntax and Semantics in Natural Language Analysis. 772-778 BibTeX
Yorick Wilks, Xiuming Huang, Dan Fass: Syntax, Preference and Right Attachment. 779-784 BibTeX
Steven Minton, Philip J. Hayes, Jill Fain: Controlling Search in Flexible Parsing. 785-787 BibTeX
Samuel Bayer, Leonard Joseph, Candace E. Kalish: Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding. 788-790 BibTeX

Natural Language 3

Kathleen F. McCoy: The Role of Perspective in Responding to Property Misconceptions. 791-793 BibTeX
Kathleen McKeown, Myron Wish, Kevin Matthews: Tailoring Explanations for the User. 794-798 BibTeX
David D. McDonald, James Pustejovsky: Description-directed Natural Language Generation. 799-807 BibTeX

Natural Language 4

Kenneth Man-kam Yip: Tense, Aspect, and Cognitive Representation of Time. 808-814 BibTeX
Lawrence Birnbaum: Lexical Ambiguity as a Touchstone for Theories of Language Analysis. 815-820 BibTeX
Amnon Meyers: VOX - An Extensible Natural Language Processor. 821-825 BibTeX
Yiming Yang, Shuji Doshita, Toyoaki Nishida: Partial Constraints in Chinese Analysis. 826-828 BibTeX

Natural Language 5

Uwe Reyle: Grammatical Functions, Discourse, Referents, and Quantification. 829-831 BibTeX
Barbara J. Grosz, Candace L. Sidner: Discourse Structure and the Proper Treatment of Interruptions. 832-839 BibTeX
Danilo Fum, Giovanni Guida, Carlo Tasso: Evaluating Importance: A Step Towards Text Summarization. 840-844 BibTeX
Stephanie E. August, Michael G. Dyer: Understanding Analogies in Editorials. 845-847 BibTeX

Natural Language 6

Eduard H. Hovy: Integrating Text Planning and Production in Generation. 848-851 BibTeX
Anne Vilnat, Gérard Sabah: Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation. 852-854 BibTeX
Bernard Euzenat, Bernard Normier, Antoine Ogonowski, Gian Piero Zarri: SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access. 855-857 BibTeX
Michael Lebowitz: Researcher: An Experimental Intelligent Information System. 858-862 BibTeX

Natural Language 7

Kurt P. Eiselt: A Parallel-Process Model of On-Line Inference Processing. 863-869 BibTeX
Sandiway Fong, Robert C. Berwick: New Approaches to Parsing Conjunctions Using Prolog. 870-876 BibTeX
Renato de Mori, Mathew J. Palakal: On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition. 877-879 BibTeX
Robert C. Berwick, Samuel F. Pilato: Reversible Automata and Induction of the English Auxiliary System. 880-882 BibTeX
Shigeyyoshi Kitazawa, Masa-aki Ishikawa, Shuji Doshita: DP-matching: With or Without Phonemes? 883-885 BibTeX

Perception

Perception 1

Ken-ichi Kanatani: Structure from Motion Without Correspondence: General Principle. 886-888 BibTeX
A. Peter Blicher, Stephen M. Omohundro: Unique Recovery of Motion and Optic Flow via Lie Algebras. 889-891 BibTeX
Gang Xu, Saburo Tsuji, Minoru Asada: Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs. 892-894 BibTeX
Minoru Asada, Saburo Tsuji: Utilization of a Stripe Pattern for Dynamic Scene Analysis. 895-897 BibTeX
Shahriar Negahdaripour, Berthold K. P. Horn: Determining 3-D Motion of Planar Objects from Image Brightness Patterns. 898-901 BibTeX
Tadahiro Kitahashi, Hiroyuki Endo: A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry. 902-904 BibTeX

Perception 2

Jan A. Mulder: Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous. 905-907 BibTeX
Takashi Matsuyama, Vincent Hwang: SIGMA: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analysis. 908-915 BibTeX
Bernard Mont-Reynaud: Problem-solving Strategies in a Music Transcription System. 916-918 BibTeX
Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico: LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. 919-921 BibTeX
Jonathan Connell, Michael Brady: Learning Shape Descriptions. 922-925 BibTeX

Perception 3

John Aliomonos, Michael J. Swain: Shape from Texture. 926-931 BibTeX
Michael J. Brooks, Berthold K. P. Horn: Shape and Source from Shading. 932-936 BibTeX
Thomas M. Strat, Martin A. Fischler: One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry. 937-943 BibTeX
Michael Kass, Andrew P. Witkin: Analyzing Oriented Patterns. 944-952 BibTeX

Perception 4

David G. Lowe: Visual Recognition from Spatial Correspondence and Perceptual Organization. 953-959 BibTeX
James J. Little: Determining Object Attitude from Extended Gaussian Images. 960-963 BibTeX
Dana H. Ballard, Hiromi Tanaka: Transformational Form Perception in 3D: Constraints, Algorithms, Implementation. 964-968 BibTeX
Isaac Weiss: 3-D Shape Representation by Contours. 969-972 BibTeX

Perception 5

Andrew Blake: Specular Stereo. 973-976 BibTeX
Y. Nishimoto, Yoshiaki Shirai: A Parallel Matching Algorithm for Stereo Vision. 977-980 BibTeX
Bruce D. Lucas, Takeo Kanade: Optical Navigation by the Method of Differences. 981-984 BibTeX
Lance R. Williams: Spectral Continuity and Eye Vergence Movement. 985-987 BibTeX
Alex Pentland: A New Sense for Depth of Field. 988-994 BibTeX

Philosophical Foundations

Aaron Sloman: What Enables a Machine to Understand? 995-1001 BibTeX
Peter Cheeseman: In Defense of Probability. 1002-1009 BibTeX

Planning and Search

Planning and Search 1

Mark Drummond: Refining and Extending the Procedural Net. 1010-1012 BibTeX
Stephen F. Smith, Peng Si Ow: The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks. 1013-1015 BibTeX
Stephen A. Vere: Splicing Plans to Achieve Misordered Goals. 1016-1021 BibTeX
David Chapman: Nonlinear Planning: A Rigorous Reconstruction. 1022-1024 BibTeX
Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill: Increasing Coherence in a Distributed Problem-Solving Network. 1025-1030 BibTeX
Christopher Stuart: An Implementation of a Multi-Agent Plan Synchronizer. 1031-1033 BibTeX

Planning and Search 2

Richard E. Korf: Iterative-Deepening-A*: An Optimal Admissible Tree Search. 1034-1036 BibTeX
Bo Zhang, Ling Zhang: A Weighted Technique in Heuristic Search. 1037-1039 BibTeX
Alexander Reinefeld, Jonathan Schaeffer, T. Anthony Marsland: Information Acquisition in Minimal Window Search. 1040-1043 BibTeX
Daniel B. Leifker, Laveen N. Kanal: A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees. 1044-1046 BibTeX

Planning and Search 3

Daniel L. S. Berlin: SPAN: Integrating Problem-Solving Tactics. 1047-1051 BibTeX
David P. Miller, R. James Firby, Thomas Dean: Deadlines, Travel Time, and Robot Problem Solving. 1052-1054 BibTeX
Steven Vere: Temporal Scope of Assertions and Window Cutoff. 1055-1059 BibTeX
Thomas Dean: Temporal Reasoning Involving Counterfactuals and Disjunctions. 1060-1062 BibTeX
David C. Chen: Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain. 1063-1065 BibTeX

Planning and Search 4

Rina Dechter, Judea Pearl: The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation. 1066-1072 BibTeX
Mark E. Stickel, Mabry Tyson: An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. 1073-1075 BibTeX
Eugene C. Freuder, Michael J. Quinn: Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. 1076-1078 BibTeX
Hans J. Berliner, Gordon Goetsch: A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness. 1079-1082 BibTeX
Howard E. Motteler, Laveen N. Kanal: The Complexity of Searching Several Classes of AND/OR Graphs. 1083-1085 BibTeX

Robotics

Robotics 1

John F. Gilmore, Antonio C. Semeco: Terrain Navigation Through Knowledge-based Route Planning. 1086-1088 BibTeX
Richard Wallace, Anthony Stentz, Charles E. Thorpe, Hans Maravec, William Whittaker, Takeo Kanade: First Results in Robot Road-Following. 1089-1095 BibTeX
Charles E. Buckley, Larry J. Leifer: A Proximity Metric for Continuum Path Planning. 1096-1102 BibTeX
Ralph P. Sobek: A Robot Planning Structure Using Production Rules. 1103-1105 BibTeX

Robotics 2

Tom Henderson, Chuck Hansen, Bir Bhanu: A Framework for Distributed Sensing and Control. 1106-1109 BibTeX
Giuseppe Marino, Pietro Morasso, Renato Zaccaria: Motor Knowledge Representation. 1110-1112 BibTeX
Alan Fleming: Analysis of Uncertainties in a Structure of Parts. 1113-1115 BibTeX

Robotics 3

Radu Horaud: Spatial Object Perception from an Image. 1116-1119 BibTeX
Yuichi Ohta, Takeo Kanade: Stereo by Two-Level Dynamic Programming. 1120-1126 BibTeX
Tomio Echigo, Masahiko Yachida: A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras. 1127-1130 BibTeX
Peter K. Allen, Ruzena Bajcsy: Object Recognition Using Vision and Touch. 1131-1137 BibTeX

Theorem Proving

Theorem Proving 1

Younghwan Lim, Lawrence J. Henschen: A New Hyperparamodulation Strategy for the Equality Relation. 1138-1145 BibTeX
Deepak Kapur, Paliath Narendran: An Equational Approach to Theorem Proving in First-Order Predicate Calculus. 1146-1153 BibTeX
Vincent J. Digricoli: The Management of Heuristic Search in Boolean Experiments with Rue Resolution. 1154-1161 BibTeX

Theorem Proving 2

Manfred Schmidt-Schauß: A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. 1162-1168 BibTeX
Anthony G. Cohn: On the Solution of Schubert's Steamroller in Many-Sorted Logic. 1169-1174 BibTeX
Keki B. Irani, D. G. Shin: A Many-Sorted Resolution Based on an Extension of a First-Order Language. 1175-1177 BibTeX
Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho: Parallel Processing of Resolution. 1178-1180 BibTeX

Theorem Proving 3

Mark E. Stickel: Automated Deduction by Theory Resolution. 1181-1186 BibTeX
Neil V. Murray, Erik Rosenthal: Path Resolution with Link Deletion. 1187-1193 BibTeX
Werner Dilger, Hans-Albert Schneider: ASSIP-T A Theorem-Proving Machine. 1194-1200 BibTeX

Theorem Proving 4

Tie-Cheng Wang: Designing Examples for Semantically Guided Hierarchical Deduction. 1201-1207 BibTeX
Jacqueline Castaing: How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. 1208-1213 BibTeX
Marta Franová: CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. 1214-1220 BibTeX

General

Invited Talks

Alan Bundy: Discovery and Reasoning in Mathematics. 1221-1230 BibTeX
Hirochika Inoue: Building a Bridge Between AI and Robotics. 1231-1237 BibTeX
John Perry: Self-Knowledge and Self-Representation. 1238-1242 BibTeX
Elaine Kant: Understanding and Automating Algorithm Design. 1243-1253 BibTeX

Panels

Edwina L. Rissland: AI and Legal Reasoning. 1254-1260 BibTeX
Tom J. Schwartz: Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow. 1261-1266 BibTeX
Margaret A. Boden: Artificial Intelligence and Legal Responsibility. 1267-1268 BibTeX
Robert A. Kowalski, Marek J. Sergot: Computer Representation of the Law. 1269-1270 BibTeX
Marshal S. Willick: Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons". 1271-1273 BibTeX
Jay Bloom Becker: Fifth Generation Computer Crime Law. 1274-1278 BibTeX
Yorick Wilks: Responsible Computers? 1279-1280 BibTeX
Henry S. Thompson: Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility. 1281-1283 BibTeX
John Fox: Judgement, Policy, and the Harmony Machine. 1284-1288 BibTeX
Alan Bundy, Richard Clutterbuck: Raising the Standards of AI Products. 1289-1294 BibTeX
Ronald R. Yager: Reasoning with Uncertainty for Expert Systems. 1295-1297 BibTeX
Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout: User Modelling. 1298-1302 BibTeX
Howard E. Jacobson: The US and Japan Cooperative AI Research and Development. 1303-1305 BibTeX
Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith: Expert Systems: How Far Can They Go? 1306 BibTeX