Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar7. IJCAI 1981: Vancouver, British Columbia, Canada
Patrick J. Hayes:
Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981. William Kaufmann 1981- David L. Waltz:
Toward a Detailed Model of Processing for Language Describing the Physical World. IJCAI 1981: 1-6 - Robert Wilensky:
A Knowledge-Based Approach to Language Processing: A Progress Report. IJCAI 1981: 25-30 - Michael C. Dyer:
Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid. IJCAI 1981: 37-42 - Heinz Marburger, Bernd Neumann, Hans-Joachim Novak:
Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene. IJCAI 1981: 49-51 - Rod McGuire, Lawrence Birnbaum, Margot Flowers:
Opportunistic Processing in Arguments. IJCAI 1981: 58-60 - Eric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber:
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response. IJCAI 1981: 61-63 - Norihiro Abe, Itsuya Soga, Saburo Tsuji:
A Plot Understanding System on Reference to Both Image and Language. IJCAI 1981: 77-84 - John R. Anderson:
A Theory of Language Acquisition Based on General Learning Principles. IJCAI 1981: 97-103 - V. Sembugamoorthy:
Analogy-Based Acquisition of Utterances Relating to Temporal Aspects. IJCAI 1981: 106-108 - S. Oakey, R. C. Cawthorn:
Inductive Learning of Pronunciation Rules by hypothesis Testing and Correction. IJCAI 1981: 109-114 - Pat Langley, Gary L. Bradshaw, Herbert A. Simon:
BACON.5: The Discovery of Conservation Laws. IJCAI 1981: 121-126 - Tom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji:
Learning Problem-Solving Heuristics Through Practice. IJCAI 1981: 127-134 - Regine Loisel, Yves Kodratoff:
Learning (Complex) Structural Descriptions from Examples. IJCAI 1981: 141-143 - Fritz Wysotzki, Werner Kolbe, Joachim Selbig:
Concept Learning by Structured Examples - An Algebraic Approach. IJCAI 1981: 153-158 - Alan H. Bond, David H. Mott:
Learning of Sensory-Motor Schemas in a Mobile Robot. IJCAI 1981: 159-161 - Edwina L. Rissland, Elliot Soloway:
Constrained Example Generation: A Testbed for Studying Issues in Learning. IJCAI 1981: 162-164 - Perry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata:
AUTOPILOT: A Distributed Planner for Air Fleet Control. IJCAI 1981: 171-177 - Candace L. Sidner, David J. Israel:
Recognizing Intended Meaning and Speakers' Plans. IJCAI 1981: 203-208 - Paul E. Johnson, William B. Thompson:
Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving. IJCAI 1981: 215-217 - Janet L. Kolodner:
Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You? IJCAI 1981: 227-233 - Harald Trost, Ingeborg Steinacker:
The Role of Roles: Some Aspects of Real World Knowledge Representation. IJCAI 1981: 237-239 - Hector J. Levesque:
The Interaction with Incomplete Knowledge Bases: A Formal Treatment. IJCAI 1981: 240-245 - L. Thorne McCarty, N. S. Sridharan:
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. IJCAI 1981: 246-253 - Alexander Borgida:
On the Definition of Specialization Hierarchies for Procedures. IJCAI 1981: 254-256 - Scott E. Fahlman, David S. Touretzky, Walter van Roggen:
Cancellation in a Parallel Semantic Network. IJCAI 1981: 257-263 - James L. Weiner, Martha Palmer:
The Design Of A System For Designing Knowledge Representation Systems. IJCAI 1981: 277-282 - Robert Neches:
HPM: A Computational Formalism for Heuristic Procedure Modification. IJCAI 1981: 283-288 - Lynette Hirschman, Guy Story:
Representing Implicit And Explicit Time Relations In Narrative. IJCAI 1981: 289-295 - Paul J. Kline:
The Superiority of Relative Criteria in Partial Matching and Generalization. IJCAI 1981: 296-303 - Mary Angela Papalaskaris, Lenhart K. Schubert:
PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs. IJCAI 1981: 304-309 - Malik Ghallab:
Decision Trees For Optimizing Pattern - Matching Algorithms in Production Systems. IJCAI 1981: 310-312 - Mark S. Fox:
Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition. IJCAI 1981: 313-318 - Thomas D. Garvey, John D. Lowrance, Martin A. Fischler:
An Inference Technique for Integrating Knowledge from Disparate Sources. IJCAI 1981: 319-325 - Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly:
Representations for Reasoning about Digital Circuits. IJCAI 1981: 343-344 - Richard H. Granger:
Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation. IJCAI 1981: 354-361 - Richard E. Cullingford, Myron W. Krueger, Mallory Selfridge, Marie A. Bienkowski:
Towards Automating Explanations. IJCAI 1981: 362-367 - Donald P. McKay, Stuart C. Shapiro:
Using Active Connection Graphs for Reasoning with Recursive Rules. IJCAI 1981: 368-374 - Aravind K. Joshi, Scott Weinstein:
Control of Inference: Role of Some Aspects of Discourse Structure-Centering. IJCAI 1981: 385-387 - Gregory B. Taylor, Stephen B. Whitehill:
A Belief Representation for Understanding Deception. IJCAI 1981: 388-393 - Virginia Teller, Hartvig Dahl:
The Framework for a Model of Psychoanalytic Inference. IJCAI 1981: 394-400 - Gian Piero Zarri:
Building the Inference Component of an Historical Information Retrieval System. IJCAI 1981: 401-408 - Lee D. Erman, Philip London, Stephen Fickas:
The Design and an Example Use of Hearsay-III. IJCAI 1981: 409-415 - Anatole Gershman:
Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant. IJCAI 1981: 423-425 - Philip J. Hayes, Jaime G. Carbonell:
Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update. IJCAI 1981: 432-439 - Leonardo Lesmo, Daniela Magnani, Pietro Torasso:
A Deterministic Analyzer for the Interpretation of Natural Language Commands. IJCAI 1981: 440-442 - Branimir Boguraev, Karen Sparck Jones:
A General Semantic Analyser for Data Base Access. IJCAI 1981: 443-445 - David J. Israel, Ronald J. Brachman:
Distinctions and Confusions: A Catalogue Raisonne. IJCAI 1981: 452-459 - Ryszard S. Michalski, Robert E. Stepp:
An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy. IJCAI 1981: 460-465 - Robert Veroff, Lawrence J. Henschen:
Application of Automatic Transformations to Program Verification. IJCAI 1981: 472-479 - Kurt Konolige:
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems. IJCAI 1981: 496-503 - Giuseppe Attardi, Maria Simi:
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation. IJCAI 1981: 504-510 - Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther:
The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518 - Dennis de Champeaux, Jos de Bruin:
Symbolic Evaluation of LISP Functions with Side Effects for Verification. IJCAI 1981: 519-524 - Lawrence J. Henschen, Shamim A. Naqvi:
An Improved Filter for Literal Indexing in Resolution Systems. IJCAI 1981: 525-529 - Jörg H. Siekmann, Peter Szabó:
Universal Unification and Regular Equational ACFM Theories. IJCAI 1981: 532-538 - Vincent J. Digricoli:
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. IJCAI 1981: 539-547 - Pierre Lescanne:
Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems. IJCAI 1981: 548-550 - Alan Bundy, Bernard Silver:
Homogenization: Preparing Equations for Change of Unknown. IJCAI 1981: 551-553 - Laveen N. Kanal, Vipin Kumar:
Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results. IJCAI 1981: 569-571 - Masaki Oshima, Yoshiaki Shirai:
Object Recognition Using Three-Dimensional Information. IJCAI 1981: 601-606 - David G. Lowe, Thomas O. Binford:
The Interpretation of Three-Dimensional Structure from Image Curves. IJCAI 1981: 613-618 - Rodney A. Brooks:
Model-Based Three Dimensional Interpretations of Two Dimensional Images. IJCAI 1981: 619-624 - Alan K. Mackworth, William S. Havens:
Structuring Domain Knowledge For Visual Perception. IJCAI 1981: 625-627 - Terry E. Weymouth:
Experiments In Knowledge-Driven Interpretation of Natural Scenes. IJCAI 1981: 628-630 - Robert C. Bolles, Martin A. Fischler:
A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range Data. IJCAI 1981: 637-643 - Bryant W. York, Allen R. Hanson, Edward M. Riseman:
3D Object Representation and Matching with B-Splines and Surface Patches. IJCAI 1981: 648-651 - E. North Coleman Jr., Ramesh Jain:
Shape from Shading for Surfaces with Texture and Specularity. IJCAI 1981: 652-657 - Hans-Hellmut Nagel, Bernd Neumann:
On 3D Reconstruction from Two Perspective Views. IJCAI 1981: 661-663 - Bruce D. Lucas, Takeo Kanade:
An Iterative Image Registration Technique with an Application to Stereo Vision. IJCAI 1981: 674-679 - Geoffrey E. Hinton:
A Parallel Computation that Assigns Canonical Object-Based Frames of Reference. IJCAI 1981: 683-685 - Jon A. Webb, Jake K. Aggarwal:
Structure from Motion of Rigid and Jointed Objects. IJCAI 1981: 686-691 - Leonie Dreschler, Hans-Hellmut Nagel:
Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene. IJCAI 1981: 692-697 - K. Prazdny:
A Simple Method for Recovering a Relative Depth Map in the Case of a Translating Sensor. IJCAI 1981: 698-699 - Michael F. Peering, Carter Collins:
Real-Time Natural Scene Analysis for a Blind Prosthesis. IJCAI 1981: 704-709 - Saburo Tsuji, Hidetoshi Nakano:
Knowledge-Based Identification of Artery Branches in Cine-Angiograms. IJCAI 1981: 710-715 - Oscar Firschein, Martin A. Fischler:
Perceptual Problems in Analyzing Industrial Radiographs. IJCAI 1981: 740-745 - Tu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai:
Obtaining Surface Orientation from Texels under Perspective Projection. IJCAI 1981: 746-751 - P. J. MacVicar-Whelan, Thomas O. Binford:
Intensity Discontinuity Location to SubPixel Precision. IJCAI 1981: 752-754 - Peter G. Selfridge, Kenneth R. Sloan Jr.:
Reasoning About Images: Application to Aerial Image Understanding. IJCAI 1981: 755-757 - Yannick Descotte, Jean-Claude Latombe:
GARI: A Problem Solver That Plans How to Machine Mechanical Parts. IJCAI 1981: 766-772 - Haruhiko Asada, Takeo Kanade:
Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors. IJCAI 1981: 775-778 - Jun-ichi Iijima, Yutaka Kanayama, Shin'ichi Yuta:
A Locomotion Control System for Mobile Robots. IJCAI 1981: 779-784 - Jean-Daniel Boissonnat, F. Germain:
A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin. IJCAI 1981: 796-802 - Robert A. Freitas Jr., Timothy J. Healy, James E. Long:
Advanced Automaton For Space Missions. IJCAI 1981: 803-808 - David McArthur, Henry Sowizral:
An Object-Oriented Language for Constructing Simulations. IJCAI 1981: 809-814 - John P. McDermott, Barbara Steele:
Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. IJCAI 1981: 824-828 - William J. Clancey, Reed Letsinger:
NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching. IJCAI 1981: 829-836 - Mitsuru Ishizuka, King-sun Fu, James T. P. Yao:
Inexact Inference for Rule-Based Damage Assessment of Existing Structures. IJCAI 1981: 837-842 - James S. Bennett, Clifford R. Hollander:
DART: An Expert System for Computer Fault Diagnosis. IJCAI 1981: 843-845 - Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath:
The DIPMETER ADVISOR: Interpretation of Geologic Signals. IJCAI 1981: 846-849 - Werner Horn, Walter Buchstaller, Robert Trappl:
Knowledge Structure Definition for an Expert System in Primary Medical Care. IJCAI 1981: 850-852 - Sholom M. Weiss, Casimir A. Kulikowski, Robert S. Galen:
Developing Microprocessor Based Expert Models for Instrument Interpretation. IJCAI 1981: 853-855 - Jeffrey A. Barnett:
Computational Methods for a Mathematical Theory of Evidence. IJCAI 1981: 868-875 - Edward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs:
ONCOCIN: An Expert System for Oncology Protocol Management. IJCAI 1981: 876-881 - Harry C. Reinstein, Janice S. Aikins:
Application Design: Issues in Expert System Architecture. IJCAI 1981: 888-892 - Ramesh S. Patil, Peter Szolovits, William B. Schwartz:
Causal Understanding of Patient Illness in Medical Diagnosis. IJCAI 1981: 893-899 - John K. Tsotsos:
Temporal Event Recognition: An Application to Left Ventricular Performance. IJCAI 1981: 900-907 - John K. Kastmer, Sholom M. Weiss:
A Precedence Scheme for Selection and Explanation of Therapies. IJCAI 1981: 908-909 - T. Koyama, S. Kaihara, T. Minamikawa, T. Kurokawa:
Time-Oriented Features for Medical Consultation Systems. IJCAI 1981: 910-912 - Ira P. Goldstein, Daniel G. Bobrow:
Layered Networks as a Tool for Software Development. IJCAI 1981: 913-919 - Michael Deering, Joseph Faletti, Robert Wilensky:
PEARL - A Package for Efficient Access to Representations in LISP. IJCAI 1981: 930-932 - Kenneth M. Kahn:
UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I. IJCAI 1981: 933-939 - Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Last Steps Towards an Ultimate PROLOG. IJCAI 1981: 947-948 - Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno:
Concurrent LISP on a Multi-Micro-Processor System. IJCAI 1981: 949-954 - David Elliot Shaw:
NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing. IJCAI 1981: 961-963 - Joachim H. Laubsch, Marc Eisenstadt:
Domain Specific Debugging Aids for Novice Programmers. IJCAI 1981: 964-969 - Elliot Soloway:
Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers. IJCAI 1981: 975-977 - Frank Zdybel, Norton Greenfeld, Martin D. Yonke, Jeff Gibbons:
An Information Presentation System. IJCAI 1981: 978-984 - Chuck Rieger, Richard J. Wood, Elizabeth Allen:
Large Human-Machine Information Spaces. IJCAI 1981: 985-991 - F.-Y. Villemin:
PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces. IJCAI 1981: 1004-1006 - Koichi Furukawa:
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures. IJCAI 1981: 1010-1015 - Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud:
Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. IJCAI 1981: 1016-1023 - Shmuel Katz, Ruth Zimmerman:
An Advisory System for Developing Data Representations. IJCAI 1981: 1030-1036 - Ulrich Bartels, Walter G. Olthoff, Peter Raulefs:
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. IJCAI 1981: 1037-1043 - Charles Rich:
A Formal Representation for Plans in the Programmers Apprentice. IJCAI 1981: 1044-1052 - B. Chandrasekaran, Sanjay Mittal, Jack W. Smith:
MDX and Related Medical Decision-Making Systems. IJCAI 1981: 1055 - Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Demonstrating PROLOG on APPLE II. IJCAI 1981: 1056 - Michael G. Dyer, Thomas C. Wolf, Martin Korsin:
BORIS - An In-Dept Understander of Narratives. IJCAI 1981: 1057 - Mark S. Fox:
Factory Modelling, Simulation, and Scheduling in the Intelligent Management System. IJCAI 1981: 1058 - John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle:
MARK I Robot. IJCAI 1981: 1065 - Walton A. Perkins:
KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads. IJCAI 1981: 1066 - Eugene Charniak:
Six Topics in Search of a Parser: An Overview of AI Language Research. IJCAI 1981: 1079-1087 - Donald A. Norman:
A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms. IJCAI 1981: 1097-1101 - Steven W. Zucker:
Computer Vision and Human Perception: An Essay on the Discovery of Constraints. IJCAI 1981: 1102
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