default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 2

> Home > Journals > Artificial Intelligence

Refine list

refinements active!

zoomed in on 14 of 14 records

view refined list in

export refined list as

showing all 14 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 2, Number 1, Spring 1971

- view
  authority control:
- export record
  dblp key:
  - journals/ai/ColbyWH71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ColbyWH71
Kenneth Mark Colby, Sylvia Weber, Franklin Dennis Hilf:
Artificial Paranoia. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LuckhamN71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LuckhamN71
David C. Luckham, Nils J. Nilsson:
Extracting Information from Resolution Proof Trees. 27-54
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Bledsoe71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Bledsoe71
W. W. Bledsoe:
Splitting and Reduction Heuristics in Automatic Theorem Proving. 55-77
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Clowes71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Clowes71
M. B. Clowes:
On Seeing Things. 79-116
no results

Volume 2, Number 2, Fall 1971

- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChangS71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChangS71
Chin-Liang Chang, James R. Slagle:
An Admissible and Optimal Algorithm for Searching AND/OR Graphs. 117-128
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Sandewall71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Sandewall71
Erik Sandewall:
Formal Methods in the Design of Question-Answering Systems. 129-145
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Kling71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Kling71
Rob Kling:
A Paradigm for Reasoning by Analogy. 147-178
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Morgan71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Morgan71
Charles G. Morgan:
Hypothesis Generation by Machine. 179-187
no results

Volume 2, Number 3/4, Winter 1971

- view
  authority control:
- export record
  dblp key:
  - journals/ai/FikesN71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FikesN71
Richard Fikes, Nils J. Nilsson:
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. 189-208
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Sloman71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Sloman71
Aaron Sloman:
Interactions Between Philosophy and Srtificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Ontelligence. 209-225
- view
  authority control:
- export record
  dblp key:
  - journals/ai/KowalskiK71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/KowalskiK71
Robert A. Kowalski, Donald Kuehner:
Linear Resolution with Selection Function. 227-260
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Norton71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Norton71
Lewis M. Norton:
Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality. 261-284
- view
  authority control:
- export record
  dblp key:
  - journals/ai/WatermanN71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/WatermanN71
Donald A. Waterman, Allen Newell:
Protocol Analysis as a Task for Artificial Intelligence. 285-318
- view
  authority control:
- export record
  dblp key:
  - journals/ai/WillP71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/WillP71
Peter M. Will, Keith S. Pennington:
Grid Coding: A Preprocessing Technique for Robot and Machine Vision. 319-329
no results

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.