Výsledky vyhledávání - "Negation in logic programming"

  • Zobrazuji výsledky 1 - 8 z 8
Upřesnit hledání
  1. 1
    Obálka

    Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Autor CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2018
    “…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    The intricacies of three-valued extensional semantics for higher-order logic programs Autor RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.09.2017
    “…M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    The infinite-valued semantics: overview, recent results and future directions Autor Rondogiannis, Panos, Troumpoukis, Antonis

    ISSN: 1166-3081, 1958-5780
    Vydáno: Abingdon Routledge 01.06.2013
    “…The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    An infinite-game semantics for well-founded negation in logic programming Autor Galanaki, Chrysida, Rondogiannis, Panos, Wadge, William W.

    ISSN: 0168-0072
    Vydáno: Elsevier B.V 01.02.2008
    Vydáno v Annals of pure and applied logic (01.02.2008)
    “…We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Strong equivalence of logic programs under the infinite-valued semantics Autor Nomikos, Christos, Rondogiannis, Panos, Wadge, William W.

    ISSN: 0020-0190, 1872-6119
    Vydáno: Amsterdam Elsevier B.V 16.05.2009
    Vydáno v Information processing letters (16.05.2009)
    “…We consider the notion of strong equivalence [V. Lifschitz, D. Pearce, A. Valverde, Strongly equivalent logic programs, ACM Transactions on Computational Logic…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Proving correctness and completeness of normal programs – a declarative approach Autor DRABENT, WŁODZIMIERZ, MIŁKOWSKA, MIROSŁAWA

    ISSN: 1471-0684, 1475-3081, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.11.2005
    “…We advocate a declarative approach to proving properties of logic programs. Total correctness can be separated into correctness, completeness and clean…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Obálka

    Logic programming with default, weak and strict negations Autor YAMASAKI, SUSUMU

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.11.2006
    “…This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  8. 8
    Obálka

    Logic programming with default, weak and strict negations Autor Yamasaki, Susumu

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge University Press (CUP) 16.10.2006
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: