Concepedia

Yann Loyer

YL

Statistics

Publications

5

Citations

93

H-Index

5

Active since

2002

Affiliations

Université de Versailles Saint-Quentin-en-Yvelines(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Université Paris Cité

Université Paris-Sud

Yann Loyer is an author at Université de Versailles Saint-Quentin-en-Yvelines specializing in computer science, logic, and computing.

Publications per year

2002–2006

5

Publications

5

Any-world assumptions in logic programming

Yann Loyer, Umberto Straccia · Theoretical Computer Science · 2005 · 30 citations

Computing, Computer Science, Formal Methods +7

Epistemic foundation of stable model semantics

Yann Loyer, Umberto Straccia · Theory and Practice of Logic Programming · 2006 · 20 citations

Humanities, Computer Science, Formal Methods +10

Hypothesis-based semantics of logic programs in multivalued logics

Yann Loyer, Nicolas Spyratos, Daniel Stamate · ACM Transactions on Computational Logic · 2004 · 19 citations

Computing, Computer Science, Formal Methods +13

Parametrized semantics of logic programs—a unifying framework

Yann Loyer, Nicolas Spyratos, Daniel Stamate · Theoretical Computer Science · 2003 · 13 citations

Computing, Computer Science, Logic +13

Integration of information in four-valued logics under non-uniform assumptions

Yann Loyer, Nicolas Spyratos, Daniel Stamate · 2002 · 11 citations

Computing, Computer Science, Distributed Systems +10

1–5 of 5