Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
1996 Volume 11
Article Contents
Next Previous
REVIEW   Open Access    

More Information
  • 加载中
  • Halpern JY and Moses Y, 1992. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence54319–379.

    Google Scholar

    Halpern JY and Vardi MY, 1989. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences38195–237.

    Google Scholar

    Rosenschein S and Kaelbling LP, 1986. The synthesis of digital machines with provable epistemic properties. In Halpern JY, ed, Proceedings 1986 Conference on Theoretical Aspects of Reasoning About Knowledge83–98, Morgan Kaufmann.

    Google Scholar

    Wooldridge M and Jennings NR, 1995. Intelligent agents: Theory and practice. The Knowledge Engineering Review10(2) 115–152.

    Google Scholar

  • Cite this article

    shu
Download PDF

Article Metrics

Article views(23) PDF downloads(6)

Other Articles By Authors

REVIEW   Open Access    

  • Published online: 07 July 2009
The Knowledge Engineering Review  11,  Article number: 10.1017/S0269888900008079  (1996)  |  Cite this article

    HTML

    Rights and permissions
    • Copyright © Cambridge University Press 19961996Cambridge University Press
References (4)
  • About this article
    Cite this article
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return