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

During the Spring 2012, I am teaching the following courses:

• CS 151 "Computer Science I" (a course for CS majors).
• CS 253 "Data and File Structures" (a course for CS majors).
• CS 462 "Artificial Intelligence" (a course for CS majors).
• CS 570 "Topics in AI: Intelligent Systems" (a course for CIT majors, offered concurrently with CS 462).

Other courses that I have taught:

• CS 113 "Introduction to computers" (a general education course).
• CS 115 "Workshop in Computer Science" (a general education course).
• CS 152 "Computer Science II" (a course for CS majors).
• CS 254 "Computer Organization and Assembly Language Programming"(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).
• Theory and Applicationsof 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 Semantic Web, Knowledge 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:

• Managing Exceptions, Defaults, and Inconsistencies in Semantic Web Ontologies. In Proceedings of the 14th IASTED International Conference on Artificial Intelligence and Soft Computing ASC 2011, June 22-24, 2011, Crete, Greece.
• Context-dependent Reasoning for the Semantic Web. Proceedings of the 8th International Conference on Computing, Communications and Control Technologies, April, 2010.
• Supporting Uncertainty and Inconsistency in Semantic Web Applications. Proceedings of the 22th International FLAIRS Conference, AAAI Press, 2009.
• Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities andDiscrepancies. Proceedings of the 21th International FLAIRS Conference, AAAI Press, 2008 (co-authored withMaria 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 SupportValidation 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 BaseRefinement. Proceedings of the Florida Artificial IntelligenceResearch 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 ofMicrocomputers", vol. 19, Marcel Dekker, New York, 1997.
• An Effective Logical Framework for Knowledge-Based Systems Verification (co-authored with Alun Preece). "International Journal ofExpert Systems: Research and Applications", vol. 7, No.3, 1994.
• A Framework for Verification, Validation andRefinement of Knowledge Bases: the VVR System. "InternationalJournal of Intelligent Systems", vol. 9, 1994.

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