Books:
* "The Handbook of Artificial Intelligence" (Editor-in-Chief, 1987): A comprehensive reference work covering various aspects of AI.
* "Artificial Intelligence: An Overview" (Co-author, 1995): An introductory textbook on AI for students and professionals.
* "The Next Big Thing Is Here" (2014): Explores the impact of AI on the future of business and society.
Articles and Papers:
* "The Knowledge Frontier" (1981): A seminal paper introducing the concept of "knowledge representation" in AI.
* "Planning with Constraints" (1981): A significant contribution to the field of AI planning.
* "A System for Reasoning About Software Systems" (1987): Presents a framework for understanding and reasoning about complex software systems.
Other Notable Works:
* Co-founder of Cycorp, Inc. (1984): A leading AI research and development company.
* "The Cyc Project" (1984-Present): A massive, long-term AI project aimed at creating a common-sense knowledge base.
* Inventor of several AI technologies, including "constraint programming" and "knowledge-based systems."
Paul Stefik's work has significantly shaped the field of artificial intelligence, and his writings continue to inspire researchers and practitioners worldwide.