机译:更多表达性时态逻辑编程语言的逻辑基础
Department of Computer Languages and Systems, University of the Basque Country, EUITI de Bilbao, Paseo Rafael Moreno Pitxitxi 3, 48013 Bilbao, Spain;
Department of Computer Languages and Systems, University of the Basque Country, Facultad de Informatica, Paseo Manuel de Lardizabal 1, 20018 San Sebastian, Spain;
Disjunctive logic programming; invariant-free clausal temporal resolution; linear-time temporal logic; operational and logical semantics; refutation procedure; temporal logic programming;
机译:逻辑编程的逻辑基础II:通用逻辑程序的语义
机译:高阶逻辑编程:一种表示定性偏好的表达语言
机译:逻辑编程的逻辑基础I.双结果关系和非单调完成
机译:惰性功能逻辑程序的声明式调试的理论基础
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:具有时间约束的声明式编程使用CG语言
机译:更具表现力的声明性时态逻辑编程语言的逻辑基础
机译:时态逻辑编程是完整和富有表现力的