R. Krzysztof, R. Apt, and . Bol, Logic programming and negation: A survey, Journal of Logic Programming, vol.19, pp.9-71, 1994.

P. Aczel, An introduction to inductive definitions, Handbook of Mathematical Logic, pp.739-782, 1977.

S. Abramsky, R. Jagadeesan, and P. Malacaria, Full abstraction for PCF. Information and Computation, vol.163, pp.409-470, 2000.

G. Amato, J. Lipton, and R. Mcgrail, On the algebraic structure of declarative programming languages, Theoretical Computer Science, vol.410, issue.46, pp.4626-4671, 2009.

S. Abramsky and G. Mccusker, Game semantics, Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School, pp.1-56, 1999.

J. Andreoli, Logic programming with focusing proofs in linear logic, Journal of Logic and Computation, vol.2, pp.297-347, 1992.

J. Andreoli and R. Pareschi, Logic programming with sequent systems, Extensions of Logic Programming, vol.475, pp.1-30, 1991.

R. Krzysztof and . Apt, Logic programming, Handbook of theoretical computer science, pp.493-574, 1990.

F. Bonchi and U. Montanari, Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, Theoretical Computer Science, vol.410, issue.41, pp.4044-4066, 2009.

F. Bonchi and F. Zanasi, Saturated semantics for coalgebraic logic programming, Algebra and Coalgebra in Computer Science, vol.8089, pp.80-94, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909353

K. Clark, Negation as failure. Logic and Databases, pp.293-322, 1978.

K. Clark, Predicate logic as a computational formalism, 1979.

A. Corradini and U. Montanari, An algebraic semantics for structured transition systems and its applications to logic programs, Theoretical Computer Science, vol.103, issue.1, pp.51-106, 1992.

P. Cabalar, D. Pearce, P. Rondogiannis, and W. Wadge, A purely model-theoretic semantics for disjunctive logic programs with negation, Lecture Notes in Computer Science, vol.4483, pp.44-57, 2007.

R. Di, C. , J. Loddo, and S. Nicolet, A game semantics foundation for logic programming, Principles of Declarative Programming, vol.1490, pp.355-373

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.

M. Fitting, A kripke-kleene semantics for logic programs, Journal of Logic Programming, vol.2, issue.4, pp.295-312, 1985.

M. Fitting, Fixpoint semantics for logic programming-a survey, Theoretical Computer Science, vol.278, pp.25-51, 1999.

M. Gelfond, Answer sets, Handbook of Knowledge Representation, 2008.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, pp.1070-1080, 1988.

C. Galanaki, P. Rondogiannis, and W. W. Wadge, An infinite-game semantics for well-founded negation in logic programming, First Games for Logic and Programming Languages Workshop, vol.151, pp.70-88, 2008.

J. M. Hyland and C. Ong, On full abstraction for PCF: I. Models, observables and the full abstraction problem; II. Dialogue games and innocent strategies; III. A fully abstract and universal game model, Information and Computation, vol.163, pp.285-408, 2000.

W. Hodges, Logic and games, The Stanford Encyclopedia of Philosophy, 2009.

E. Komendantskaya, G. Mccusker, and J. Power, Coalgebraic semantics for parallel derivation strategies in logic programming, Lecture Notes in Computer Science, vol.6486, pp.111-127, 2010.

V. Kountouriotis, C. Nomikos, and P. Rondogiannis, A game-theoretic characterization of boolean grammars, Theoretical Computer Science, vol.412, pp.1169-1183, 2011.

Y. Kinoshita and A. Power, A fibrational semantics for logic programs, Lecture Notes in Computer Science, vol.1050, pp.177-191, 1996.

E. Komendantskaya and J. Power, Coalgebraic semantics for derivations in logic programming, Proceedings of the 4th international conference on Algebra and coalgebra in computer science, CALCO'11, pp.268-282, 2011.

E. Komendantskaya, J. Power, and M. Schmidt, Coalgebraic logic programming: from semantics to implementation, 2013.

K. Kunen, Negation in logic programming, Journal of Logic Programming, vol.4, issue.4, pp.289-308, 1987.

J. Loddo, R. Di, and C. , Playing logic programs with the alpha-beta algorithm, Lecture Notes in Computer Science, vol.1955, pp.207-224, 2000.

J. W. and L. , Foundations of Logic Programming, 1987.

J. Lobo, J. Minker, and A. Rajasekar, Foundations of disjunctive logic programming, 1992.

P. Lorenzen, Ein dialogisches konstruktivitätskriterium, finitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, Warsaw, pp.193-200, 1959.

J. W. Lloyd and R. W. Topor, Making Prolog more expressive, Journal of Logic Programming, vol.3, pp.225-240, 1984.

R. Lüdecke, Every formula-based logic program has a least infinite-valued model, Lecture Notes in Computer Science, vol.7773, pp.155-172, 2011.

J. Minker, On indefinite databases and the closed world assumption, Lecture Notes in Computer Science, vol.138, 1982.

D. Miller and G. Nadathur, Programming with HigherOrder Logic, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776197

D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, pp.125-157, 1991.

D. Miller and A. Saurin, A game semantics for proof search: Preliminary results, Electronic Notes in Theoretical Computer Science, vol.155, pp.543-563, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00527881

H. Nickau, Hereditarily sequential functionals, Lecture Notes in Computer Science, vol.813, pp.253-264, 1994.

C. Nomikos and P. Rondogiannis, A game semantics for intensional logic programming. Presented in Games for Logic and Programming Languages, 2012.

J. Needham and M. D. Vos, A games semantics of ASP, Logic Programming, vol.4670, pp.460-461

D. Pym and E. Ritter, A games semantics for reductive logic and proof-search, Games for Logic and Programming Languages, pp.107-123, 2002.

R. Reiter, On closed world data bases. Logic and Databases, pp.55-76, 1978.

P. Rondogiannis and W. W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Trans. Comput. Logic, vol.6, issue.2, pp.441-467, 2005.

T. Tsouanas, Semantic approaches to logic programming, 2010.

T. Tsouanas, A game semantics for disjunctive logic programming, Annals of Pure and Applied Logic, vol.164, issue.11, pp.1144-1175, 2013.

J. Väänänen, Models and Games. Cambridge series in advanced mathematics, 2011.

M. H. Van-emden, Quantitative deduction and its fixpoint theory, Journal of Logic Programming, vol.3, pp.37-53, 1986.

M. H. Van-emden and R. A. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM, vol.23, pp.569-574, 1976.

A. Van-gelder, K. A. Ross, and J. S. Schlipf, The wellfounded semantics for general logic programs, J. ACM, vol.38, issue.3, pp.619-649, 1991.