Skip to main content

Research Repository

Advanced Search

Outputs (1)

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.