authorisation; logic programming; distributed programming; certification; DATALOG; Binder; distributed system; open logic based security language; security statement encoding; communicating distributed logic programs; delegation; certificates;
机译:使用SWISH实现基于逻辑的语言的交互式基于Web的教程
机译:智能软件代理的基于逻辑的规范语言
机译:基于约束逻辑的语言的有限树分析
机译:活页夹,一种基于逻辑的安全语言
机译:智能辅导系统中基于逻辑的自然语言理解。
机译:骨盆结合剂的假安全性:2例因解剖复位造成的遗漏伤害
机译:使用速度实现基于逻辑语言的交互式Web的教程