Author:
Galanaki Chrysida,Nomikos Christos,Rondogiannis Panos
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;R. Cosmo Di,1998
2. Fariñas del Cerro, L.: MOLOG: A System that Extends PROLOG with Modal Logic. New Generation Computing 4, 35–50 (1986)
3. Galanaki, C., Rondogiannis, P., Wadge, W.W.: An Infinite-Game Semantics for Well-Founded Negation in Logic Programming. Annals of Pure and Applied Logic 151(2-3), 70–88 (2008)
4. Gale, D., Stewart, F.M.: Infinite Games with Perfect Information. Annals of Mathematical Studies 28, 245–266 (1953)
5. Martin, D.A.: Borel Determinacy. Annals of Math. 102, 363–371 (1975)