Hafiz Mahfooz Ul Haque

24 papers C 1Journal 13Unranked 8

Year	Rank	Type	Title / 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