Jack Minker
Papers
1
Total Citations
7
H-Index
1
About
Jack Minker is a foundational figure in logic-based artificial intelligence, whose pioneering work has shaped the field for decades. His research centers on deductive databases, nonmonotonic reasoning, and the integration of logic with AI systems. A seminal contribution is his introduction of the concept of "disjunctive logic programming," which extended classical logic programming to handle incomplete information and disjunctive knowledge—a breakthrough that underpins modern reasoning in AI. His most-cited paper, "Introduction to Logic-Based Artificial Intelligence" (2000), with 7 citations, serves as a key reference for researchers exploring the logical foundations of AI. Beyond this, Minker’s extensive body of work—including his edited volumes on logic programming and nonmonotonic reasoning—has influenced generations of computer scientists. He is also celebrated for his role in advancing the field through leadership in the Association for Logic Programming and his mentorship of numerous students. Minker’s legacy lies in his relentless pursuit of rigorous, logic-driven approaches to AI, making him a cornerstone of the discipline.
Research Focus
Key Achievements
Top Papers
- 1Introduction to Logic-Based Artificial Intelligence7 citations · 2000