Game semantics for non-monotonic intensional logic programming

DOI10.1016/J.APAL.2016.10.005MaRDI QIDQ345702zbMATHOpenAlexFDO

Authors Chrysida Galanaki, Christos Nomikos, 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

zbMATH Keywords

game semanticsintensional logic programmingnonmonotonicity

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Game semantics for non-monotonic intensional logic programming
• Towards a unified theory of intensional logic programming
• A game semantics for system P
• A game semantics for disjunctive logic programming
• scientific article; zbMATH DE number 1241700

Cites work

• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 1099350 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• A game semantics for disjunctive logic programming
• An infinite-game semantics for well-founded negation in logic programming
• Borel determinacy
• Descriptive set theory
• Fixpoint semantics for logic programming a survey
• MOLOG: A system that extends PROLOG with modal logic
• Quantitative deduction and its fixpoint theory
• The well-founded semantics for general logic programs
• Towards a unified theory of intensional logic programming

Cited in

(9)

• Game semantics for non-monotonic intensional logic programming
• Game-theoretic semantics for non-distributive logics
• Fast interpreter for logical reasoning in general game playing
• scientific article; zbMATH DE number 1688376 (Why is no real title available?)
• A game semantics for disjunctive logic programming
• Propositional dynamic logic for searching games with errors
• Intensional logic in context
• Towards a unified theory of intensional logic programming
• Automated Reasoning with Analytic Tableaux and Related Methods

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)