Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 6
Volume 6, Number 1, March 1975
- Arthur J. Nevins:
Plane Geometry Theorem Proving Using Forward Chaining. 1-23 - Arthur J. Nevins:
A Relaxation Approach to Splitting in an Automatic Theorem Prover. 25-39 - Laurent Siklóssy, John W. Roach:
Model Verification and Improvement Using DISPROVER. 41-52 - Yorick Wilks:
A Preferential, Pattern-Seeking, Semantics for Natural Language Inference. 53-74 - Robert M. Haralick, Knut Ripken:
An Associative-Categorical Model of Word Meaning. 75-99
Volume 6, Number 2, June 1975
- Daniel H. Fishman, Jack Minker:
Pi-Representation: A Clause Representation for Parallel Search. 103-127 - A. Patricia Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone:
A Versatile System for Computer-Controlled Assembly. 129-156 - A. Patricia Ambler, Robin J. Popplestone:
Inferring the Positions of Bodies from Specified Spatial Relationships. 157-174 - Zohar Manna, Richard J. Waldinger:
Knowledge and Reasoning in Program Synthesis. 175-208
- Michael Kassler:
A. Newell, J. Barnett et al., Speech-Understanding Systems. Artif. Intell. 6(2): 209-213 (1975) - Richard C. T. Lee:
D. Michie, On Machine Intelligence. Artif. Intell. 6(2): 213-214 (1975)
Volume 6, Number 3, September 1975
- Elliot B. Koffman, Sumner E. Blount:
Artificial Intelligence and Automatic Programming in CAI. 215-234 - Herbert A. Simon, Joseph B. Kadane:
Optimal Problem-Solving Search: All-Oor-None Solutions. 235-247 - Ira P. Goldstein:
Summary of MYCROFT: A System for Understanding Simple Picture Programs. 249-288
- Leonard Uhr:
Roger C. Schank and Kenneth Mark Colby (editors), Computer Models of Thought and Language. 289-292
Volume 6, Number 4, December 1975
- Donald E. Knuth, Ronald W. Moore:
An Analysis of Alpha-Beta Pruning. 293-326 - Bertram C. Bruce:
Case Systems for Natural Language. 327-360 - G. M. Adelson-Velskiy, Vladimir L. Arlazarov, M. V. Donskoy:
Some Methods of Controlling the Tree Search in Chess Programs. 361-371
- Albert L. Zobrist:
Leonard Uhr, Pattern Recognition, Learning and Thought. 373-376
a service of 
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-04-19 19:20 CEST 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:
