A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque; Rokan Uddin Faruqui (ICCASA, 2013)

A Logic for Context-Aware Non-monotonic Reasoning Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (MICAI (1), 2014)

A Logical Framework for the Representation and Verification of Context-aware Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (Mob. Networks Appl., 2014)

Modeling and verifying context-aware non-monotonic reasoning agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (MEMOCODE, 2015)

Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. - Hafiz Mahfooz Ul Haque; Abdur Rakib; Ijaz Uddin (ICCASA, 2016)

Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. - Ijaz Uddin; Hafiz Mahfooz Ul Haque; Abdur Rakib; Mohamad Rafi Segi Rahmat (ICTCC, 2016)

A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. - Ijaz Uddin; Abdur Rakib; Hafiz Mahfooz Ul Haque (Mob. Networks Appl., 2017)

A formal approach to modelling and verification of context-aware systems. - Hafiz Mahfooz Ul Haque (2017)

A context-aware reasoning framework for heterogeneous systems. - Hafiz Mahfooz Ul Haque; Sajid Ullah Khan (ICACS, 2018)

Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments. - Hafiz Mahfooz Ul Haque; Haidar Zulfiqar; Sajid Ullah Khan; Muneeb Ul Haque (ICCASA/ICTCC, 2018)

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. - Ijaz Uddin; Abdur Rakib; Hafiz Mahfooz Ul Haque; Phan Cong Vinh (Mob. Networks Appl., 2018)

Contextual Defeasible Reasoning Framework for Heterogeneous Systems. - Salwa Muhammad Akhtar; Hafiz Mahfooz Ul Haque (ICCASA/ICTCC, 2020)

Modelling Situation-Aware Formalism Using BDI Reasoning Agents. - Kiran Saleem; Hafiz Mahfooz Ul Haque (ICCASA/ICTCC, 2020)

A context-aware framework for modelling and verification of smart parking systems in urban cities. - Hafiz Mahfooz Ul Haque; Haidar Zulfiqar; Abrar Ahmed; Yasir Ali (Concurr. Comput. Pract. Exp., 2021)

A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. - Makia Nazir; Hafiz Mahfooz Ul Haque; Kiran Saleem (Mob. Networks Appl., 2022)

Contextual defeasible reasoning framework for heterogeneous knowledge sources. - Hafiz Mahfooz Ul Haque; Salwa Muhammad Akhtar; Ijaz Uddin (Concurr. Comput. Pract. Exp., 2023)

Modeling belief-desire-intention reasoning agents for situation-aware formalisms. - Hafiz Mahfooz Ul Haque; Kiran Saleem; Ahmad Salman Khan (Concurr. Comput. Pract. Exp., 2023)

A survey on smart parking systems in urban cities. - Haidar Zulfiqar; Hafiz Mahfooz Ul Haque; Faiza Tariq; Rashad Mahmood Khan (Concurr. Comput. Pract. Exp., 2023)

A context-aware multi-agent reasoning based intelligent assistive formalism. - Shahid Yousaf; Hafiz Mahfooz Ul Haque; Muhammad Atif; Muhammad Adnan Hashmi; Abbas Khalid; Phan Cong Vinh (Internet Things, 2023)

A Semantic-Based Approach to Modelling Smart Indoor Kitchen Garden. - Ijaz Uddin; Abdur Rakib; Mumtaz Ali; Hafiz Mahfooz Ul Haque; Altaf Uddin (Mob. Networks Appl., 2024)