Game semantics for non-monotonic intensional logic programming

, &
Annals of Pure and Applied Logic 168 (2):234-253 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.10.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
An infinite-game semantics for well-founded negation in logic programming.Chrysida Galanaki, Panos Rondogiannis & William W. Wadge - 2008 - Annals of Pure and Applied Logic 151 (2-3):70-88.
Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators.Toshiyasu Arai - 2010 - Annals of Pure and Applied Logic 162 (2):107-143.
The infinite-valued semantics: overview, recent results and future directions.Panos Rondogiannis & Antonis Troumpoukis - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):213-228.
Multiple Predicate Learning in Two Inductive Logic Programming Settings.Luc de Raedt & Nada Lavrac - 1996 - Logic Journal of the IGPL 4 (2):227-254.
Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects.J. Laird - 2017 - Annals of Pure and Applied Logic 168 (2):470-500.
The Kierstead's Conjecture and limitwise monotonic functions.Guohua Wu & Maxim Zubkov - 2018 - Annals of Pure and Applied Logic 169 (6):467-486.
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
Incorporating equality into logic programming via surface deduction.P. T. Cox & T. Pietrzykowski - 1986 - Annals of Pure and Applied Logic 31:177-189.
A relational semantics for parallelism and non-determinism in a functional setting.Antonio Bucciarelli, Thomas Ehrhard & Giulio Manzonetto - 2012 - Annals of Pure and Applied Logic 163 (7):918-934.

Analytics

Added to PP
2016-10-18

Downloads
18 (#827,007)

6 months
6 (#701,126)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.

Add more references