Rokan Uddin Faruqui

A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents

Abdur Rakib, Rokan Uddin Faruqui, 2012, ICCASA.

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents

Abdur Rakib, Wendy MacCaull, Rokan Uddin Faruqui, 2012, FoIKS.

A scalable ontology reasoner via incremental materialization

Wendy MacCaull, Fazle Rabbi, Rokan Uddin Faruqui, 2013, Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems.

O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes

Wendy MacCaull, Rokan Uddin Faruqui, W. MacCaull, 2012, FHIES.

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents

Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui, 2013, ICCASA.

Model checking ontology‐driven reasoning agents using strategy and abstraction

Abdur Rakib, Rokan Uddin Faruqui, Rokan Uddin Faruqui, 2019, Concurr. Comput. Pract. Exp..