Follow
Hafiz Mahfooz Ul Haque
Hafiz Mahfooz Ul Haque
Associate Professor, Faculty of Information Technology, University of Central Punjab
Verified email at ucp.edu.pk
Title
Cited by
Cited by
Year
A logic for context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
Mexican International Conference on Artificial Intelligence, 453-471, 2014
252014
Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources
I Uddin, A Rakib, HMU Haque, PC Vinh
Mobile Networks and Applications 23, 13-26, 2018
172018
A context‐aware framework for modelling and verification of smart parking systems in urban cities
H Mahfooz Ul Haque, H Zulfiqar, A Ahmed, Y Ali
Concurrency and Computation: Practice and Experience 33 (2), e5401, 2021
162021
A temporal description logic for resource-bounded rule-based context-aware agents
A Rakib, HMU Haque, RU Faruqui
International Conference on Context-Aware Systems and Applications, 3-14, 2013
162013
A survey on smart parking systems in urban cities
H Zulfiqar, Hafiz Mahfooz ul Haque, Faiza Tariq, Rashad Mahmood Khan
Concurrency and Computation: Practice and Experience, 2021
15*2021
An Ontology-Driven IoT based Healthcare Formalism
Salwa Muhammad Akhtar, Makia Nazir, Kiran Saleem, Hafiz Mahfooz Ul Haque ...
International Journal of Advanced Computer Science and Applications 11 (2 …, 2020
132020
A framework for implementing formally verified resource-bounded smart space systems
I Uddin, A Rakib, HMU Haque
Mobile Networks and Applications 22 (2), 289-304, 2017
92017
Resource-bounded context-aware applications: A survey and early experiment
I Uddin, HMU Haque, A Rakib, MRS Rahmat
International Conference on Nature of Computation and Communication, 153-164, 2016
72016
A context-aware reasoning framework for heterogeneous systems
HMU Haque, SU Khan
2018 International Conference on Advancements in Computational Sciences …, 2018
62018
Modelling and reasoning about context-aware agents over heterogeneous knowledge sources
HMU Haque, A Rakib, I Uddin
International conference on context-aware systems and applications, 1-11, 2016
6*2016
Modeling and verifying context-aware non-monotonic reasoning agents
A Rakib, HMU Haque
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
62015
Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms
H Mahfooz Ul Haque, Sajid Ullah Khan, Ibrar Hussain
International Journal of Advanced Computer Science and Applications 10 (12), 2019
52019
Context-aware parking systems in urban areas: a survey and early experiments
HM Ul Haque, H Zulfiqar, SU Khan, M Ul Haque
Context-Aware Systems and Applications, and Nature of Computation and …, 2019
52019
A semantic knowledge based context-aware formalism for smart border surveillance system
M Nazir, HMU Haque, K Saleem
Mobile Networks and Applications 27 (5), 2036-2048, 2022
32022
Modelling and Verification of Context-Aware Intelligent Assistive Formalism
S Yousaf, HMU Haque, A Khalid, MA Hashmi, E Khan
Computers, Materials & Continua 71 (2), 3355-3373, 2021
22021
Modeling belief‐desire‐intention reasoning agents for situation‐aware formalisms
H Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan
Concurrency and Computation: Practice and Experience, 2021
2*2021
Contextual defeasible reasoning framework for heterogeneous systems
SM Akhtar, HM Ul Haque
Context-Aware Systems and Applications, and Nature of Computation and …, 2021
22021
A formal approach to modelling and verification of context-aware systems
HM Ul-Haque
University of Nottingham, 2017
22017
A logical framework for the representation and verification of context-aware agents
A Rakib, HM Ul Haque
Mobile Networks and Applications 19, 585-597, 2014
22014
A context-aware multi-agent reasoning based intelligent assistive formalism
S Yousaf, HMU Haque, M Atif, MA Hashmi, A Khalid, PC Vinh
Internet of Things 23, 100857, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20