Computing and Comparing Semantics of Programs in Multi-valued Logics

Y. Loyer, N. Spyratos, D. Stamate

The different semantics that can be assigned to a logic program correspond to different assumptions made concerning the atoms whose logical values cannot be inferred from the rules…