Game semantics for non-monotonic intensional logic programming.
Saved in:
| Title: | Game semantics for non-monotonic intensional logic programming. |
|---|---|
| Authors: | Galanaki, Chrysida1 chrysida@di.uoa.gr, Nomikos, Christos2 cnomikos@cs.uoi.gr, Rondogiannis, Panos1 prondo@di.uoa.gr |
| Source: | Annals of Pure & Applied Logic. Feb2017, Vol. 168 Issue 2, p234-253. 20p. |
| Database: | Academic Search Ultimate |
| ISSN: | 01680072 |
|---|---|
| DOI: | 10.1016/j.apal.2016.10.005 |
