@inbook{9a149f6dc40a45ea87738354c72684bb,

title = "A logic for context-aware non-monotonic reasoning agents",

abstract = "We develop a logical model for resource-bounded context-aware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL * with belief and communication modalities, and the resulting logic LDROCS allows us to describe a set of rule-based non-monotonic context-aware agents with bounds on computational (time and space) and communication resources. We use OWL 2 RL ontologies and Semantic Web Rule Language (SWRL) for context-modelling and rules that enables the construction of a formal system. We provide an axiomatization of the logic and prove it is sound and complete. We illustrate the use of the logical model on a simple example.",

author = "A. Rakib and {Ul Haque}, H.M.",

year = "2014",

doi = "10.1007/978-3-319-13647-9_41",

language = "English",

isbn = "978-3-319-13646-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer ",

pages = "453--471",

editor = "Gelbukh, {Alexander } and Espinoza, {F{\'e}lix Castro } and Galicia-Haro, {Sof{\'i}a N. }",

booktitle = "Human-Inspired Computing and Its Applications",

address = "Germany",

}