Potassco: The Potsdam Answer Set Solving Collection 论文
2011AI Communications引用 469
Logic, Reasoning, and KnowledgeConstraint Satisfaction and OptimizationMulti-Agent Systems and Negotiation
摘要
Answer Set Programming (ASP; [5]) has become a popular approach to declarative problem solving in the field of Knowledge Representation and Reasoning (KRR; [79]). This is mainly due to its appealing combination