Hafiz Mahfooz Ul Haque

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

Collaborative distances:

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

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

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