Paul Fodor

Papers

Total Citations

H-Index

About

Paul Fodor is a leading researcher in logic programming, artificial intelligence, and knowledge representation, with a focus on extending classical logic to handle complex, real-world problems. His most notable contribution is the development of Transaction Logic with Defaults and Argumentation Theories, a powerful formalism that integrates declarative and procedural knowledge. This work, published in 2011 with 7 citations, has proven instrumental in modeling robot movements, action specification, and AI planning, bridging the gap between logical reasoning and dynamic systems. Fodor also played a key role in the 35th International Conference on Logic Programming (ICLP 2019), serving as a technical communications editor and contributing to the premier global forum for logic programming research, which has shaped foundational areas like semantics, nonmonotonic reasoning, and formalisms. His work has influenced both theoretical advances and practical applications, making him a respected figure in the logic programming community. With a career dedicated to pushing the boundaries of logical frameworks, Fodor continues to inspire researchers and students exploring the intersection of AI, reasoning, and computational logic.