Logic programming and negation: A survey, Journal of Logic Programming, vol.19, pp.9-71, 1994. ,
An introduction to inductive definitions, Handbook of Mathematical Logic, pp.739-782, 1977. ,
Full abstraction for PCF. Information and Computation, vol.163, pp.409-470, 2000. ,
On the algebraic structure of declarative programming languages, Theoretical Computer Science, vol.410, issue.46, pp.4626-4671, 2009. ,
Game semantics, Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School, pp.1-56, 1999. ,
Logic programming with focusing proofs in linear logic, Journal of Logic and Computation, vol.2, pp.297-347, 1992. ,
Logic programming with sequent systems, Extensions of Logic Programming, vol.475, pp.1-30, 1991. ,
Logic programming, Handbook of theoretical computer science, pp.493-574, 1990. ,
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, Theoretical Computer Science, vol.410, issue.41, pp.4044-4066, 2009. ,
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
Negation as failure. Logic and Databases, pp.293-322, 1978. ,
Predicate logic as a computational formalism, 1979. ,
An algebraic semantics for structured transition systems and its applications to logic programs, Theoretical Computer Science, vol.103, issue.1, pp.51-106, 1992. ,
A purely model-theoretic semantics for disjunctive logic programs with negation, Lecture Notes in Computer Science, vol.4483, pp.44-57, 2007. ,
A game semantics foundation for logic programming, Principles of Declarative Programming, vol.1490, pp.355-373 ,
Introduction to Lattices and Order, 2002. ,
A kripke-kleene semantics for logic programs, Journal of Logic Programming, vol.2, issue.4, pp.295-312, 1985. ,
Fixpoint semantics for logic programming-a survey, Theoretical Computer Science, vol.278, pp.25-51, 1999. ,
Answer sets, Handbook of Knowledge Representation, 2008. ,
The stable model semantics for logic programming, pp.1070-1080, 1988. ,
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. ,
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. ,
Logic and games, The Stanford Encyclopedia of Philosophy, 2009. ,
Coalgebraic semantics for parallel derivation strategies in logic programming, Lecture Notes in Computer Science, vol.6486, pp.111-127, 2010. ,
A game-theoretic characterization of boolean grammars, Theoretical Computer Science, vol.412, pp.1169-1183, 2011. ,
A fibrational semantics for logic programs, Lecture Notes in Computer Science, vol.1050, pp.177-191, 1996. ,
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. ,
Coalgebraic logic programming: from semantics to implementation, 2013. ,
Negation in logic programming, Journal of Logic Programming, vol.4, issue.4, pp.289-308, 1987. ,
Playing logic programs with the alpha-beta algorithm, Lecture Notes in Computer Science, vol.1955, pp.207-224, 2000. ,
Foundations of Logic Programming, 1987. ,
Foundations of disjunctive logic programming, 1992. ,
Ein dialogisches konstruktivitätskriterium, finitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, Warsaw, pp.193-200, 1959. ,
Making Prolog more expressive, Journal of Logic Programming, vol.3, pp.225-240, 1984. ,
Every formula-based logic program has a least infinite-valued model, Lecture Notes in Computer Science, vol.7773, pp.155-172, 2011. ,
On indefinite databases and the closed world assumption, Lecture Notes in Computer Science, vol.138, 1982. ,
Programming with HigherOrder Logic, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00776197
Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, pp.125-157, 1991. ,
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
Hereditarily sequential functionals, Lecture Notes in Computer Science, vol.813, pp.253-264, 1994. ,
A game semantics for intensional logic programming. Presented in Games for Logic and Programming Languages, 2012. ,
A games semantics of ASP, Logic Programming, vol.4670, pp.460-461 ,
A games semantics for reductive logic and proof-search, Games for Logic and Programming Languages, pp.107-123, 2002. ,
On closed world data bases. Logic and Databases, pp.55-76, 1978. ,
Minimum model semantics for logic programs with negation-as-failure, ACM Trans. Comput. Logic, vol.6, issue.2, pp.441-467, 2005. ,
Semantic approaches to logic programming, 2010. ,
A game semantics for disjunctive logic programming, Annals of Pure and Applied Logic, vol.164, issue.11, pp.1144-1175, 2013. ,
Models and Games. Cambridge series in advanced mathematics, 2011. ,
Quantitative deduction and its fixpoint theory, Journal of Logic Programming, vol.3, pp.37-53, 1986. ,
The semantics of predicate logic as a programming language, Journal of the ACM, vol.23, pp.569-574, 1976. ,
The wellfounded semantics for general logic programs, J. ACM, vol.38, issue.3, pp.619-649, 1991. ,