...
机译:关于答案集编程中强,统一和其他等效概念的共同观点
Technische Universitaet Wien, Institut fuer Informationssysteme 184/2,Favoritenstrasse 9-11, A-1040 Vienna, Austria;
answer-set programming; strong equivalence; relativized equivalence;
机译:超越答案设置程序之间的统一等价
机译:在答案集计划转换中应用可见的强度等价
机译:在(部分)固定输入下答案集程序之间的等价关系
机译:答案集编程中的强大和均匀等值:非地壳的特征和复杂性结果
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程识别生物调控网络中的分叉转变
机译:关于强,均匀和其他等价概念的共同观点 答案集编程
机译:元素纲要强等价性的形式理论分析