Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;
Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;
Institut fuer Informationssysteme, Technische Universitaet Wien,Favoritenstrasse 9-11, A-1040 Vienna, Austria;
机译:Arken-Set编程编码参数框架
机译:基于答案集编程的通用论证系统
机译:在here-and-here逻辑中通过反模型进行答案集编程的等价性的通用框架
机译:Aspartix:使用答案集编程实现论证框架
机译:水下航行器能源意识编程框架的设计和实现。
机译:在实施HPV计划的儿科诊所网络中从用于实施研究的合并框架内部设置域评估结构的措施的有效性和可靠性
机译:aspartix:使用answerset编程实现论证框架