Hafiz Mahfooz Ul Haque

According to our database, Hafiz Mahfooz Ul Haque authored at least 23 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Optimizing Patient Monitoring with Reinforcement Learning Based Context-Aware Healthcare Formalism.

Hafiz Mahfooz Ul Haque, -Abdullah, Faiza Tariq, Shahid Yousaf, José Luis Oropeza Rodríguez

Computación y Sistemas (CyS), 2025

A Probabilistic Reasoning-based Multi-agent Formalism for Smart Environment.

Abdullah Abdullah, Hafiz Mahfooz Ul Haque, Zeeshan Saleem, Muneeb Ul Haque, Grigori Sidorov

Computación y Sistemas (CyS), 2025

Semantic Knowledge Based Reinforcement Learning Formalism for Smart Learning Environments.

Taimoor Hassan, Ibrar Hussain, Hafiz Mahfooz Ul Haque, Hamid Turab Mirza, Muhammad Nadeem Ali, Byung-Seo Kim

Comput. Mater. Continua, 2025

2024

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., August, 2024

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, October, 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

Modeling belief-desire-intention reasoning agents for situation-aware formalisms.

Hafiz Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan

Concurr. Comput. Pract. Exp., 2023

Contextual defeasible reasoning framework for heterogeneous knowledge sources.

Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, Ijaz Uddin

Concurr. Comput. Pract. Exp., 2023

2022

A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System.

Makia Nazir, Hafiz Mahfooz Ul Haque, Kiran Saleem

Mob. Networks Appl., 2022

2021

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

2020

Modelling Situation-Aware Formalism Using BDI Reasoning Agents.

Kiran Saleem, Hafiz Mahfooz Ul Haque

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2020

Contextual Defeasible Reasoning Framework for Heterogeneous Systems.

Salwa Muhammad Akhtar, Hafiz Mahfooz Ul Haque

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2020

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

Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments.

Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, Muneeb Ul Haque

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

A context-aware reasoning framework for heterogeneous systems.

Hafiz Mahfooz Ul Haque, Sajid Ullah Khan

Proceedings of the International Conference on Advancements in Computational Sciences, 2018

2017

A formal approach to modelling and verification of context-aware systems.

Hafiz Mahfooz Ul Haque

PhD thesis, 2017

A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems.

Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque

Mob. Networks Appl., 2017

2016

Resource-Bounded Context-Aware Applications: A Survey and Early Experiment.

Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat

Proceedings of the Nature of Computation and Communication, 2016

Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources.

Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

2015

Modeling and verifying context-aware non-monotonic reasoning agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

A Logical Framework for the Representation and Verification of Context-aware Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Mob. Networks Appl., 2014

A Logic for Context-Aware Non-monotonic Reasoning Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Proceedings of the Human-Inspired Computing and Its Applications, 2014

2013

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui

Proceedings of the Context-Aware Systems and Applications, 2013