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.