...
机译:技术说明带变量的时间逻辑程序
Univ A Coruna, Dept Comp Sci, La Coruna, Spain;
Univ A Coruna, Dept Comp Sci, La Coruna, Spain;
Univ A Coruna, Dept Comp Sci, La Coruna, Spain;
Univ A Coruna, Dept Comp Sci, La Coruna, Spain;
Univ Paul Sabatier, IRIT, Toulouse, France;
artificial intelligence; knowledge representation; temporal logic; grounding; logic programming; answer set programming;
机译:技术说明封闭式简单Lambda项的随机生成:逻辑编程与Boltzmann采样器之间的协同作用
机译:技术说明:将狭窄含水层的放电响应,可变厚度与时间,非间断,随机充电过程的可变厚度
机译:技术说明:将狭窄含水层的放电响应,可变厚度与时间,非间断,随机充电过程的可变厚度
机译:直观的时间线性逻辑片段中的逻辑编程
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:NOTES:在小型普通外科住院医师计划中引入NOTES的问题和技术细节
机译:具有变量的时态逻辑程序
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术