Ivan Popchev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1984–1990
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | AIMSA | A Logic for Truth Maintenance Reasoning. | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
| 1990 | ECAI | A Truth Maintenance Theory: An Alternative Approach. | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
| 1988 | AIMSA | EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming. | Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev |
| 1988 | AIMSA | A Formal Treatment of Non-Monotonic Reasoning. | Ivan Popchev, Neli Zlatareva |
| 1984 | AIMSA | An Expert System in Reliability- Structure and Knowledge Representation. | Ivan Popchev, Neli Zlatareva |