Reasoning About Knowledge
作者： Joseph Y. Halpern , Moshe Y. Vardi , Yoram Moses , Ronald Fagin
DOI:
关键词:
摘要: A model for knowledge and its properties completeness complexity - results techniques in distributed systems actions protocols common knowledge, co-ordination agreement evolving dealing with logical omniscience computation revisited.
philpapers.org
amazon.com
goodreads.com
acm.org 参考文章(0)