Game semantics for non-monotonic intensional logic programming
From MaRDI portal
Publication:345702
DOI10.1016/J.APAL.2016.10.005zbMath1350.68055OpenAlexW2530798921MaRDI QIDQ345702
Christos Nomikos, Chrysida Galanaki, Panos Rondogiannis
Publication date: 2 December 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2016.10.005
Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A game semantics for disjunctive logic programming
- MOLOG: A system that extends PROLOG with modal logic
- Descriptive set theory
- Borel determinacy
- Fixpoint semantics for logic programming a survey
- An infinite-game semantics for well-founded negation in logic programming
- Quantitative deduction and its fixpoint theory
- Towards a unified theory of intensional logic programming
- The well-founded semantics for general logic programs
This page was built for publication: Game semantics for non-monotonic intensional logic programming
