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 |
Be the first to leave a comment!