A game semantics for disjunctive logic programming

DOI10.1016/J.APAL.2013.05.008MaRDI QIDQ388214zbMATHOpenAlexFDO

Authors Thanos Tsouanas

Publication date 19 December 2013

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.2013.05.008

zbMATH Keywords

game semanticslogic programmingdisjunctive logic programminglogic programming semantics

Mathematics Subject Classification ID

Logic programming (68N17) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)

Recommendations

• An infinite-game semantics for well-founded negation in logic programming
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1453064
• Game semantics for non-monotonic intensional logic programming

Cites work

• scientific article; zbMATH DE number 1696767 (Why is no real title available?)
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 1342245 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1158760 (Why is no real title available?)
• scientific article; zbMATH DE number 1499102 (Why is no real title available?)
• scientific article; zbMATH DE number 3190338 (Why is no real title available?)
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• A game semantics for proof search (preliminary results)
• A game-theoretic characterization of Boolean grammars
• An infinite-game semantics for well-founded negation in logic programming
• Coalgebraic semantics for derivations in logic programming
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Fixpoint semantics for logic programming a survey
• Full abstraction for PCF
• Logic Programming with Focusing Proofs in Linear Logic
• Logic programming with sequent systems: a linear logic approach
• Making prolog more expressive
• Minimum model semantics for logic programs with negation-as-failure
• On full abstraction for PCF: I, II and III
• Quantitative deduction and its fixpoint theory
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Uniform proofs as a foundation for logic programming

Cited in

(5)

• Game semantics for non-monotonic intensional logic programming
• Game semantics for non-monotonic intensional logic programming
• An infinite-game semantics for well-founded negation in logic programming
• Fast interpreter for logical reasoning in general game playing
• Propositional dynamic logic for searching games with errors

Describes a project that uses

Uses Software

• CoALP

This page was built for publication: A game semantics for disjunctive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q388214)