Institute of Information Systems Vienna University of Technology, Vienna, Austria;
Answer-Set Programming; Non-monotonic Reasoning;
机译:超越答案设置程序之间的统一等价
机译:逐步调试答案集程序
机译:在(部分)固定输入下答案集程序之间的等价关系
机译:良好,坏的和奇数:答案集计划中的周期
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程识别生物调控网络中的分叉转变
机译:2好的,坏的和奇数的:答案集程序中的循环
机译:包含具有许多奇数分量的2因子的图中的长循环