Logics for Epistemic Programs 论文

2004引用 322
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and Negotiation
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and Negotiation
关系图谱

2

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

L

Lawrence S. Moss

A

Alexandru Baltag

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据