机译:致力于将答案和检查程序自动集成到答案集编程中:元解释器和应用程序
Institut fuer Informationssysteme, Arbeitsbereich Wissensbasierte Systeme Technische Universitaet Wien, Austria;
answer set programming; disjunctive logic programs; guess and check paradigm; meta-interpretation; automated program synthesis;
机译:使用语义依赖项修剪外部最小性检查答案设置程序
机译:目标导向答案集编程中的动态一致性检查
机译:用答案集编程对抽象状态机进行模型检查
机译:在答案集编程中实现猜测和检查程序的自动集成
机译:通过结合自动规则发现和概率答案集编程来解释事实
机译:使用答案集编程将RNA表达与信号通路信息整合在一起,以推断突变如何影响衰老
机译:在答案集中实现猜测和检查程序的自动集成 编程:元解释器和应用程序