Analytic Tableaux for Verifying Agent Beliefs. Ma, J. & Orgun, M. A. In Proceedings of Web Intelligence/IAT Workshops, pages 643-646, 2008.
Analytic Tableaux for Verifying Agent Beliefs [link]Paper  bibtex   
@inproceedings{ dblp3291375,
  title = {Analytic Tableaux for Verifying Agent Beliefs},
  author = {Ji Ma and Mehmet A. Orgun},
  author_short = {Ma, J. and Orgun, M. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp3291375},
  id = {dblp3291375},
  biburl = {http://www.dblp.org/rec/bibtex/conf/iat/MaO08},
  url = {http://dx.doi.org/10.1109/WIIAT.2008.79},
  conference = {Web Intelligence/IAT Workshops},
  pages = {643-646},
  text = {Web Intelligence/IAT Workshops 2008:643-646},
  booktitle = {Proceedings of Web Intelligence/IAT Workshops}
}

Downloads: 0