Marion Mircheva

According to our database, Marion Mircheva authored at least 5 papers between 1990 and 1995.

Collaborative distances:

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

1995

Rule-Based Systems and Logic Programs: Bringing Two Approaches Together.

Marion Mircheva

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

Logic Programs with Tests.

Marion Mircheva

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Logic Programs with Refutation Rules.

Marion Mircheva

Proceedings of the Logic Programming, 1994

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