Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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. 1-6 - Douglas Wong:
Language Comprehension in a Problem Solver. 7-12 - Michael Lebowitz:
Cancelled Due To Lack Of Interest. 13-15 - Natlie Dehn:
Story Generation After TALE-SPIN. 16-18 - Rachel Reichman:
Modeling Informal Debates. 19-24 - Robert Wilensky:
A Knowledge-Based Approach to Language Processing: A Progress Report. 25-30 - Philip R. Cohen:
The Need for Referent Identification as a Planned Action. 31-36 - Michael C. Dyer:
Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid. 37-42 - Margaret King:
Design Characteristics of a Machine Translation System. 43-46 - C. J. Yang:
High Level Memory Structures and Text Coherence in Translation. 47-48 - Heinz Marburger, Bernd Neumann, Hans-Joachim Novak:
Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene. 49-51 - Yigal Arens:
Using Language and Context in the Analysis of Text. 52-57 - Rod McGuire, Lawrence Birnbaum, Margot Flowers:
Opportunistic Processing in Arguments. 58-60 - Eric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber:
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response. 61-63 - Daniel Kayser, Daniel Coulon:
Variable-Depth Natural Language Understanding. 64-66 - Gerald DeJong:
Generalizations Based on Explanations. 67-69 - Steven L. Small:
Viewing Word Expert Parsing as Linguistic Theory. 70-76 - Norihiro Abe, Itsuya Soga, Saburo Tsuji:
A Plot Understanding System on Reference to Both Image and Language. 77-84 - Jerry R. Hobbs:
Metaphor Interpretation as Selective Inferencing. 85-91 - Mallory Selfridge:
A Computer Model of Child Language Acquisition. 92-96 - John R. Anderson:
A Theory of Language Acquisition Based on General Learning Principles. 97-103 - Claude Sammut:
Concept Learning by Experiment. 104-105 - V. Sembugamoorthy:
Analogy-Based Acquisition of Utterances Relating to Temporal Aspects. 106-108 - S. Oakey, R. C. Cawthorn:
Inductive Learning of Pronunciation Rules by hypothesis Testing and Correction. 109-114 - Christopher Riesbeck:
Failure-Driven Reminding for Incremental Learning. 115-120 - Pat Langley, Gary L. Bradshaw, Herbert A. Simon:
BACON.5: The Discovery of Conservation Laws. 121-126 - Tom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji:
Learning Problem-Solving Heuristics Through Practice. 127-134 - David Wilczynski:
Knowledge Acquisition in the Consul System. 135-140 - Regine Loisel, Yves Kodratoff:
Learning (Complex) Structural Descriptions from Examples. 141-143 - Leonard P. Wesley:
Learning Racquetball by Constrained Example Generation. 144-146 - Jaime G. Carbonell:
A Computational Model of Analogical Problem Solving. 147-152 - Fritz Wysotzki, Werner Kolbe, Joachim Selbig:
Concept Learning by Structured Examples - An Algebraic Approach. 153-158 - Alan H. Bond, David H. Mott:
Learning of Sensory-Motor Schemas in a Mobile Robot. 159-161 - Edwina L. Rissland, Elliot Soloway:
Constrained Example Generation: A Testbed for Studying Issues in Learning. 162-164 - John R. Anderson:
Tuning of Search of the Problem Space for Geometry Proofs. 165-170 - Perry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata:
AUTOPILOT: A Distributed Planner for Air Fleet Control. 171-177 - Göran Hagert, Sten-Åke Tärnlund:
Deductive Modeling of Human Cognition. 178-183 - Wendy G. Lehnert, John B. Black, Brian J. Reiser:
Summarizing Narratives. 184-189 - Jerry R. Hobbs, Michael Agar:
Text Plans and World Plans in Natural Discourse. 190-196 - Aaron Sloman, Monica Croucher:
Why Robots Will Have Emotions. 197-202 - Candace L. Sidner, David J. Israel:
Recognizing Intended Meaning and Speakers' Plans. 203-208 - Brian J. Reiser:
Character Tracking and the Understanding of Narratives. 209-211 - Sarah E. Goldin, Philip Klahr:
Learning And Abstraction In Simulation. 212-214 - Paul E. Johnson, William B. Thompson:
Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving. 215-217 - Brian V. Funt:
Multi-Processor Rotation and Comparison of Objects. 218-220 - James F. Allen:
An Interval-Based Representation of Temporal Knowledge. 221-226 - Janet L. Kolodner:
Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You? 227-233 - Michael C. Dyer:
\RESTAURANT Revisited or "Lunch with BORIS". 234-236 - Harald Trost, Ingeborg Steinacker:
The Role of Roles: Some Aspects of Real World Knowledge Representation. 237-239 - Hector J. Levesque:
The Interaction with Incomplete Knowledge Bases: A Formal Treatment. 240-245 - L. Thorne McCarty, N. S. Sridharan:
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. 246-253 - Alexander Borgida:
On the Definition of Specialization Hierarchies for Procedures. 254-256 - Scott E. Fahlman, David S. Touretzky, Walter van Roggen:
Cancellation in a Parallel Semantic Network. 257-263 - Zsuzsanna Markusz:
Knowledge Representation of Design in Many-Sorted Logic. 264-269 - Raymond Reiter, Giovanni Criscuolo:
On Interacting Defaults. 270-276 - James L. Weiner, Martha Palmer:
The Design Of A System For Designing Knowledge Representation Systems. 277-282 - Robert Neches:
HPM: A Computational Formalism for Heuristic Procedure Modification. 283-288 - Lynette Hirschman, Guy Story:
Representing Implicit And Explicit Time Relations In Narrative. 289-295 - Paul J. Kline:
The Superiority of Relative Criteria in Partial Matching and Generalization. 296-303 - Mary Angela Papalaskaris, Lenhart K. Schubert:
PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs. 304-309 - Malik Ghallab:
Decision Trees For Optimizing Pattern - Matching Algorithms in Production Systems. 310-312 - Mark S. Fox:
Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition. 313-318 - Thomas D. Garvey, John D. Lowrance, Martin A. Fischler:
An Inference Technique for Integrating Knowledge from Disparate Sources. 319-325 - Kenneth D. Forbus:
Qualitative Reasoning about Physical Processes. 326-330 - Stanley J. Rosenschein:
Plan Synthesis: A Logical Perspective. 331-337 - Raimund Seidel:
A New Method for Solving Constraint Satisfaction Problems. 338-342 - Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly:
Representations for Reasoning about Digital Circuits. 343-344 - Dennis F. Kibler, Paul Morris:
Don't Be Stupid. 345-347 - Michael Lebowitz:
The Nature of Generalization in Understanding. 348-353 - Richard H. Granger:
Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation. 354-361 - Richard E. Cullingford, Myron W. Krueger, Mallory Selfridge, Marie A. Bienkowski:
Towards Automating Explanations. 362-367 - Donald P. McKay, Stuart C. Shapiro:
Using Active Connection Graphs for Reasoning with Recursive Rules. 368-374 - William Mark:
Representation and Inference in the Consul System. 375-381 - Andrew Eaas:
Reasoning about Deduction with Unknown Constants. 382-384 - Aravind K. Joshi, Scott Weinstein:
Control of Inference: Role of Some Aspects of Discourse Structure-Centering. 385-387 - Gregory B. Taylor, Stephen B. Whitehill:
A Belief Representation for Understanding Deception. 388-393 - Virginia Teller, Hartvig Dahl:
The Framework for a Model of Psychoanalytic Inference. 394-400 - Gian Piero Zarri:
Building the Inference Component of an Historical Information Retrieval System. 401-408 - Lee D. Erman, Philip London, Stephen Fickas:
The Design and an Example Use of Hearsay-III. 409-415 - Philip J. Hayes:
Anaphora for Limited Domain Systems. 416-422 - Anatole Gershman:
Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant. 423-425 - Teiji Furugori:
Computing a Map from Michi-Annai-Bun or Written Descriptions. 426-428 - G. Goerx:
GLP: A General Linguistic Processor. 429-431 - Philip J. Hayes, Jaime G. Carbonell:
Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update. 432-439 - Leonardo Lesmo, Daniela Magnani, Pietro Torasso:
A Deterministic Analyzer for the Interpretation of Natural Language Commands. 440-442 - Branimir Boguraev, Karen Sparck Jones:
A General Semantic Analyser for Data Base Access. 443-445 - Ehud Y. Shapiro:
An Algorithm that Infers Theories from Facts. 446-451 - David J. Israel, Ronald J. Brachman:
Distinctions and Confusions: A Catalogue Raisonne. 452-459 - Ryszard S. Michalski, Robert E. Stepp:
An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy. 460-465 - Alan Borning, Alan Bundy:
Using Matching in Algebraic Equation Solving. 466-471 - Robert Veroff, Lawrence J. Henschen:
Application of Automatic Transformations to Program Verification. 472-479 - Norbert Eisinger:
Subsumption And Connection Graphs. 480-486 - Leonard Friedman:
Extended Plausible Inference. 487-495 - Kurt Konolige:
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems. 496-503 - Giuseppe Attardi, Maria Simi:
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation. 504-510 - Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther:
The Markgraf Karl Refutation Procedure. 511-518 - Dennis de Champeaux, Jos de Bruin:
Symbolic Evaluation of LISP Functions with Side Effects for Verification. 519-524 - Lawrence J. Henschen, Shamim A. Naqvi:
An Improved Filter for Literal Indexing in Resolution Systems. 525-529 - Martin Davis:
Obvious Logical Inferences. 530-531 - Jörg H. Siekmann, Peter Szabó:
Universal Unification and Regular Equational ACFM Theories. 532-538 - Vincent J. Digricoli:
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. 539-547 - Pierre Lescanne:
Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems. 548-550 - Alan Bundy, Bernard Silver:
Homogenization: Preparing Equations for Change of Unknown. 551-553 - Judea Pearl:
Heuristic Search Theory: Survey of Recent Results. 554-562 - Michael P. Georgeff:
Search Methods Using Heuristic Strategies. 563-568 - Laveen N. Kanal, Vipin Kumar:
Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results. 569-571 - László Méro:
Some Remarks on Heuristic Search Algorithms. 572-574 - William A. Kornfeld:
The Use of Parallelism to Implement a Heuristic Search. 575-580 - Hans J. Berliner:
An Examination of Brute Force Intelligence. 581-587 - Cynthia A. Brown, Paul Walton Purdom Jr.:
How to Search Efficiently. 588-594 - Katsushi Ikeuchi:
Recognition of 3-D Objects Using the Extended Gaussian Image. IJCAI 1981: 595-600 - Masaki Oshima, Yoshiaki Shirai:
Object Recognition Using Three-Dimensional Information. IJCAI 1981: 601-606 - Dana H. Ballard, Daniel Sabbah:
On Shapes. IJCAI 1981: 607-612 - 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 - H. Harlyn Baker, Thomas O. Binford:
Depth from Edge and Intensity Based Stereo. IJCAI 1981: 631-636 - 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 - Frank Claser:
Computing Optic Flow. IJCAI 1981: 644-647 - 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 C. Jain:
Shape from Shading for Surfaces with Texture and Specularity. IJCAI 1981: 652-657 - Jean-Daniel Boissonnat, Olivier D. Faugeras:
Triangulation of 3-D Objects. IJCAI 1981: 658-660 - Hans-Hellmut Nagel, Bernd Neumann:
On 3D Reconstruction from Two Perspective Views. IJCAI 1981: 661-663 - Joseph O'Rourke:
Polyhedra of Minimal Area as 3D Object Models. IJCAI 1981: 664-666 - Donald B. Gennery:
A Feature-Based Scene Matcher. IJCAI 1981: 667-673 - Bruce D. Lucas, Takeo Kanade:
An Iterative Image Registration Technique with an Application to Stereo Vision. IJCAI 1981: 674-679 - Zdenek Zdráhal:
A Structural Method of Scene Analysis. IJCAI 1981: 680-682 - 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 - Daryl T. Lawton:
Optic Flow Field Structure And Processing Image Motion. IJCAI 1981: 700-703 - 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 - Masahiko Yachida:
Determining Velocity Map By 3-D Iterative Estimation. IJCAI 1981: 716-718 - Bernd Radig:
Inferential Region Extraction in TV-Sequences. IJCAI 1981: 719-721 - Daniel Sabbah:
Design Of A Highly Parallel Visual Recognition System. IJCAI 1981: 722-727 - Fumiaki Tomita:
Hierarchical Description of Textures. IJCAI 1981: 728-733 - Kenneth R. Sloan Jr.:
Dynamically Quantized Pyramids. IJCAI 1981: 734-736 - Joseph O'Rourke:
Dynamically Quantized Spaces for Focusing the Hough Transform. IJCAI 1981: 737-739