Marion Mircheva

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Marion Mircheva
Rule-Based Systems and Logic Programs: Bringing Two Approaches Together. WOCFAI (1995)
Marion Mircheva
Logic Programs with Refutation Rules. ICLP (1994)
Marion Mircheva
Logic Programs with Tests. META (1994)
Ivan Popchev, Neli Zlatareva, Marion Mircheva
A Truth Maintenance Theory: An Alternative Approach. ECAI (1990)
Ivan Popchev, Neli Zlatareva, Marion Mircheva
A Logic for Truth Maintenance Reasoning. AIMSA (1990)