Výsledky vyhledávání - "Extensional higher-order logic programming"

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

    Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation Autor CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2014
    “…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    Equivalence of two fixed-point semantics for definitional higher-order logic programs Autor Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

    ISSN: 0304-3975, 1879-2294
    Vydáno: Elsevier B.V 15.03.2017
    Vydáno v Theoretical computer science (15.03.2017)
    “…Two distinct research approaches have been proposed for assigning extensional semantics to higher-order logic programming. The former approach [11] uses…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  3. 3
    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:
  4. 4
    Obálka

    Extensional Higher-Order Logic Programming Autor Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, W W

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 17.06.2011
    Vydáno v arXiv.org (17.06.2011)
    “…We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation Autor Charalambidis, Angelos, Ésik, Zoltán, Rondogiannis, Panos

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 15.05.2014
    Vydáno v arXiv.org (15.05.2014)
    “…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: