3 credits. Prereq: CSCE 350 Heuristic problem solving, theorem proving, and knowledge representation, including the use of appropriate programming languages and tools. Semesters Offered: Fall, Spring Homepage