...
机译:概率答案集合编程的快乐:语义,复杂性,表达性,推论
Univ Sao Paulo Ctr Artificial Intelligence C4AI Sao Paulo Brazil|Univ Sao Paulo Escola Politecn Sao Paulo Brazil;
Univ Sao Paulo Ctr Artificial Intelligence C4AI Sao Paulo Brazil|Univ Sao Paulo Inst Matemat & Estat Sao Paulo Brazil;
Logic programming; Answer Set Programming; Probabilistic programming; Credal sets; Computational complexity; Descriptive complexity;
机译:概率答案集编程的乐趣
机译:Lukasiewicz语义下模糊答案集编程的复杂性
机译:答案集编程中递归聚合的语义和复杂性
机译:FLP语义下具有广义原子的答案集编程的复杂性边界
机译:关于答案集语义的概率扩展之间的关系。
机译:Divide et Impera:子目标化降低了概率推理和问题解决的复杂性
机译:Łukasiewicz语义下模糊答案集编程的复杂性
机译:基于贝叶斯信念网络的概率推理的计算复杂性