Claudia Schon

Papers

Total Citations

H-Index

About

Claudia Schon is a researcher at the intersection of artificial intelligence and formal logic, specializing in commonsense reasoning and automated theorem proving. Her work bridges the gap between human-like intuitive reasoning and rigorous mathematical proof, with a focus on developing systems that can handle the nuanced, everyday knowledge that traditional logic often struggles to capture. Her most-cited paper, "Commonsense Reasoning Meets Theorem Proving" (2016, 14 citations), introduces innovative methods for integrating commonsense knowledge bases with automated theorem provers, enabling more robust and flexible reasoning in AI. This contribution is particularly significant for advancing natural language understanding and knowledge representation, where machines must navigate ambiguous or implicit information. Schon’s research has implications for fields ranging from robotics to cognitive science, and her work is recognized for its clarity and practical impact. With a growing citation record, she is establishing herself as a key voice in making formal reasoning more accessible and applicable to real-world AI challenges.