A logic for context-aware non-monotonic reasoning agents A Rakib, HMU Haque Mexican International Conference on Artificial Intelligence, 453-471, 2014 | 26 | 2014 |
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 | 22* | 2021 |
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 | 18 | 2018 |
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 | 17 | 2021 |
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 | 16 | 2013 |
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 | 14 | 2020 |
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 | 9 | 2017 |
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 | 8 | 2016 |
A context-aware reasoning framework for heterogeneous systems HMU Haque, SU Khan 2018 International Conference on Advancements in Computational Sciences …, 2018 | 7 | 2018 |
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 | 6 | 2015 |
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 | 5 | 2019 |
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 | 5 | 2019 |
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 | 4 | 2022 |
Contextual defeasible reasoning framework for heterogeneous knowledge sources H Mahfooz ul Haque, Salwa Muhammad Akhtar, Ijaz Uddin Concurrency and Computation: Practice and Experience, 2021 | 3* | 2021 |
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 | 3* | 2021 |
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 | 2 | 2023 |
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 | 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 | 2 | 2021 |
A formal approach to modelling and verification of context-aware systems HM Ul-Haque University of Nottingham, 2017 | 2 | 2017 |