John-Jules Meyer

Papers

Total Citations

H-Index

About

John-Jules Meyer is a leading figure in artificial intelligence and formal methods, whose work bridges the gap between theoretical computer science and practical AI systems. His research primarily spans agent-based systems, deontic logic, and the formal specification of autonomous agents. Meyer’s major contributions include pioneering the use of modal and temporal logics to model rational agency, particularly through the development of the KARO framework (Knowledge, Abilities, Results, and Opportunities), which provides a rigorous foundation for reasoning about intelligent agents. This work has been instrumental in advancing the design of autonomous systems, from robotics to multi-agent coordination. While his most-cited paper, "Tools and Education towards Formal Methods Practice" (2003), has garnered modest attention, his broader body of work—including influential publications on agent-oriented programming and normative systems—has earned thousands of citations, reflecting his lasting impact on the field. Meyer has also been a key advocate for integrating formal methods into computer science education, shaping how future researchers approach verification and reasoning in AI. His contributions have earned him recognition as a pioneer in agent-based computing, making him a vital reference for students and scholars exploring the intersection of logic, agency, and system design.