Hafiz Mahfooz Ul Haque

24 papers C 1Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Probabilistic Reasoning-based Multi-agent Formalism for Smart Environment.
Computación y Sistemas (CyS)
Abdullah Abdullah, Hafiz Mahfooz Ul Haque, Zeeshan Saleem, Muneeb Ul Haque, Grigori Sidorov
2025 J jnl
Optimizing Patient Monitoring with Reinforcement Learning Based Context-Aware Healthcare Formalism.
Computación y Sistemas (CyS)
Hafiz Mahfooz Ul Haque, -Abdullah, Faiza Tariq, Shahid Yousaf, José Luis Oropeza Rodríguez
2025 J jnl
Semantic Knowledge Based Reinforcement Learning Formalism for Smart Learning Environments.
Comput. Mater. Continua
Taimoor Hassan, Ibrar Hussain, Hafiz Mahfooz Ul Haque, Hamid Turab Mirza, Muhammad Nadeem Ali, Byung-Seo Kim
2024 J jnl
A Semantic-Based Approach to Modelling Smart Indoor Kitchen Garden.
Mob. Networks Appl.
Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Hafiz Mahfooz Ul Haque, Altaf Uddin
2024 — ed.
Nature of Computation and Communication - 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings
ICTCC
Phan Cong Vinh, Hafiz Mahfooz Ul Haque
2023 J jnl
A context-aware multi-agent reasoning based intelligent assistive formalism.
Internet Things
Shahid Yousaf, Hafiz Mahfooz Ul Haque, Muhammad Atif, Muhammad Adnan Hashmi, Abbas Khalid, Phan Cong Vinh
2023 J jnl
A survey on smart parking systems in urban cities.
Concurr. Comput. Pract. Exp.
Haidar Zulfiqar, Hafiz Mahfooz Ul Haque, Faiza Tariq, Rashad Mahmood Khan
2023 J jnl
Contextual defeasible reasoning framework for heterogeneous knowledge sources.
Concurr. Comput. Pract. Exp.
Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, Ijaz Uddin
2023 J jnl
Modeling belief-desire-intention reasoning agents for situation-aware formalisms.
Concurr. Comput. Pract. Exp.
Hafiz Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan
2022 J jnl
A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System.
Mob. Networks Appl.
Makia Nazir, Hafiz Mahfooz Ul Haque, Kiran Saleem
2021 J jnl
A context-aware framework for modelling and verification of smart parking systems in urban cities.
Concurr. Comput. Pract. Exp.
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Abrar Ahmed, Yasir Ali
2020 — conf
Contextual Defeasible Reasoning Framework for Heterogeneous Systems.
ICCASA/ICTCC
Salwa Muhammad Akhtar, Hafiz Mahfooz Ul Haque
2020 — conf
Modelling Situation-Aware Formalism Using BDI Reasoning Agents.
ICCASA/ICTCC
Kiran Saleem, Hafiz Mahfooz Ul Haque
2018 — conf
A context-aware reasoning framework for heterogeneous systems.
ICACS
Hafiz Mahfooz Ul Haque, Sajid Ullah Khan
2018 — conf
Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments.
ICCASA/ICTCC
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, Muneeb Ul Haque
2018 J jnl
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources.
Mob. Networks Appl.
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
2017 J jnl
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems.
Mob. Networks Appl.
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque
2017 — —
A formal approach to modelling and verification of context-aware systems.
Hafiz Mahfooz Ul Haque
2016 — conf
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources.
ICCASA
Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin
2016 — conf
Resource-Bounded Context-Aware Applications: A Survey and Early Experiment.
ICTCC
Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
2015 C conf
Modeling and verifying context-aware non-monotonic reasoning agents.
MEMOCODE
Abdur Rakib, Hafiz Mahfooz Ul Haque
2014 — conf
A Logic for Context-Aware Non-monotonic Reasoning Agents.
MICAI (1)
Abdur Rakib, Hafiz Mahfooz Ul Haque
2014 J jnl
A Logical Framework for the Representation and Verification of Context-aware Agents.
Mob. Networks Appl.
Abdur Rakib, Hafiz Mahfooz Ul Haque
2013 — conf
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents.
ICCASA
Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui