Neli Zlatareva

According to our database1, Neli Zlatareva authored at least 14 papers between 1984 and 2009.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Supporting Uncertainty and Inconsistency in Semantic Web Applications.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008
Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2006
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

2004
Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2001
Improving Knowledge-Based System Performance by Reordering Rule Sequences .
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

1998
Knowledge Refinement During Developmental and Field Validation of Expert Systems.
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998

1997
Verification of non-monotonic knowledge bases.
Decis. Support Syst., 1997

1994
A framework for verification, validation, and refinement of knowledge bases: The VVR system.
Int. J. Intell. Syst., 1994

1993
An Integrated Approach to Quality Assurance of Expert System Knowledge Bases.
Proceedings of the CIKM 93, 1993

1992
Truth maintenance systems and their application for verifying Expert System Knowledge Bases.
Artif. Intell. Rev., 1992

1990
A Truth Maintenance Theory: An Alternative Approach.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

A Logic for Truth Maintenance Reasoning.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988
A Formal Treatment of Non-Monotonic Reasoning.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1984
An Expert System in Reliability- Structure and Knowledge Representation.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984


  Loading...