MaOSA09'

BibTeX

@inproceedings{DBLP:conf/iat/MaOSA09,
  author    = {Ji Ma and
               Mehmet A. Orgun and
               Abdul Sattar and
               Kamel Adi},
  title     = {Temporalised Epistemic Logic for Reasoning about Agent-Based
               Systems},
  booktitle = {Web Intelligence/IAT Workshops},
  year      = {2009},
  pages     = {474-477},
  ee        = {http://dx.doi.org/10.1109/WI-IAT.2009.329},
  crossref  = {DBLP:conf/iat/2009w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iat/2009w,
  title     = {Proceedings of the 2008 IEEE/WIC/ACM International Conference
               on Web Intelligence and International Conference on Intelligent
               Agent Technology - Workshops, Milan, Italy, 15-18 September
               2009},
  booktitle = {Web Intelligence/IAT Workshops},
  publisher = {IEEE},
  year      = {2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}