Knowledge compilation and theory approximation 论文

1996Journal of the ACM引用 302
Machine Learning and AlgorithmsLogic, Reasoning, and KnowledgeAI-based Problem Solving and Planning

Knowledge compilation and theory approximation · 作者