NELI P. ZLATAREVA
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 2018, 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 407 "Semantic Web Technologies" -- all materials for this course are posted on BB Learn.
- CS 462 / CS 570 "Artificial Intelligence" (a course for CS and CIT majors).
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).
- 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
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 80 publications in these areas. The latest and more significant ones are:
A Validation Technique for Integrated Ontologies.International Journal of Social, Behavioral, Educational, Economic, Business and Industrial Engineering, Vol:9, No:8, 2015, WASET Publ.
- Processing Incomplete Query Specifications in a Context-Dependent Reasoning Framework. Journal of Systemics, Cybernetics and Informatics, vol.11, number 2, 2013, IIIS Press.
- 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 email@example.com if you want a copy of these or any other paper of mine.
Thank you for visiting my home page. Return to CS Home Page