Hello! I am Dr. Neli P. Zlatareva, Professor of Computer Science in the Department of Computer Science at Central Connecticut State University.

During the Fall'09 semester, I am teaching the following courses:

• CS 113 "Introduction to computers" (a general education course).
• CS 151 "Computer Science I" (a course for CS majors).

Other courses that I have taught:

• CS 115 "Workshop in Computer Science" (a general education course).
• CS 152 "Computer Science II" (a course for CS majors).
• CS 253 "Data and File Structures" (a course for CS majors).
• CS 254 "Computer Organization and Assembly Language Programming" (a course for CS majors).
• CS 462 "Artificial Intelligence" (a course for CS majors).
• CS 500 "Computer Science for CIT" (an introductory course for CIT majors).
• CS 501 "Foundations of Computer Science" (a core course for CIT majors).
• CS 570 "Topics in Artificial Intelligence: Intelligent Systems" (a course for CIT majors).
• Theory and Applications of Truth Maintenance Systems. (A graduate course taught at Sofia University in Fall'2007 during my visit there as a Fulbright Scholar.)

Students can contact me by sending an e-mail to zlatareva@ccsu.edu, or by calling me at (860) 832-2723.

My research interests are in Artificial Intelligence in general, and in Knowledge Verification, Validation and Refinement, Non-monotonic reasoning, Truth Maintenance Systems and Theory Revision, in particular. I have authored / co-authored more than 70 publications in these areas. The latest and more significant ones are:

• Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies. Proceedings of the 21th International FLAIRS Conference, AAAI Press, 2008 (co-authored with Maria Nisheva).
• Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis. Proceedings of the 19th International FLAIRS Conference, AAAI Press, 2006.
• Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-normal Defaults. Proceedings of the 17th International FLAIRS Conference, AAAI Press, 2004.
• Introducing Machine Learning from an AI Perspective. Proceedings of the Artificial Neural Networks and Neural Information Processing Conference (ICANN/ICONIP'03), Istanbul, Turkey, 2003 (co-authored with Ingrid Russell and Zdravko Markov).
• Improving Knowledge-Based System Performance by Reordering Rule Sequences. Proceedings of the Florida AI Research Symposium (FLAIRS'01), AAAI Press, 2001.
• A Refinement Framework to Support Validation and Maintenance of Knowledge-Based Systems. "Expert Systems with Applications", Number 15, 1998, Pergamon Press.
• Verification of Non-Monotonic Knowledge Bases. "Decision Support Systems", vol. 21, Number 4, 1997, Elsevier Science Publ.
• Explaining Anomalies as a Basis for Knowledge Base Refinement. Proceedings of the Florida Artificial Intelligence Research Symposium (FLAIRS'96), May 1996, Key West, FL.
• Truth Maintenance Systems. "Encyclopedia of Computer Science and Technology" (Kent, A. and Williams, J. editors), vol. 32, Marcel Dekker, New York, 1995. Also in "Encyclopedia of Microcomputers", vol. 19, Marcel Dekker, New York, 1997.
• An Effective Logical Framework for Knowledge-Based Systems Verification (co-authored with Alun Preece). "International Journal of Expert Systems: Research and Applications", vol. 7, No.3, 1994.
• A Framework for Verification, Validation and Refinement of Knowledge Bases: the VVR System. "International Journal of Intelligent Systems", vol. 9, 1994.

Please, send an e-mail to zlatareva@ccsu.edu if you want a copy of these or any other paper of mine.