Game semantics for non-monotonic intensional logic programming
From MaRDI portal
Publication:345702
DOI10.1016/J.APAL.2016.10.005zbMATH Open1350.68055OpenAlexW2530798921MaRDI QIDQ345702FDOQ345702
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
Recommendations
Applications of game theory (91A80) Logic programming (68N17) Semantics in the theory of computing (68Q55)
Cites Work
- The well-founded semantics for general logic programs
- Borel determinacy
- Title not available (Why is that?)
- Title not available (Why is that?)
- Descriptive set theory
- MOLOG: A system that extends PROLOG with modal logic
- Fixpoint semantics for logic programming a survey
- An infinite-game semantics for well-founded negation in logic programming
- Quantitative deduction and its fixpoint theory
- Title not available (Why is that?)
- A game semantics for disjunctive logic programming
- Towards a unified theory of intensional logic programming
- Title not available (Why is that?)
Cited In (7)
- Propositional dynamic logic for searching games with errors
- Game-theoretic semantics for non-distributive logics
- Towards a unified theory of intensional logic programming
- Fast interpreter for logical reasoning in general game playing
- Automated Reasoning with Analytic Tableaux and Related Methods
- Title not available (Why is that?)
- Intensional logic in context
This page was built for publication: Game semantics for non-monotonic intensional logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q345702)
