Cordell Green
Papers
2
Total Citations
749
H-Index
2
About
Cordell Green is a pioneering figure in artificial intelligence, best known for his foundational work in automated reasoning and planning. His key research areas include theorem proving, problem solving, and the development of deductive question-answering systems. Green’s most significant contribution is the application of theorem proving to problem solving, where he demonstrated how an extension of the resolution proof procedure could be used to construct solutions for problems involving state transformations. His seminal 1969 paper on this topic has garnered over 286 citations, while a later version from 1981 has accumulated over 463 citations, underscoring its lasting impact on the field. This work laid the groundwork for modern AI planning and automated reasoning systems. Green’s research explored multiple problem representations and provided detailed solutions to sample problems, effectively bridging the gap between logical deduction and practical computation. His achievements have influenced generations of researchers in AI, robotics, and software engineering. For students and scholars, Green’s work remains a cornerstone of how machines can reason and act autonomously.
Research Focus
Key Achievements
Top Papers
- 1
- 2Application of Theorem Proving to Problem Solving286 citations · 1969