Nuhman Ul Haq

Papers

Total Citations

H-Index

About

Nuhman Ul Haq is a researcher focused on artificial intelligence and autonomous systems, with a particular emphasis on logic-based planning for robotic navigation. His most cited work, "Robotic navigation based on logic-based planning" (2017, 4 citations), tackles a fundamental challenge in robotics: enabling autonomous systems to achieve goals without human intervention. By integrating formal logic into navigation algorithms, Haq explores how robots can reason about their environment and make intelligent decisions in real-time. This contribution addresses the critical intersection of AI reasoning and practical robotics, offering a framework for more reliable and self-sufficient robotic behavior. While his citation count reflects an emerging career, his work signals a commitment to foundational problems in autonomous systems—where logic, planning, and real-world implementation converge. Haq’s research is particularly relevant for students and engineers interested in the theoretical underpinnings of robotic autonomy, as it bridges abstract AI concepts with tangible navigation solutions. As the field moves toward more adaptive and reasoning-capable robots, his contributions provide a stepping stone for future advances in intelligent, logic-driven navigation.