Erik T. Mueller
Papers
1
Total Citations
4
H-Index
1
About
Erik T. Mueller is a leading figure in artificial intelligence, specializing in commonsense reasoning, formal logic, and the computational modeling of human cognition. His most influential work centers on the event calculus, a formalism for reasoning about action and change, where he demonstrated how first-order automated theorem proving can be applied to solve complex narrative and temporal reasoning problems. Mueller’s contributions have significantly advanced the field’s ability to represent and reason about everyday physical and mental events, bridging gaps between logic, natural language understanding, and robotics. His 2005 paper on reasoning in the event calculus, though modestly cited at 4 times, is a foundational reference for researchers working on formal approaches to commonsense knowledge. Mueller is also widely known for his comprehensive book *Commonsense Reasoning*, which remains a definitive resource for students and practitioners. His work has been instrumental in shaping modern AI systems that require robust, human-like understanding of time, causality, and change.
Research Focus
Key Achievements
Top Papers
- 1