00566nam a22001697a 4500 Hard Cover. 005 Hassan, Zara Reasoning about Requirements at Run-time Using AI Planning Techniques / Zara Hassan. Islamabad: SEECS - NUST. 2014. viii, 45 p. : ill. ; 30cm. Ms Thesis. 18721 Dr. Nauman Ahmed Qureshi. 19810 http://10.250.8.41:8080/xmlui/handle/123456789/10119 ddc THE 528198 528198 0 0 ddc 0 0 483431 CL CL THE 2019-09-01 005 CL-T-3262 2019-09-01 2019-09-01 Minute Sheet No. 0929/02/CL/Survey/5 dated 23rd April 2024 E-MIN ID 114741 THE 0 0 ddc 0 005_000000000000000 0 493133 CL CL THE 2019-12-17 0 005 CL-T-2515 2019-12-17 2019-12-17 THE