Skip to main content

Research Repository

Advanced Search

Outputs (4)

A logic for context-aware non-monotonic reasoning agents (2014)
Conference Proceeding
Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In A. Gelbukh, F. C. Espinoza, & S. N. Galicia-Haro (Eds.), Human-Inspired Computing and Its Applications (453-471). https://doi.org/10.1007/978-3-319-13647-9_41

© Springer International Publishing Switzerland 2014. We develop a logical model for resource-bounded contextaware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL* wit... Read More about A logic for context-aware non-monotonic reasoning agents.

Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment (2014)
Presentation / Conference
Lawan, A., Rakib, A., Alechina, N., & Karunaratne, A. (2014, November). Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment. Paper presented at 4th Joint International Semantic Technology Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014., Chiang Mai, Thailand

Due to their powerful knowledge representation formalism and associated inference mechanisms, ontology-based approaches have been increasingly adopted to formally represent domain knowledge. We propose the use of ontologies to advance knowledge-shari... Read More about Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment.

A Logical Framework for the Representation and Verification of Context-aware Agents (2014)
Journal Article
Rakib, A., & Ul Haque, H. M. (2014). A Logical Framework for the Representation and Verification of Context-aware Agents. Mobile Networks and Applications, 19(5), 585-597. https://doi.org/10.1007/s11036-014-0520-0

© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us t... Read More about A Logical Framework for the Representation and Verification of Context-aware Agents.

A temporal description logic for resource-bounded rule-based context-aware agents (2014)
Journal Article
Rakib, A., Haque, H. M. U., & Faruqui, R. U. (2014). A temporal description logic for resource-bounded rule-based context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 128, 3-14. https://doi.org/10.1007/978-3-319-05939-6_1

© Springer International Publishing Switzerland 2014. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL* with belief and communication modalities, and the resulting logic LOCRS allows us to de... Read More about A temporal description logic for resource-bounded rule-based context-aware agents.