Electrical Engineering

EE6263	Foundations of Knowledge Representation for Software Eng.	3 ch
The goal for this course is to study the state of the art of the approaches, paradigms, techniques, languages, techniques, languages, tools, etc. used for knowledge representation and automated reasoning in computer systems with emphasis on comparative evaluation of these approaches in the software in engineering context. Practical use of knowledge engineering tools is an integral part of this course.