Skip to main content

Research Repository

Advanced Search

Outputs (4)

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Conference Proceeding
Rakib, A., & Haque, H. M. U. (2015). Modeling and verifying context-aware non-monotonic reasoning agents. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) (61-69). https://doi.org/10.1109/MEMCOD.2015.7340471

© 2015 IEEE. This paper complements our previous work on formal modeling of resource-bounded context-aware systems, which handle inconsistent context information using defeasible reasoning, by focusing on automated analysis and verification. A case s... Read More about Modeling and verifying context-aware non-monotonic reasoning agents.

MyGeo-Explorer: A semantic search tool for querying geospatial information (2015)
Journal Article
Panchanathan, S., Lawan, A., & Rakib, A. (2015). MyGeo-Explorer: A semantic search tool for querying geospatial information

We propose a semantic search approach for geospatial information systems to resolve the issue of semantic heterogeneity in metadata catalogues. Using the Malaysian geospatial data infrastructure service portal, MyGDI Explorer, as a comparative case s... Read More about MyGeo-Explorer: A semantic search tool for querying geospatial information.

Alternating-time temporal logic with resource bounds (2015)
Journal Article
Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2018). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, 28(4), 631-663. https://doi.org/10.1093/logcom/exv034

© 2015 The Author. Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, co... Read More about Alternating-time temporal logic with resource bounds.

An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources (2015)
Journal Article
Rakib, A., Lawan, A., & Walker, S. (2015). An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources. Advances in Intelligent Systems and Computing, 355, 35-47. https://doi.org/10.1007/978-3-319-17398-6_4

© Springer International Publishing Switzerland 2015. The past two decades have seen a remarkable shift in the knowledge-and information-sharing paradigm. In the crops domain, for example, the amount of information currently known about underutilized... Read More about An ontological approach for knowledge modeling and reasoning over heterogeneous crop data sources.