Výsledky vyhľadávania - "Fuzzy logic programming"

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations

Autori: Lanzinger M. Sferrazza S. Gottlob G.

Zdroj: Theory and Practice of Logic Programming. 22:678-692

Predmety: FOS: Computer and information sciences, Datalog, logic, Computer Science - Logic in Computer Science, ±, uncertainty in AI, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), logic programming, Łukasiewicz, 0202 electrical engineering, electronic engineering, information engineering, fuzzy logic programming

Prístupová URL adresa: http://arxiv.org/abs/2202.01718
https://ora.ox.ac.uk/objects/uuid:67dd1a11-55a5-44fc-8779-0df17fc718be
https://doi.org/10.1017/s1471068422000199
https://hdl.handle.net/20.500.11770/378731
https://doi.org/10.1017/S1471068422000199

An autonomic approach to risk-aware data center overbooking

Autori: Tomas, Luis Tordsson, Johan

Zdroj: IEEE Transactions on Cloud Computing. 2(3):292-305

Predmety: Admission Control, Overbooking, Resource Utilization, Scheduling, Control Theory, Fuzzy Logic Programming, Computer Science, datalogi

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-89521
https://umu.diva-portal.org/smash/get/diva2:721215/FULLTEXT01.pdf

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

Autori: PASCUAL JULIÁN-IRANZO FERNANDO SÁENZ-PÉREZ Universidad Complutense de Madrid

Prispievatelia: PASCUAL JULIÁN-IRANZO FERNANDO SÁENZ-PÉREZ Universidad Complutense de Madrid

Zdroj: Docta Complutense
instname

Predmety: FOS: Computer and information sciences, Fuzzy Logic Programming, Computer Science - Programming Languages, D.1.6, Bousi-Prolog, 1203.02 Lenguajes Algorítmicos, Fuzzy Prolog, 0102 computer and information sciences, 02 engineering and technology, Lenguajes de programación, 01 natural sciences, System Implementation, Hypothetical Reasoning, 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/pdf/2108.03602
http://arxiv.org/abs/2108.03602
https://hdl.handle.net/20.500.14352/114024
https://arxiv.org/pdf/2108.03602
https://arxiv.org/abs/2108.03602
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-03602
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/planning-for-an-efficient-implementation-of-hypothetical-bousiprolog/AC2AA802851B53427D7E531C41A9369B

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

Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System

Autori: PASCUAL JULIÁN-IRANZO FERNANDO SÁENZ-PÉREZ Universidad Complutense de Madrid

Prispievatelia: PASCUAL JULIÁN-IRANZO FERNANDO SÁENZ-PÉREZ Universidad Complutense de Madrid

Zdroj: Docta Complutense
instname

Predmety: FOS: Computer and information sciences, Fuzzy Logic Programming, 1203.23 Lenguajes de Programación, Computer Science - Programming Languages, D.1.6, WordNet, 02 engineering and technology, Proximity Equations, Lenguajes de programación, H.3.1, System Implementation, 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/pdf/2101.09619
http://arxiv.org/abs/2101.09619
https://hdl.handle.net/20.500.14352/114018
https://dblp.uni-trier.de/db/journals/corr/corr2101.html#abs-2101-09619
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/implementing-wordnet-measures-of-lexical-semantic-similarity-in-a-fuzzy-logic-programming-system/9CCADABC20B920EFC065FF22EAAFB9C1
https://doi.org/10.1017/S1471068421000028
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9CCADABC20B920EFC065FF22EAAFB9C1/S1471068421000028a.pdf/div-class-title-implementing-wordnet-measures-of-lexical-semantic-similarity-in-a-fuzzy-logic-programming-system-div.pdf
https://arxiv.org/abs/2101.09619

A System implementing Fuzzy Hypothetical Datalog⋆

Autori: Julian-Iranzo, Pascual Sáenz Pérez, Fernando IEEE a ďalší

Prispievatelia: Julian-Iranzo, Pascual Sáenz Pérez, Fernando IEEE a ďalší

Zdroj: Docta Complutense
instname

