Výsledky vyhľadávania - "Weak SLD Resolution"

Proximity-Based Unification: An Efficient Implementation Method

Autori: Pascual Julian-Iranzo Fernando Saenz-Perez Universidad Complutense de Madrid

Prispievatelia: Pascual Julian-Iranzo Fernando Saenz-Perez Universidad Complutense de Madrid

Zdroj: Docta Complutense
instname

Predmety: Fuzzy Logic Programming, 1203.23 Lenguajes de Programación, Bousi-Prolog, Proximity Relations, 0202 electrical engineering, electronic engineering, information engineering, Fuzzy Prolog, 02 engineering and technology, Weak Unification, Lenguajes de programación, Weak SLD Resolution

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/114021
https://dblp.uni-trier.de/db/journals/tfs/tfs29.html#IranzoS21
https://ieeexplore.ieee.org/document/8993847
http://ieeexplore.ieee.org/document/8993847

Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering

Autori: Clemente Rubio-Manzano Pascual Julián-Iranzo Juan Gallardo-Casero

Zdroj: Electronic Notes in Theoretical Computer Science. 248:131-147

Predmety: Fuzzy Logic Programming, Unification by Similarity, 0202 electrical engineering, electronic engineering, information engineering, Fuzzy Prolog, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Weak SLD Resolution, Theoretical Computer Science, Computer Science(all)

found at the ENTCS Macro Home Page. Bousi∼Prolog: a Prolog extension language

Autori: Clemente Rubio-manzano The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Clemente Rubio-manzano The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.inf-cr.uclm.es/www/pjulian/SwSystems/bousi/downloads/bousi_paper.pdf.

Predmety: Fuzzy Logic Programming, Fuzzy Prolog, Unification by Similarity, Weak SLD Resolution

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.4045

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.4045
http://www.inf-cr.uclm.es/www/pjulian/SwSystems/bousi/downloads/bousi_paper.pdf

Proximity-based Unification: an Efficient Implementation Method

Autori: Julián-Iranzo, Pascual Sáenz Pérez, Fernando

Témy: Fuzzy Logic Programming, Fuzzy Prolog, Bousi-Prolog, Weak Unification, Weak SLD Resolution, Proximity Relations, Lenguajes de programación, 1203.23 Lenguajes de Programación, journal article, AM

URL: https://hdl.handle.net/20.500.14352/114021
TIN2016-76843-C4-2-R
TIN2017- 86217-R
S2018/TCS-4339
P. Julián-Iranzo and F. Sáenz-Pérez, "Proximity-Based Unification: An Efficient Implementation Method," in IEEE Transactions on Fuzzy Systems, vol. 29, no. 5, pp. 1238-1251, May 2021, doi: 10.1109/TFUZZ.2020.2973129.