2 papers
cs.LO2001
Hypotheses Founded Semantics of Logic Programs for Information Integration in Multi-Valued Logics
Yann Loyer, Nicolas Spyratos, Daniel Stamate
We address the problem of integrating information coming from different sources. The information consists of facts that a central server collects and tries to combine using (a) a s…
cs.LO2000
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…