Predmety: Datalog, Fuzzy Logic Programming, 1203.23 Lenguajes de Programación, System Implementation, Hypothetical Reasoning, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Lenguajes de programación, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/114016
https://ieeexplore.ieee.org/abstract/document/9177715
https://dblp.uni-trier.de/db/conf/fuzzIEEE/fuzzIEEE2020.html#IranzoS20

Bousi-Prolog: Design and Implementation of a Proximity-based Fuzzy Logic Programming Language

Autori: Julián-Iranzo, Pascual Sáenz Pérez, Fernando Universidad Complutense de Madrid

Prispievatelia: Julián-Iranzo, Pascual Sáenz Pérez, Fernando Universidad Complutense de Madrid

Zdroj: Docta Complutense
instname

Predmety: Fuzzy Logic Programming, Bousi~Prolog, Weak Uni cation, 1203.02 Lenguajes Algorítmicos, Fuzzy Prolog, Weak SLD, Lenguajes de programación

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/114026

Some properties of substitutions in the framework of similarity relations

Autori: Julián Iranzo, Pascual Moreno Valverde, Ginés Damián Riaza Valverde, José Antonio

Predmety: Substitutions, Similarity relations, Weak unification, Weak parallel composition, Weak anti-unification, Weak parallel factorization, Fuzzy logic programming

Popis súboru: application/pdf

Relation: PID2019-104735RB-C42 (SAFER); https://hdl.handle.net/10578/36462

Dostupnosť: https://hdl.handle.net/10578/36462

Extending Fuzzy Linguistic Logic Programming with Negation †

Autori: Van Hung Le

Zdroj: Mathematics, Vol 10, Iss 3105, p 3105 (2022)

Predmety: fuzzy logic programming, stable model semantics, well-founded semantics, linguistic truth value, hedge algebra, linguistic hedge, Mathematics, QA1-939

Relation: https://www.mdpi.com/2227-7390/10/17/3105; https://doaj.org/toc/2227-7390; https://doaj.org/article/c501fdcd1ac44f70813aeee3b63458fd

Dostupnosť: https://doi.org/10.3390/math10173105
https://doaj.org/article/c501fdcd1ac44f70813aeee3b63458fd

Fuzzy Logic Programming and Fuzzy Control

Autori: Gerla, Giangiacomo

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2005 Mar 01. 79(2), 231-254.

Prístupová URL adresa: https://www.jstor.org/stable/20016685

Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler

Autori: Tomas, Luis Tordsson, Johan Vazquez, Carlos a ďalší

Zdroj: 2015 INTERNATIONAL CONFERENCE ON CLOUD AND AUTONOMIC COMPUTING (ICCAC). :33-44

Predmety: Cloud Computing, Clustering, Fuzzy Logic Programming, In-Server Scheduling, Noisy Neighbor, Overbooking, Computer Science, datalogi

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-109498
https://umu.diva-portal.org/smash/get/diva2:857427/FULLTEXT01.pdf

A fuzzy approach to cloud admission control for safe overbooking

Autori: Vázquez, Carlos Tomas, Luis Moreno, Ginés a ďalší

Zdroj: 10th International Workshop on Fuzzy Logic and Applications (WILF) Proceedings of the 10th International Workshop on Fuzzy Logic and Applications (WILF). :212-225

Predmety: cloud computing, admission control, fuzzy logic programming, resource utilization, risk assessment, Computer Science, datalogi

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-80400
https://umu.diva-portal.org/smash/get/diva2:648800/FULLTEXT01.pdf

Fuzzy types: a framework for handling uncertainty about types of objects: Fuzzy types: A framework for handling uncertainty about types of objects

Autori: Cao, T. H. Creasy, P. N.

Zdroj: International Journal of Approximate Reasoning. 25:217-253

Predmety: Type hierarchy, automated reasoning systems, Information Ordering, 0102 computer and information sciences, 02 engineering and technology, Sorted Logic, Information ordering, Logic programming, 01 natural sciences, Order-sorted Fuzzy Logic Programming, Fuzzy conceptual graphs, Theoretical Computer Science, C1, Artificial Intelligence, 700102 Application tools and system utilities, 0801 Artificial Intelligence and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, taxonomic information, Hierarchies, order-sorted fuzzy logic systems, Lattice-based Reasoning, Inheritance, Fuzzy Conceptual Graphs, 0103 Numerical and Computational Mathematics, Applied Mathematics, 0104 Statistics, Systems, Lattice-based reasoning, Order-sorted fuzzy logic programming, Fuzzy truth values, Type Hierarchy, Prolog, Computer Science, Fuzzy Truth Values, 280403 Logics and Meanings of Programs, Software

