Game semantics for non-monotonic intensional logic programming

DOI10.1007/978-3-642-40564-8_33zbMATH Open1318.68067OpenAlexW342963377MaRDI QIDQ2851265FDOQ2851265

Authors: Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis 

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_33

Recommendations

• Game semantics for non-monotonic intensional logic programming
• Towards a unified theory of intensional logic programming
• Intensional logic in context
• A game semantics for disjunctive logic programming
• scientific article

Mathematics Subject Classification ID

Applications of game theory (91A80) 2-person games (91A05) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (6)

• 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?)

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 Q2851265)