 | 2006 |
|---|
| 22 |       | Yann Loyer,
Umberto Straccia:
Epistemic foundation of stable model semantics.
TPLP 6(4): 355-393 (2006) |
| 2005 |
|---|
| 21 | | Yann Loyer,
Umberto Straccia:
Any-world assumptions in logic programming.
Theor. Comput. Sci. 342(2-3): 351-381 (2005) |
| 2004 |
|---|
| 20 |  | Yann Loyer,
Nicolas Spyratos:
Knowledge Integration in Rule-based Information Sources.
BDA 2004: 365-384 |
| 19 | | Yann Loyer,
Umberto Straccia:
Epistemic Foundation of the Well-Founded Semantics over Bilattices.
MFCS 2004: 513-524 |
| 18 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Hypothesis-based semantics of logic programs in multivalued logics.
ACM Trans. Comput. Log. 5(3): 508-527 (2004) |
| 17 | | Yann Loyer,
Umberto Straccia:
Epistemic Foundation of the Stable Model Semantics
CoRR cs.AI/0403002: (2004) |
| 2003 |
|---|
| 16 | | Yann Loyer,
Umberto Straccia:
Default Knowledge in Logic Programs with Uncertainty.
ICLP 2003: 466-480 |
| 15 | | Yann Loyer,
Umberto Straccia:
The Approximate Well-Founded Semantics for Logic Programs with Uncertainty.
MFCS 2003: 541-550 |
| 14 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Parametrized semantics of logic programs--a unifying framework.
Theor. Comput. Sci. 308(1-3): 429-447 (2003) |
| 2002 |
|---|
| 13 | | Yann Loyer,
Umberto Straccia:
Incertitude et hypothèses non-uniformes dans les bases de données déductives.
BDA 2002 |
| 12 | | Yann Loyer,
Nicolas Spyratos:
Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes.
BDA 2002 |
| 11 | | Yann Loyer,
Umberto Straccia:
The Well-Founded Semantics in Normal Logic Programs with Uncertainty.
FLOPS 2002: 152-166 |
| 10 | | Yann Loyer,
Umberto Straccia:
Non-uniform Hypothesis in Deductive Databases with Uncertainty.
ICLP 2002: 473-474 |
| 9 | | Yann Loyer,
Umberto Straccia:
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.
JELIA 2002: 271-282 |
| 8 | | Yann Loyer,
Nicolas Spyratos:
Hypothesis-Founded Semantics for Datalog Programs with Negation.
MFCS 2002: 483-494 |
| 2001 |
|---|
| 7 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Hypotheses Founded Semantics of Logic Programs for Information Integration in Multi-Valued Logics
CoRR cs.LO/0111059: (2001) |
| 2000 |
|---|
| 6 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Hypothesis Support for Information Integration in Four-Valued Logics.
IFIP TCS 2000: 536-548 |
| 5 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Integration of Information in Four-Valued Logics under Non-Uniform Assumptions.
ISMVL 2000: 185- |
| 4 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs.
JFPLC 2000: 265- |
| 3 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Computing and Comparing Semantics of Programs in Multi-valued Logics
CoRR cs.LO/0002013: (2000) |
| 1999 |
|---|
| 2 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Computing and Comparing Semantics of Programs in Four-Valued Logics.
MFCS 1999: 59-69 |
| 1998 |
|---|
| 1 | | Yann Loyer,
Nicolas Spyratos,
Daniel Stamate:
Unification des sémantiques usuelles de programmes logiques.
JFPLC 1998: 135-150 |
