Ivan Popchev

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming.
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...