• 已选条件：
 全选  【符合条件的数据共：23条】

1 The Expressive Power of Swap Logic [会议论文]

作者:Raul Fervari

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

2 Questions of Trust [会议论文]

作者:Jason Quinley1, Christopher Ahern2

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

3 Small Steps in Heuristics for the Russian Cards Problem Protocols [会议论文]

作者:Ignacio Herna´ndez-Anto´n

会议时间:

预览  |  原文链接  |  全文  [ 浏览：21 下载：2  ]    

4 Some, Speaker Knowledge, and Subkinds✯ [会议论文]

作者:Andrew Weir

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

5 Reasoning on Procedural Programs using Description Logics with Concrete Domains [会议论文]

作者:Ronald de Haan

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

6 A Dynamic Probabilistic Approach to Epistemic Modality✯ [会议论文]

作者:Manuel Krizˇ

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]