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: 91,202

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

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.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Multiple Predicate Learning in Two Inductive Logic Programming Settings.Luc de Raedt & Nada Lavrac - 1996 - Logic Journal of the IGPL 4 (2):227-254.
Minimal models vs. logic programming: the case of counterfactual conditionals.Katrin Schulz - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):153-168.
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknown
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers.Jurgen Dix, Louis M. Pereira & Teodor C. Przymusinski - 1995 - Springer Verlag.
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.
Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers'.J. Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 1997
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop.Lua-S. Moniz Pereira & Anil Nerode - 1993 - MIT Press.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Logic of Intensional Acts and the Theory of Games.A. T. Ishmuratov - 1988 - Bulletin of the Section of Logic 17 (3/4):104-13.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.

Analytics

Added to PP
2016-10-18

Downloads
16 (#851,323)

6 months
4 (#678,769)

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