Hafiz Mahfooz Ul Haque
Hafiz Mahfooz Ul Haque
Assistant Professor, Department of Software Engineering, University of Lahore
Verified email at se.uol.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
142014
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
112013
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 (1), 13-26, 2018
82018
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
72017
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
52015
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
42016
Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments
HMU Haque, H Zulfiqar, SU Khan, MU Haque
Context-Aware Systems and Applications, and Nature of Computation and …, 2018
32018
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
32016
A context‐aware framework for modelling and verification of smart parking systems in urban cities
H Mahfooz Ul Haque, Haider Zulfiqar, Abrar Ahmed, Ysir Ali
Concurrency and Computation: Practice and Experience, 2019
2*2019
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
12020
A formal approach to modelling and verification of context-aware systems
HM Ul-Haque
University of Nottingham, 2017
12017
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
2019
A context-aware reasoning framework for heterogeneous systems
HMU Haque, SU Khan
2018 International Conference on Advancements in Computational Sciences …, 2018
2018
A logical framework for the representation and verification of context-aware agents
A Rakib, HMU Haque
Mobile Networks and Applications 19 (5), 585-597, 2014
2014
Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms
HMU Haque, SU Khan, I Hussain
The system can't perform the operation now. Try again later.
Articles 1–15