default search action
3rd 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
- Alberto Martelli, Ugo Montanari:
Additive AND/OR Graphs. 1-11 - Ira Pohl:
The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving. 12-17 - T. Brian Boffey:
Some Theoretical Results Concerning Automated Game-Playing. 18-22 - Larry R. Harris:
The Bandwidth Heuristic Search. 23-30
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. 31-40 - Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem-Proving. 41-46 - David Gelperin:
Deletion-Directed Search in Resolution-Based Proof Procedures. 47-50 - George W. Ernst:
A Definition-Driven Theorem Prover. 51-55 - W. W. Bledsoe, Peter Bruell:
A Man-Machine Theorem-Proving System. 56-66
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. 67-76 - Hans J. Berliner:
Some Necessary Conditions for a Master Chess Program. 77-85 - Elliot B. Koffman, Sumner E. Blount:
Artificial Intelligence and Automatic Programming in CAI. 86-94 - N. S. Sridharan:
Search Strategies for the Task of Organic Chemical Synthesis. 95-104 - Oscar Firschein, Martin A. Fischler, L. Stephen Coles, Jay M. Tenenbaum:
Forecasting and Assessing the Impact of Artificial Intelligence on Society. 105-120
Theorem Proving and Logic II
- John Seely Brown:
Steps Toward Automatic Theory Formation. 121-129 - Alan Bundy:
Doing Arithmetic with Diagrams. 130-138 - Gérard P. Huet:
A Mechanization of Type Theory. 139-146 - Harry E. Pople:
On the Mechanization of Abductive Logic. 147-152 - Donald W. Loveland, Mark E. Stickel:
A Hole in Goal Trees: Some Guidance from Resolution Theory. 153-161 - Ryszard S. Michalski:
Discovering Classification Rules Using variable-Valued Logic System VL1. 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. 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. 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. 194-199 - William A. Woods, John Makhoul:
Mechanical Inference Problems in Continuous Speech Understanding. 200-207 - Donald E. Walker:
Speech Understanding Through Syntactic and Semantic Analysis. 208-215 - William H. Paxton, Ann E. Robinson:
A Parser for a Speech Understanding System. 216-222
Formalisms for AI
- Robert C. Moore:
D-SCRlPT: A Computational Theory of Descriptions. 223-229 - Erik Sandewall:
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. 230-234 - Carl Hewitt, Peter Boehler Bishop, Richard Steiger:
A Universal Modular ACTOR Formalism for Artificial Intelligence. 235-245 - Daniel G. Bobrow:
A Model for Control Structures for Artificial Intelligence Programming Languages. 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. 255-261 - Gary G. Hendrix, Craig W. Thompson, Jonathan Slocum:
Language Processing Via Canonical Verbs and Semantic Models. 262-269 - Yorick Wilks:
Understanding Without Proofs. 270-277 - Horace J. Enea, Kenneth Mark Colby:
Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues. 278-284 - Makoto Nagao, Jun'ichi Tsujii:
Mechanism of Deduction in a Question-Answering System with Natural Language Input. 285-290
Robot Implementations
- Boris M. Dobrotin, Victor Scheinman:
Design of a Computer Controlled Manipulator for Robot Research. 291-297 - A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone:
A Versatile Computer-Controlled Assembly System. 298-307 - Richard A. Lewis, Antal K. Bejczy:
Planning Considerations for a Roving Robot with Arm. 308-316 - D. E. Okhotsimsky, Alexander K. Platonov:
Control Algorithm of the Walker Climbing Over Obstacles. 317-323 - Michael H. Smith, L. Stephen Coles:
Design of a Low Cost, General Purpose Robot. 324-336
Natural Language: Semantics and Parsing
- Eugene Charniak:
Jack and Janet in Search of a Theory of Knowledge. 337-343 - James R. Carbonell, Allan M. Collins:
Natural Semantics in Artificial Intelligence. 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. 352-355 - Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman:
Semantic Modeling for Deductive Question-Answering. 356-363 - Bertram C. Bruce:
Case Structure Systems. 364-371 - Vaughan R. Pratt:
A Linguistics Oriented Programming Language. 372-382
Robot Problem Solving
- Laurent Siklóssy, John W. Roach:
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions. 383-387 - Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto:
Robot Planning System Based on Problem Solvers. 388-395 - Leonard Uhr:
DECIDER-l: A System that Chooses Among Different Types of Acts. 396-401 - Walter Jacobs, Maxine Kiefer:
Robot Decisions Based on Maximizing Utility. 402-411 - Earl D. Sacerdoti:
Planning in a Hierarchy of Abstraction Spaces. 412-422 - Laurent Siklóssy, J. Dreussi:
An Efficient Robot Planner which Generates Its Own Procedures. 423-430
Psychology and AI
- Donald A. Waterman, Allen Newell:
PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. 431-445 - George R. Kiss:
Outlines of a Computer Model of Motivation. 446-449 - David E. Rumelhart, Donald A. Norman:
Active Semantic Networks as a Model of Human Memory. 450-457 - Marc Eisenstadt, Yaakov Kareev:
Toward a Model of Human Game Playing. 458-464 - Charles F. Schmidt, John D'Addamio:
A Model of the Common-Sense Theory of Intention and Personal Causation. 465-471 - Thomas P. Moran:
The Symbolic Nature of Visual Imagery. 472-478
Automatic Programming
- John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs. 479-485 - Robert S. Boyer, J Strother Moore:
Proving Theorems about LISP Functions. 486-493 - Robert Balzer:
A Gobal View of Automatic Programming. 494-499 - Shmuel Katz, Zohar Manna:
A Heuristic Approach to Program Verification. 500-512 - Lenhart K. Schubert:
Iterated Limiting Recursion and the Program Minimization Problem. 513-523 - Ben Wegbreit:
Heuristic Methods for Mechanically Deriving Inductive Assertions. 524-536 - Jared L. Darlington:
Automatic Program Synthesis in Second-Order Logic. 537-542
Computer Vision
- Frank O'Gorman, M. B. Clowes:
Finding Picture Edges through Collinearity of Feature Points. 543-555 - Alan K. Mackworth:
Interpreting Pictures of Polyhedral Scenes. 556-563 - Fumiaki Tomita, Masahiko Yachida, Saburo Tsuji:
Detection of Homogeneous Regions by Structural Analysis. 564-571 - Ruzena Bajcsy:
Computer Description of Textured Surfaces. 572-579 - Yoram Yakimovsky, Jerome A. Feldman:
A Semantics-Based Decision Theory Region Analyser. 580-588
General Problem Solving
- Gregory Dean Gibbons:
POPS: An Application of Heuristic Search Methods to the Processing of a Nondeterministic Programming Language. 589-600 - Robert Balzer:
CASAP: A Testbed for Program Flexibility. 601-605 - Stewart N. T. Shen, Edward R. Jones:
A Number Theory Approach to Problem Representation and Solution. 606-611 - Vadim L. Stefanuk:
On a Local Approach to Representation in Problem Solving. 612-617 - Chitoor V. Srinivasan:
The Architecture of Coherent Information System: A General Problem Solving System. 618-628
Perception for Robots
- Gerald J. Agin, Thomas O. Binford:
Computer Description of Curved Objects. 629-640 - Ramakant Nevatia, Thomas O. Binford:
Structured Descriptions of Complex Objects. 641-647 - Irwin Sobel:
On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes. 648-657 - Richard L. Didday:
Thoughts About a Visually Guided Grasp Reflex. 658-664 - Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori:
Pattern Classification of the Grasped Object by the Artificial Hand. 665-670
Hardware and Software for AI
- Lawrence G. Tesler, Horace J. Enea, David Canfield Smith:
The LISP7O Pattern Matching System. 671-676 - David Canfield Smith, Horace J. Enea:
Backtracking in MLISP2: an efficient backtracking method for LISP. 677-685 - Warren Teitelman:
CLISP - Conversational LISP. 686-690 - John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos:
l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. 691-696 - L. Peter Deutsch:
A LISP Machine with Very Compact Programs. 697
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: