Legal reasoning; Deontic logic; Automated reasoning;
机译:基于签名的Groebner基础算法的通用和可执行形式化
机译:智障人士合法死亡:至少有44人被执行死刑
机译:法律上讲的思想和思维领域:文本和数据赢得中的法律问题
机译:朝着制定法律文本的方法论
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:控制水泥基材料地板执行工艺过程的方法
机译:基于签名的Gröbner基础算法的通用和可执行形式化
机译:使用优化规范环境通过可执行模拟对saDT规范进行形式化和验证。