NICTA Victoria Laboratory, University of Melbourne, 3010 Australia;
机译:具有不完整信息和时间约束的业务流程合规性:基于归纳推理的通用框架
机译:基于逻辑工作台的声明式流程执行的基于约束的推理
机译:约束满足和推理中预处理的保证和限制
机译:约束推理的类型处理
机译:分布式约束推理框架在客户驱动微电网控制管理中的应用
机译:临床推理中的推理过程:从认知心理学的角度
机译:通过约束推理进行类型处理
机译:用程序约束进行动态约束推理的框架