Suchergebnisse - "Weak SLD Resolution"

  • Treffer 1 - 4 von 4
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language von Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

    ISSN: 0957-4174, 1873-6793
    Veröffentlicht: Elsevier Ltd 01.03.2023
    Veröffentlicht in Expert systems with applications (01.03.2023)
    “… The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    A sound and complete semantics for a similarity-based logic programming language von Julián-Iranzo, Pascual, Rubio-Manzano, Clemente

    ISSN: 0165-0114, 1872-6801
    Veröffentlicht: Elsevier B.V 15.06.2017
    Veröffentlicht in Fuzzy sets and systems (15.06.2017)
    “… Similarity-based Logic Programming replaces the syntactic unification algorithm of classical SLD-resolution by a fuzzy one, leading to an operational mechanism …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Proximity-Based Unification: An Efficient Implementation Method von Julian-Iranzo, Pascual, Saenz-Perez, Fernando

    ISSN: 1063-6706, 1941-0034
    Veröffentlicht: New York IEEE 01.05.2021
    Veröffentlicht in IEEE transactions on fuzzy systems (01.05.2021)
    “… Unification is a central concept in logic systems based on the resolution principle. As well, in knowledge representation, proximity relations (i.e., …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering von Julián-Iranzo, Pascual, Rubio-Manzano, Clemente, Gallardo-Casero, Juan

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 05.08.2009
    Veröffentlicht in Electronic notes in theoretical computer science (05.08.2009)
    “… In this paper we present the main features and implementation details of a programming language that we call Bousi~Prolog. It can be seen as an extension of …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: