Reza Basseda

Papers

Total Citations

H-Index

About

Reza Basseda is a computer scientist whose research lies at the intersection of artificial intelligence, logic programming, and automated planning. His most influential work, "Planning with Transaction Logic" (2014), introduces a novel framework that combines classical planning with the declarative power of Transaction Logic, enabling agents to reason about actions, state changes, and complex procedural knowledge in a unified manner. This contribution has garnered 9 citations, reflecting its niche but growing impact in the AI planning community. Basseda’s research addresses fundamental challenges in representing and executing plans in dynamic environments, bridging theoretical logic with practical agent-based systems. His work is particularly notable for its emphasis on integrating logical reasoning with real-world constraints, offering a pathway toward more robust and explainable AI. Beyond this key paper, Basseda has explored topics such as knowledge representation, multi-agent systems, and temporal reasoning, contributing to the broader field of computational logic. For students and researchers, his work exemplifies how formal logic can be harnessed to solve complex planning problems, making it a valuable reference for those interested in the intersection of AI, logic, and autonomous decision-making.