Hafiz Mahfooz Ul Haque

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Venues

Mob. Networks Appl.

Concurr. Comput. Pract. Exp.

ICCASA

MICAI (1)

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Shahid Yousaf, Hafiz Mahfooz Ul Haque, Muhammad Atif, Muhammad Adnan Hashmi, Abbas Khalid, Phan Cong Vinh
A context-aware multi-agent reasoning based intelligent assistive formalism. Internet Things 23 (2023)
Haidar Zulfiqar, Hafiz Mahfooz Ul Haque, Faiza Tariq, Rashad Mahmood Khan
A survey on smart parking systems in urban cities. Concurr. Comput. Pract. Exp. 35 (15) (2023)
Hafiz Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan
Modeling belief-desire-intention reasoning agents for situation-aware formalisms. Concurr. Comput. Pract. Exp. 35 (15) (2023)
Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, Ijaz Uddin
Contextual defeasible reasoning framework for heterogeneous knowledge sources. Concurr. Comput. Pract. Exp. 35 (15) (2023)
Makia Nazir, Hafiz Mahfooz Ul Haque, Kiran Saleem
A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. Mob. Networks Appl. 27 (5) (2022)
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Abrar Ahmed, Yasir Ali
A context-aware framework for modelling and verification of smart parking systems in urban cities. Concurr. Comput. Pract. Exp. 33 (2) (2021)
Hafiz Mahfooz Ul Haque, Sajid Ullah Khan
A context-aware reasoning framework for heterogeneous systems. ICACS (2018)
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, Muneeb Ul Haque
Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments. ICCASA/ICTCC (2018)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mob. Networks Appl. 23 (1) (2018)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mob. Networks Appl. 22 (2) (2017)
Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA (2016)
Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. ICTCC (2016)
Abdur Rakib, Hafiz Mahfooz Ul Haque
Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE (2015)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logical Framework for the Representation and Verification of Context-aware Agents. Mob. Networks Appl. 19 (5) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. ICCASA (2013)

Hafiz Mahfooz Ul Haque.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hafiz Mahfooz Ul Haque