Popis súboru: application/xml

Prístupová URL adresa: https://www.sciencedirect.com/science/article/abs/pii/S0888613X00000554
https://dblp.uni-trier.de/db/journals/ijar/ijar25.html#CaoC00
https://espace.library.uq.edu.au/view/UQ:140552
https://dialnet.unirioja.es/servlet/articulo?codigo=711012
https://www.sciencedirect.com/science/article/pii/S0888613X00000554

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

Autori: Alejandro Luna Ginés Moreno Jesús M. Almendros-Jiménez

Zdroj: Electronic Notes in Theoretical Computer Science. 282:3-18

Predmety: Fuzzy Logic Programming, XPath Query Language, Software Tools, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

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)

Thresholded Tabulation in a Fuzzy Logic Setting

Autori: Pascual Julián Jesús Medina Manuel Ojeda-Aciego a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 248:115-130

Predmety: Fuzzy Logic Programming, Thresholding, Tabulation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theoretical Computer Science, Computer Science(all)

Fuzzy matchmaking in e-marketplaces of peer entities using Datalog

Autori: A. RAGONE U. STRACCIA DI NOIA, Tommaso a ďalší

Prispievatelia: A. RAGONE U. STRACCIA DI NOIA, Tommaso a ďalší

Zdroj: Fuzzy sets and systems 160 (2009): 251–268. doi:10.1016/j.fss.2008.07.002
info:cnr-pdr/source/autori:Ragone A.; Straccia U.; Di Noia T.; Di Sciascio E.; Donini F. M./titolo:Fuzzy matchmaking in e-marketplaces of peer entities using Datalog/doi:10.1016%2Fj.fss.2008.07.002/rivista:Fuzzy sets and systems/anno:2009/pagina_da:251/pagina_a:268/intervallo_pagine:251–268/volume:160

Predmety: Database, Top-k retrieval, Electronic market, Fuzzy logic programming, Databases, Electronic markets, Matchmaking, Fuzzy Datalog, 0202 electrical engineering, electronic engineering, information engineering, I.2.4 Knowledge Representation Formalisms and Methods, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: http://sisinflab.poliba.it/publications/2009/RSDDD09/fss.pdf
https://hdl.handle.net/11589/2325
https://doi.org/10.1016/j.fss.2008.07.002

Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Autori: Juan Antonio Guerrero Ginés Moreno

Zdroj: Electronic Notes in Theoretical Computer Science. 219:19-34

Predmety: Program Transformation, Folding/Unfolding Rules, Fuzzy Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: http://www.sciencedirect.com/science/article/pii/S157106610800426X
https://core.ac.uk/display/82145965
https://dl.acm.org/doi/10.1016/j.entcs.2008.10.032
https://www.sciencedirect.com/science/article/pii/S157106610800426X

Łukasiewicz Logic: From Proof Systems To Logic Programming: Łukasiewicz logic: from proof systems to logic programming

Autori: G., Metcalfe Olivetti, Nicola D., Gabbay a ďalší

Prispievatelia: G., Metcalfe Olivetti, Nicola D., Gabbay a ďalší

Zdroj: Logic Journal of the IGPL. 13:561-585

Predmety: Logic in computer science, Many-valued logic, 0202 electrical engineering, electronic engineering, information engineering, fuzzy logic programming, 02 engineering and technology, [INFO] Computer Science [cs], 0101 mathematics, Fuzzy logic, logic of vagueness, Logic programming, 01 natural sciences, Łukasiewicz logic, many-valued logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://amu.hal.science/hal-01479578v1

On fuzzy unfolding: A multi-adjoint approach

Autori: Pascual Julián Ginés Moreno Jaime Penabad

Zdroj: Fuzzy Sets and Systems. 154:16-33

Predmety: Fuzzy logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Fuzzy inference systems, Unfolding, Logic programming, Fuzzy logic, logic of vagueness, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/2196949
https://doi.org/10.1016/j.fss.2005.03.013