Hafiz Mahfooz Ul Haque
Hafiz Mahfooz Ul Haque
Assistant Professor, Department of Software Engineering, University of Lahore
Verified email at se.uol.edu.pk
TitleCited byYear
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
92013
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
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
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
42015
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
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
22018
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, HMU Haque
Mobile Networks and Applications 19 (5), 585-597, 2014
12014
A context-aware reasoning framework for heterogeneous systems
HMU Haque, SU Khan
2018 International Conference on Advancements in Computational Sciences …, 2018
2018
Context-Aware Systems and Applications
A Rakib, HMU Haque, RU Faruqui, MH Nguyen, DQ Tran, TV Ho, A Alsaig, ...
The system can't perform the operation now. Try again later.
Articles 1–12