1995 | ||
---|---|---|
5 | Marion Mircheva: Rule-Based Systems and Logic Programs: Bringing Two Approaches Together. WOCFAI 1995: 263-274 | |
1994 | ||
4 | Marion Mircheva: Logic Programs with Refutation Rules. ICLP 1994: 734 | |
3 | Marion Mircheva: Logic Programs with Tests. META 1994: 276-292 | |
1990 | ||
2 | Ivan Popchev, Neli Zlatareva, Marion Mircheva: A Logic for Truth Maintenance Reasoning. AIMSA 1990: 71-80 | |
1 | Ivan Popchev, Neli Zlatareva, Marion Mircheva: A Truth Maintenance Theory: An Alternative Approach. ECAI 1990: 509-514 |
1 | Ivan Popchev | [1] [2] |
2 | Neli Zlatareva | [1] [2] |