Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar3. IJCAI 1973: Standford, California, USA
Nils J. Nilsson:
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, August 20-23, 1973. William Kaufmann 1973
Theory of Heuristic Search
- Ira Pohl:
The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. IJCAI 1973: 12-17
Theorem Proving and Logic I
- Jack Minker, Daniel H. Fishman, James R. McSkimin:
The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System. IJCAI 1973: 31-40 - Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem-Proving. IJCAI 1973: 41-46
Applications and Implementations of AI
- Bruce G. Buchanan, N. S. Sridharan:
Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects. IJCAI 1973: 67-76 - Elliot B. Koffman, Sumner E. Blount:
Artificial Intelligence and Automatic Programming in CAI. IJCAI 1973: 86-94 - Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum:
Forecasting and Assessing the Impact of Artificial Intelligence on Society. IJCAI 1973: 105-120
Theorem Proving and Logic II
- Donald W. Loveland, Mark E. Stickel:
A Hole in Goal Trees: Some Guidance from Resolution Theory. IJCAI 1973: 153-161 - Ryszard S. Michalski:
Discovering Classification Rules Using variable-Valued Logic System VL1. IJCAI 1973: 162-172
Natural Language: Speech
- Charles C. Tappert, N. R. Dixon:
A Procedure for Adaptive Control of the Interaction Between Acoustic Classification and Linguistic Decoding in Automatic Recognition of Continuous Speech. IJCAI 1973: 173-184 - Dabbala Rajagopal Reddy, Lee D. Erman, R. D. Fenneli, Richard B. Neely:
The Hearsay Speech Understanding System: An Example of the Recognition Process. IJCAI 1973: 185-193 - Lee D. Erman, R. D. Fenneli, Victor R. Lesser, Dabbala Rajagopal Reddy:
System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI. IJCAI 1973: 194-199 - William A. Woods, John Makhoul:
Mechanical Inference Problems in Continuous Speech Understanding. IJCAI 1973: 200-207
Formalisms for AI
- Erik Sandewall:
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI 1973: 230-234 - Carl Hewitt, Peter Boehler Bishop, Richard Steiger:
A Universal Modular ACTOR Formalism for Artificial Intelligence. IJCAI 1973: 235-245 - Daniel G. Bobrow:
A Model for Control Structures for Artificial Intelligence Programming Languages. IJCAI 1973: 246-254
Natural Language: Systems
- Roger C. Schank, Neil M. Goldman, Charles J. Rieger III, Christopher Riesbeck:
MARGIE: Memory Analysis Response Generation, and Inference on English. IJCAI 1973: 255-261 - Gary G. Hendrix, C. W. Thompson, Jonathan Slocum:
Language Processing Via Canonical Verbs and Semantic Models. IJCAI 1973: 262-269 - Horace Enea, Kenneth Mark Colby:
Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. IJCAI 1973: 278-284 - Makoto Nagao, Jun'ichi Tsujii:
Mechanism of Deduction in a Question-Answering System with Natural Language Input. IJCAI 1973: 285-290
Robot Implementations
- Boris M. Dobrotin, Victor Scheinman:
Design of a Computer Controlled Manipulator for Robot Research. IJCAI 1973: 291-297 - A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone:
A Versatile Computer-Controlled Assembly System. IJCAI 1973: 298-307 - Richard A. Lewis, Antal K. Bejczy:
Planning Considerations for a Roving Robot with Arm. IJCAI 1973: 308-316 - D. E. Okhotsimsky, Alexander K. Platonov:
Control Algorithm of the Walker Climbing Over Obstacles. IJCAI 1973: 317-323 - Michael H. Smith, L. Stephen Coles:
Design of a Low Cost, General Purpose Robot. IJCAI 1973: 324-336
Natural Language: Semantics and Parsing
- James R. Carbonell, Allan M. Collins:
Natural Semantics in Artificial Intelligence. IJCAI 1973: 344-351 - Aravind K. Joshi, Ralph M. Weischedel:
Some Frills for the Modal Tic-Tac-Toe of Davies and Isard: Semantics of Predicate Complement Constructions. IJCAI 1973: 352-355 - Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman:
Semantic Modeling for Deductive Question-Answering. IJCAI 1973: 356-363
Robot Problem Solving
- Laurent Siklóssy, John W. Roach:
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. IJCAI 1973: 383-387 - Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto:
Robot Planning System Based on Problem Solvers. IJCAI 1973: 388-395 - Laurent Siklóssy, J. Dreussi:
An Efficient Robot Planner which Generates Its Own Procedures. IJCAI 1973: 423-430
Psychology and AI
- Donald A. Waterman, Allen Newell:
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. IJCAI 1973: 431-445 - David E. Rumelhart, Donald A. Norman:
Active Semantic Networks as a Model of Human Memory. IJCAI 1973: 450-457 - Charles F. Schmidt, John D'Addamio:
A Model of the Common-Sense Theory of Intention and Personal Causation. IJCAI 1973: 465-471
Automatic Programming
- John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs. IJCAI 1973: 479-485 - Lenhart K. Schubert:
Iterated Limiting Recursion and the Program Minimization Problem. IJCAI 1973: 513-523
Computer Vision
- Frank O'Gorman, M. B. Clowes:
Finding Picture Edges through Collinearity of Feature Points. IJCAI 1973: 543-555 - Fumiaki Tomita, Masahiko Yachida, Saburo Tsuji:
Detection of Homogeneous Regions by Structural Analysis. IJCAI 1973: 564-571 - Yoram Yakimovsky, Jerome A. Feldman:
A Semantics-Based Decision Theory Region Analyser. IJCAI 1973: 580-588
General Problem Solving
- Gregory Dean Gibbons:
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language. IJCAI 1973: 589-600 - Stewart N. T. Shen, Edward R. Jones:
A Number Theory Approach to Problem Representation and Solution. IJCAI 1973: 606-611 - Chitoor V. Srinivasan:
The Architecture of Coherent Information System: A General Problem Solving System. IJCAI 1973: 618-628
Perception for Robots
- Ramakant Nevatia, Thomas O. Binford:
Structured Descriptions of Complex Objects. IJCAI 1973: 641-647 - Irwin Sobel:
On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. IJCAI 1973: 648-657 - Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori:
Pattern Classification of the Grasped Object by the Artificial Hand. IJCAI 1973: 665-670
Hardware and Software for AI
- Lawrence G. Tesler, Horace Enea, David Canfield Smith:
The LISP7O Pattern Matching System. IJCAI 1973: 671-676 - David Canfield Smith, Horace Enea:
Backtracking in MLISP2: an efficient backtracking method for LISP. IJCAI 1973: 677-685 - John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos:
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. IJCAI 1973: 691-696
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