Ivan Popchev

According to our database, Ivan Popchev authored at least 5 papers between 1984 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1990

A Truth Maintenance Theory: An Alternative Approach.

Ivan Popchev, Neli Zlatareva, Marion Mircheva

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

A Logic for Truth Maintenance Reasoning.

Ivan Popchev, Neli Zlatareva, Marion Mircheva

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988

A Formal Treatment of Non-Monotonic Reasoning.

Ivan Popchev, Neli Zlatareva

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming.

Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1984

An Expert System in Reliability- Structure and Knowledge Representation.

Ivan Popchev, Neli Zlatareva

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984