An Introduction to Reasoning 论文

1980Teaching Philosophy引用 377
AI-based Problem Solving and PlanningLogic, Reasoning, and KnowledgeConstraint Satisfaction and Optimization