FIPA; agent communication languages; defeasibility; temporal reasoning;
机译:FIPA ACL语义中的时间和可废止性
机译:合理和相关语义下无法描述逻辑εL_⊥-计算标准推理中的推理
机译:加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
机译:FIPA ACL语义中的时间和缺陷
机译:ACL后患者与对照组的定时静态下蹲测试的比较。
机译:初次ACL重建时的风险因素在修订ACL重建时会导致严重的软骨表面改变
机译:FIPA ACL语义中的时间和可废止性