Concepedia

Cordell Green

CG

Statistics

Publications

9

Citations

406

H-Index

9

Active since

1975

Affiliations

Stanford University(Current)

Kestrel Institute

Cordell Green is an author at Stanford University specializing in computer science, computing, and knowledge representation.

Publications per year

1975–2010

9

Publications

9

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

Cordell Green · 2010 · 117 citations

, , +15

On program synthesis knowledge

Cordell Green, D Barstow · Artificial Intelligence · 1978 · 76 citations

, , +6

The design of the PSI program synthesis system

Cordell Green · International Conference on Software Engineering · 1976 · 65 citations

, , +13

A summary of the PSI program synthesis system

Cordell Green · 1977 · 35 citations

, , +13

Intelligent Systems and Formal Methods in Software Engineering

Bernhard Beckert, Tony Hoare, Reiner Hähnle et al. · IEEE Intelligent Systems · 2006 · 34 citations

, , +11

1–5 of 9