...
机译:分支分布式时态逻辑,用于推理无纠缠的量子态转换
Department of Informatics, King's College London, UK;
Inria and LIX, Ecole Polytechnique, Palaiseau, France;
Dipartimento di Informatica, Universita di Verona, Italy;
Quantum computing; Quantum state transformations; Temporal logic; Distributed temporal logic; Natural deduction;
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:用于网络物理系统的分布式推理的语义马尔可夫逻辑网络
机译:量子态转换和分支分布时间逻辑(特邀论文)
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:分支分布式时态逻辑,用于推理无纠缠的量子态转换