Author:
Galanaki Chrysida,Nomikos Christos,Rondogiannis Panos
Reference17 articles.
1. A game semantics foundation for logic programming;Di Cosmo,1998
2. MOLOG: a system that extends PROLOG with modal logic;Fariñas del Cerro;New Gener. Comput.,1986
3. Fixpoint semantics for logic programming: a survey;Fitting;Theoret. Comput. Sci.,2002
4. An infinite-game semantics for well-founded negation in logic programming;Galanaki;Ann. Pure Appl. Logic,2008
5. Infinite games with perfect information;Gale;Ann. Math. Stud.,1953
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献