Decision procedures for BDI logics 论文

1998Journal of Logic and Computation引用 343
DOI
Logic, Reasoning, and KnowledgeFormal Methods in VerificationMulti-Agent Systems and Negotiation
Logic, Reasoning, and KnowledgeFormal Methods in VerificationMulti-Agent Systems and Negotiation
相关技术:Formal Methods in Verification
关系图谱

Decision procedures for BDI logics · 相关事件

暂无数据