![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.