Institut fuer Informationssysteme, Technische Universitat Wien, Favoritenstrasse 9-11, A-1040 Vienna, Austria;
机译:超越答案设置程序之间的统一等价
机译:逐步调试答案集程序
机译:在(部分)固定输入下答案集程序之间的等价关系
机译:答案集编程解决方案对应
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程识别生物调控网络中的分叉转变
机译:解决成本的数量多代理与答案设置编程