Anthony J. Bonner

Papers

Total Citations

H-Index

About

Anthony J. Bonner is a computer scientist whose work bridges logic, databases, and artificial intelligence, with a particular focus on transaction logic and automated planning. His research explores how logical formalisms can model and reason about complex, dynamic systems—especially those involving actions, change, and knowledge. Bonner’s most cited paper, "Planning with Transaction Logic" (2014), introduces a novel framework that combines transaction logic with planning, enabling agents to generate and execute sequences of actions in a logically coherent manner. This work has garnered 9 citations, reflecting its niche but significant impact on the intersection of deductive databases and AI planning. Beyond this, Bonner has contributed to the theory of logic programming, hypothetical reasoning, and the semantics of updates in databases. His research is notable for its rigorous formal foundations and practical implications for intelligent systems, making it a valuable resource for students and researchers interested in logic-based AI, database theory, and automated reasoning. Bonner’s work continues to influence how we think about the logical underpinnings of action and change in computational systems.