Picture for Renata Wassermann

Renata Wassermann

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Add code
Jan 16, 2014
Viaarxiv icon

Local Diagnosis

Add code
Mar 10, 2000
Figure 1 for Local Diagnosis
Figure 2 for Local Diagnosis
Figure 3 for Local Diagnosis
Viaarxiv icon