A survey on knowledge compilation 论文

1997引用 219

Logic, Reasoning, and KnowledgeAI-based Problem Solving and PlanningConstraint Satisfaction and Optimization

Logic, Reasoning, and Knowledge AI-based Problem Solving and Planning Constraint Satisfaction and Optimization

相关技术:Constraint Satisfaction and Optimization

A survey on knowledge compilation · 作者

Francesco M. Donini

Marco Cadoli