Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Artificial Intelligence, Volume 12

> Home > Journals > Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 12, Number 1, May 1979

- view
  authority control:
- export record
  dblp key:
  - journals/ai/Bauer79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Bauer79
Michael A. Bauer:
Programming by Examples. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Berliner79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Berliner79
Hans J. Berliner:
The B^* Tree Search Algorithm: A Best-First Proof Procedure. 23-40
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Sugihara79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Sugihara79
Kokichi Sugihara:
Range-Data Analysis Guided by a Junction Dictionary. 41-69

Volume 12, Number 2, August 1979

- view
  authority control:
- export record
  dblp key:
  - journals/ai/Barstow79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Barstow79
David R. Barstow:
An Experiment in Knowledge-Based Automatic Programming. 73-119
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Davis79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Davis79
Randall Davis:
Interactive Transfer of Expertise: Acquisition of New Inference Rules. 121-157
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChangS79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChangS79
Chin-Liang Chang, James R. Slagle:
Using Rewriting Rules for Connection Graphs to Prove Theorems. 159-178
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Stockman79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Stockman79
George C. Stockman:
A Minimax Algorithm Better than Alpha-Beta? 179-196

Book Review

- view
  authority control:
- export record
  dblp key:
  - journals/ai/Young79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Young79
Richard Young:
R. Hayes-Roth and D. A. Waterman, Pattern-Directed Inference Systems. 197-202

Volume 12, Number 3, November 1979

- view
  authority control:
- export record
  dblp key:
  - journals/ai/BrownT79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BrownT79
Frank M. Brown, Sten-Åke Tärnlund:
Inductive Reasoning on Recursive Equations. 207-229
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Doyle79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Doyle79
Jon Doyle:
A Truth Maintenance System. 231-272
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Schank79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Schank79
Roger C. Schank:
Interestingness: Controlling Inferences. 273-297

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.