Game semantics for non-monotonic intensional logic programming

Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis. Game semantics for non-monotonic intensional logic programming. Annals of Pure and Applied Logic, 168(2):234-253, 2017. [doi]

@article{GalanakiNR17,
  title = {Game semantics for non-monotonic intensional logic programming},
  author = {Chrysida Galanaki and Christos Nomikos and Panos Rondogiannis},
  year = {2017},
  doi = {10.1016/j.apal.2016.10.005},
  url = {http://dx.doi.org/10.1016/j.apal.2016.10.005},
  researchr = {https://researchr.org/publication/GalanakiNR17},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {168},
  number = {2},
  pages = {234-253},
}