2006

• Yann Loyer, Umberto Straccia. Epistemic Foundation of Stable Model Semantics. Theory and Practice of Logic Programming (TPLP), 6(4): 355-393 , 2006.

2005

• Yann Loyer, Umberto Straccia. Any-world assumptions in logic programming. Theoretical Computer Science (TCS), 342(2-3): 351-381, 2005.

2004

• Yann Loyer, Nicolas Spyratos and Daniel Stamate. Hypotheses-Based Semantics of Logic Programs in Multi-Valued Logics. ACM Transactions on Computational Logic (TOCL), 15(3): 508-527, 2004.
• Yann Loyer, Umberto Straccia. Epistemic Foundation of the Well-Founded Semantics over Bilattices. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), Lecture Notes in Computer Science 3153, Springer Verlag, 2004.
• Yann Loyer, Nicolas Spyratos. Knowledge Integration in Rule-based Information Sources. In Actes des 20èmes journées Bases de Données Avancées (BDA 2004). Hermes, 2004.

2003

• Yann Loyer, Nicolas Spyratos and Daniel Stamate. Parametrized semantics of logic programs – a unifying framework. Theoretical Computer Science (TCS), 308(1-3): 429-447, 2003.
• Yann Loyer, Umberto Straccia. Default Knowledge in Logic Programs with Uncertainty. In Proceedings of the 19th International Conference on Logic Programming, (ICLP 2003), Lecture Notes in Computer Science 2916, Springer Verlag, 2003.
• Yann Loyer, Umberto Straccia. The Approximate Well-founded Semantics for Logic Programs with Uncertainty. In Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science (MFCS 2003), Lecture Notes in Computer Science 2747, Springer Verlag, 2003.

2002

• Yann Loyer, Nicolas Spyratos. Hypothesis-Founded Semantics for Datalog Programs with Negation. In Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), Lecture Notes in Computer Science 2420. Springer Verlag, 2002.
• Yann Loyer, Umberto Straccia. Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases. In Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA 2002), Lecture Notes in Computer Science 2424. Springer Verlag, 2002.
• Yann Loyer, Umberto Straccia. The Well-Founded Semantics in Normal Logic Programs with Uncertainty. In Proceedings of the 6th International Symposium on Functional and Logic Programming, (FLOPS 2002), Lecture Notes in Computer Science 2441. Springer Verlag, 2002.
• Yann Loyer, Umberto Straccia. Non-uniform Hypothesis in Deductive Databases with Uncertainty. In Proceedings of the 18th International Conference on Logic Programming, (ICLP 2002), Lecture Notes in Computer Science 2401. Springer Verlag, 2002.
• Yann Loyer, Nicolas Spyratos. Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes. In Actes des 18èmes journées Bases de Données Avancées (BDA 2002). Hermes, 2002.
• Yann Loyer, Umberto Straccia. Incertitude et hypothèses non-uniformes dans les bases de données déductives. In Actes des 18èmes journées Bases de Données Avancées (BDA 2002). Hermes, 2002.

2001

• Yann Loyer. Hypotheses versus logic programs : a semantical approach to information integration in multi-valued logics. Ph.D. Thesis, Laboratoire de Recherche en Informatique, Université de Paris Sud, Orsay, France. In french.

2000

• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Hypothesis Support for Information Integration in Four-Valued Logics. In Proceedings of the first International Conference on Theoretical Computer Science (IFIP TCS 2000) - Exploring New Frontiers of Theoretical Informatics -, Lecture Notes in Computer Science 1872. Springer Verlag, 2000.
• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Integration of information in four-valued logics under non-uniform assumptions. In Proceedings of the 30th IEEE International Symposium on Multi-Valued Logics (ISMVL 2000). IEEE Press, 2000.
• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Interfacing decision support systems under incomplete information. In Proceedings of the 25th International Conference on Information and Communication Technologies and Programming (ICT&P 2000). Institute of Mathematics and Informatics, Sofia, 2000.
• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Hypotheses based semantics for information integration in four-valued logics. In Fixed Points in Computer Science, (FICS 2000) - a Satellite Workshop to LC 2000 -, 2000.
• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Test d'hypothèses pour l'intégration d'informations en logique à quatre valeurs. In Actes des 9èmes Journées francophones de programmation logique et avec contraintes (JFPLC'2000). Hermes, 2000.

1999

• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Computing and comparing semantics of programs in four-valued logics. In Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science (MFCS'99), Lecture Notes in Computer Science 1672. Springer Verlag, 1999.

1998

• Yann Loyer, Nicolas Spyratos, and Daniel Stamate. Unification des sémantiques usuelles de programmes logiques. In Actes des 7èmes Journées francophones de programmation logique et avec contraintes (JFPLC'98). Hermes, 1998.