Semantics and complexity of recursive aggregates in answer set programming 论文

2010Artificial Intelligence引用 241
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationLogic, programming, and type systems