Muhammad Ibtisam Gul

Papers

Total Citations

H-Index

About

Muhammad Ibtisam Gul is a researcher at the intersection of artificial intelligence and autonomous systems, with a primary focus on logic-based planning for robotic navigation. His work addresses a fundamental challenge in robotics: enabling autonomous systems to achieve complex goals without human intervention. In his most-cited paper, "Robotic navigation based on logic-based planning" (2017), Gul presents a practical implementation that integrates formal logic into the decision-making processes of mobile robots, allowing them to reason about their environment and plan efficient paths autonomously. This contribution bridges the gap between theoretical AI planning and real-world robotic applications, demonstrating how logical frameworks can enhance the reliability and adaptability of navigation systems. While his citation count of 4 reflects the niche and emerging nature of this work, Gul's research lays important groundwork for more robust autonomous navigation in unstructured environments. His focus on logic-based approaches offers a principled alternative to purely data-driven methods, appealing to researchers interested in explainable AI and verifiable robotic behavior. Gul's work continues to inspire those seeking to build autonomous systems that are both intelligent and trustworthy.