Search Results - "Negation in Logic Programming"

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Cover Image

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

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.07.2018
    Published in Theory and practice of logic programming (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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.09.2017
    Published in Theory and practice of logic programming (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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    ISSN: 1166-3081, 1958-5780
    Published: Abingdon Routledge 01.06.2013
    Published in Journal of applied non-classical logics (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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

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

    ISSN: 0168-0072
    Published: Elsevier B.V 01.02.2008
    Published in 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

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

    ISSN: 0020-0190, 1872-6119
    Published: Amsterdam Elsevier B.V 16.05.2009
    Published in 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

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

    ISSN: 1471-0684, 1475-3081, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.11.2005
    Published in Theory and practice of logic programming (01.11.2005)
    “…We advocate a declarative approach to proving properties of logic programs. Total correctness can be separated into correctness, completeness and clean…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

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

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge, UK Cambridge University Press 01.11.2006
    Published in Theory and practice of logic programming (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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Cover Image

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

    ISSN: 1471-0684, 1475-3081
    Published: Cambridge University Press (CUP) 16.10.2006
    Published in Theory and Practice of Logic Programming (16.10.2006)
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: