Logic Problem Solving

3 cr · Graduate

Introduction to declarative techniques in symbolic problem solving with emphasis on relational representations, query construction, and recursive formulations of knowledge structures in engineering.