A Fuzzy Datalog Deductive Database System

This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-fo...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on fuzzy systems Vol. 26; no. 5; pp. 2634 - 2648
Main Authors: Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Format: Journal Article
Language:English
Published: New York IEEE 01.10.2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math> </inline-formula>
Annotations
Datalog Educational System (<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{DES}}}</tex-math> </inline-formula>)
deductive database
Deductive databases
Fuzzy logic
fuzzy logic programming
fuzzy prolog
Fuzzy systems
Graphical user interface
Logic programming
Query languages
Recommender systems
Semantics
Structured Query Language
Superluminescent diodes
weak unification
ISSN:1063-6706, 1941-0034
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-formula><tex-math notation="LaTeX"> {\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math></inline-formula> are tailored to the needs of the deductive database system <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math> </inline-formula>. We develop a version of fuzzy <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> where programs and queries are compiled to the <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math></inline-formula> core <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> language. Weak unification and weak SLD resolution are adapted for this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Prolog}}}</tex-math> </inline-formula>, which is open source, multiplatform, portable, and in-memory, featuring a graphical user interface. A distinctive feature of this system is that, unlike others, we have formally demonstrated that our implementation techniques fit the proposed operational semantics. We also study the efficiency of these implementation techniques through a series of detailed experiments. Moreover, a database example for a recommender system is used to illustrate some of the features of the system and its usefulness.
AbstractList This paper describes a proposal for a deductive database system with fuzzy [Formula Omitted] as its query language. Concepts supporting the fuzzy logic programming system [Formula Omitted] are tailored to the needs of the deductive database system [Formula Omitted]. We develop a version of fuzzy [Formula Omitted] where programs and queries are compiled to the [Formula Omitted] core [Formula Omitted] language. Weak unification and weak SLD resolution are adapted for this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in [Formula Omitted], which is open source, multiplatform, portable, and in-memory, featuring a graphical user interface. A distinctive feature of this system is that, unlike others, we have formally demonstrated that our implementation techniques fit the proposed operational semantics. We also study the efficiency of these implementation techniques through a series of detailed experiments. Moreover, a database example for a recommender system is used to illustrate some of the features of the system and its usefulness.
This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-formula><tex-math notation="LaTeX"> {\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math></inline-formula> are tailored to the needs of the deductive database system <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math> </inline-formula>. We develop a version of fuzzy <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> where programs and queries are compiled to the <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math></inline-formula> core <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> language. Weak unification and weak SLD resolution are adapted for this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Prolog}}}</tex-math> </inline-formula>, which is open source, multiplatform, portable, and in-memory, featuring a graphical user interface. A distinctive feature of this system is that, unlike others, we have formally demonstrated that our implementation techniques fit the proposed operational semantics. We also study the efficiency of these implementation techniques through a series of detailed experiments. Moreover, a database example for a recommender system is used to illustrate some of the features of the system and its usefulness.
Author Julian-Iranzo, Pascual
Saenz-Perez, Fernando
Author_xml – sequence: 1
  givenname: Pascual
  surname: Julian-Iranzo
  fullname: Julian-Iranzo, Pascual
  email: Pascual.Julian@uclm.es
  organization: Department of Information Technologies and Systems, University of Castilla-La Mancha, Ciudad Real, Spain
– sequence: 2
  givenname: Fernando
  orcidid: 0000-0001-6075-4398
  surname: Saenz-Perez
  fullname: Saenz-Perez, Fernando
  email: fernan@sip.ucm.es
  organization: Department of Software Engineering and Artificial Intelligence, Universidad Complutense de Madrid, Madrid, Spain
BookMark eNp9kE1Lw0AQhhdRsK3-Ab0EPHlI3dmv7B5La1UoeLC99LJskomktEnNboT215t-4MGDp3kZ3mcGnj65rOoKCbkDOgSg5mk-XSyXQ0ZBD5mmyjB-QXpgBMSUcnHZZap4rBKqrknf-xWlICToHnkcRdN2v99FExfcuv6MJpi3WSi_8bhJncfoY-cDbm7IVeHWHm_Pc0AW0-f5-DWevb-8jUezOGNGhliiKhSCwpQxRlGkRnMUlGZOF8CV0kYzkfNCytQkVDCTcZ3lTiQszbnLEz4gD6e726b-atEHu6rbpupeWgaQgBYKRNfSp1bW1N43WNisDC6UdRUaV64tUHsQY49i7EGMPYvpUPYH3TblxjW7_6H7E1Qi4i-gmeFaSv4DbQFu3A
CODEN IEFSEV
CitedBy_id crossref_primary_10_1109_TFUZZ_2020_2973129
crossref_primary_10_1016_j_fss_2022_01_006
crossref_primary_10_1017_S1471068422000199
crossref_primary_10_1017_S1471068421000405
crossref_primary_10_1017_S1471068421000028
crossref_primary_10_1007_s10579_024_09752_w
Cites_doi 10.1016/0020-0255(84)90020-3
10.1016/0165-0114(82)90052-5
10.1007/978-3-642-12251-4_15
10.1145/321992.321996
10.1016/j.fss.2005.03.013
10.1016/0165-0114(89)90201-7
10.4018/ijdwm.2014010102
10.1002/(SICI)1098-111X(199708)12:8<597::AID-INT3>3.0.CO;2-F
10.1002/int.10067
10.1007/978-3-540-88594-8_8
10.1016/S0304-3975(01)00188-8
10.1016/S0020-0190(00)00064-8
10.3233/FI-2000-41402
10.1016/j.asoc.2013.09.004
10.1007/978-3-642-83189-8
10.1016/j.entcs.2011.02.011
10.3233/IFS-130834
10.1016/j.fss.2003.10.017
10.1016/j.fss.2016.12.016
10.1145/357162.357169
10.1145/371282.371357
10.1016/S0165-0114(01)00106-3
10.1017/S1471068411000500
10.1109/69.43410
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018
DBID 97E
RIA
RIE
AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1109/TFUZZ.2018.2806923
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005–Present
IEEE All-Society Periodicals Package (ASPP) 1998–Present
IEEE/IET Electronic Library
CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISSN 1941-0034
EndPage 2648
ExternalDocumentID 10_1109_TFUZZ_2018_2806923
8293855
Genre orig-research
GrantInformation_xml – fundername: Madrid regional project N-GREENS Software-CM
  grantid: (S2013/ICE-2731)
– fundername: Spanish Ministry of Economy and Competition
  grantid: TIN2016-76843-C4-2-R
– fundername: CAVI-ART-2
  grantid: TIN2017-86217-R
– fundername: CAVI-ART
  grantid: TIN2013-44742-C4-3-R
– fundername: European Regional Development Fund (ERDF)
GroupedDBID -~X
.DC
0R~
29I
4.4
5GY
5VS
6IK
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABQJQ
ABVLG
ACGFO
ACGFS
ACIWK
AENEX
AETIX
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
EBS
EJD
HZ~
H~9
ICLAB
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
O9-
OCL
P2P
PQQKQ
RIA
RIE
RNS
TAE
TN5
VH1
AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c295t-5e6f6e16eb2220e4b983e400ca8f136689824d3f55b970429c38cda472bd3ad73
IEDL.DBID RIE
ISICitedReferencesCount 7
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000446675400012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1063-6706
IngestDate Sun Nov 30 04:56:40 EST 2025
Sat Nov 29 03:12:36 EST 2025
Tue Nov 18 22:21:55 EST 2025
Wed Aug 27 02:54:40 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 5
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c295t-5e6f6e16eb2220e4b983e400ca8f136689824d3f55b970429c38cda472bd3ad73
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0001-6075-4398
PQID 2117184614
PQPubID 85428
PageCount 15
ParticipantIDs ieee_primary_8293855
crossref_citationtrail_10_1109_TFUZZ_2018_2806923
crossref_primary_10_1109_TFUZZ_2018_2806923
proquest_journals_2117184614
PublicationCentury 2000
PublicationDate 2018-Oct.
2018-10-00
20181001
PublicationDateYYYYMMDD 2018-10-01
PublicationDate_xml – month: 10
  year: 2018
  text: 2018-Oct.
PublicationDecade 2010
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle IEEE transactions on fuzzy systems
PublicationTitleAbbrev TFUZZ
PublicationYear 2018
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References ref35
julián-iranzo (ref24) 0
ref12
ref15
ref36
ref14
ref30
ref32
ref10
silberschatz (ref25) 2006
rubio-manzano (ref5) 2014; 26
ref2
rabuzin (ref37) 0
ref18
achs (ref9) 1995; 12
nguyen (ref1) 2000
formato (ref34) 2000; 41
jezek (ref33) 0
sáenz-pérez (ref13) 0
caballero (ref16) 0; 7162
ref23
ref26
caballero (ref17) 0; 6009
ref22
ref21
zaniolo (ref19) 1997
ref28
ref27
ref29
ref7
ref4
umano (ref31) 1982
ref3
ref6
blanco (ref11) 2001
ullman (ref8) 1988
dietrich (ref20) 0
References_xml – ident: ref32
  doi: 10.1016/0020-0255(84)90020-3
– ident: ref29
  doi: 10.1016/0165-0114(82)90052-5
– volume: 6009
  start-page: 191
  year: 0
  ident: ref17
  article-title: Applying constraint logic programming to SQL test case generation
  publication-title: Proc Int Symp Functional Logic Programm
  doi: 10.1007/978-3-642-12251-4_15
– ident: ref27
  doi: 10.1145/321992.321996
– ident: ref28
  doi: 10.1016/j.fss.2005.03.013
– ident: ref30
  doi: 10.1016/0165-0114(89)90201-7
– year: 1997
  ident: ref19
  publication-title: Advanced Database Systems
– ident: ref36
  doi: 10.4018/ijdwm.2014010102
– year: 2001
  ident: ref11
  article-title: Deducción en base de datos relacionales difusas
– ident: ref10
  doi: 10.1002/(SICI)1098-111X(199708)12:8<597::AID-INT3>3.0.CO;2-F
– start-page: 489
  year: 0
  ident: ref24
  article-title: A procedure for the construction of a similarity relation
  publication-title: Proc 12th Int Conf Inf Process Manage Uncertainty Knowl -Based Syst
– ident: ref35
  doi: 10.1002/int.10067
– ident: ref15
  doi: 10.1007/978-3-540-88594-8_8
– year: 2000
  ident: ref1
  publication-title: A First Course in Fuzzy Logic
– year: 2006
  ident: ref25
  publication-title: Database Systems Concepts
– ident: ref7
  doi: 10.1016/S0304-3975(01)00188-8
– ident: ref23
  doi: 10.1016/S0020-0190(00)00064-8
– volume: 41
  start-page: 393
  year: 2000
  ident: ref34
  article-title: Similarity-based unification
  publication-title: Fundam Inf
  doi: 10.3233/FI-2000-41402
– ident: ref14
  doi: 10.1016/j.asoc.2013.09.004
– start-page: 45
  year: 0
  ident: ref33
  article-title: Efficient evaluation of fuzzy deduction
  publication-title: Proc 3rd Inf Syst Model
– ident: ref2
  doi: 10.1007/978-3-642-83189-8
– ident: ref12
  doi: 10.1016/j.entcs.2011.02.011
– volume: 26
  start-page: 1503
  year: 2014
  ident: ref5
  article-title: Fuzzy linguistic prolog and its applications
  publication-title: J Intell Fuzzy Syst
  doi: 10.3233/IFS-130834
– ident: ref3
  doi: 10.1016/j.fss.2003.10.017
– start-page: 339
  year: 1982
  ident: ref31
  article-title: FREEDOM-O: A fuzzy database system
  publication-title: Fuzzy Information and Decision Processes
– start-page: 596
  year: 0
  ident: ref13
  article-title: Implementing tabled hypothetical datalog
  publication-title: Proc IEEE Int Conf Tools Artif Intell
– ident: ref6
  doi: 10.1016/j.fss.2016.12.016
– ident: ref26
  doi: 10.1145/357162.357169
– year: 1988
  ident: ref8
  publication-title: Principles of Database and Knowledge-Base Systems Volumes I and II
– ident: ref21
  doi: 10.1145/371282.371357
– volume: 7162
  start-page: 77
  year: 0
  ident: ref16
  article-title: Algorithmic debugging of SQL views
  publication-title: Proc Ershov Informat Conf
– ident: ref4
  doi: 10.1016/S0165-0114(01)00106-3
– start-page: 205
  year: 0
  ident: ref37
  article-title: Deductive data warehouses: Testing performances
  publication-title: Proc Int Conf Comput Sci
– start-page: 264
  year: 0
  ident: ref20
  article-title: Extension tables: MEMO relations in logic programming
  publication-title: Proc IEEE Symp Logic Program
– ident: ref22
  doi: 10.1017/S1471068411000500
– volume: 12
  start-page: 153
  year: 1995
  ident: ref9
  article-title: Fuzzy extension of datalog
  publication-title: Acta Cybernetica
– ident: ref18
  doi: 10.1109/69.43410
SSID ssj0014518
Score 2.3023467
Snippet This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small...
This paper describes a proposal for a deductive database system with fuzzy [Formula Omitted] as its query language. Concepts supporting the fuzzy logic...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 2634
SubjectTerms <inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math> </inline-formula>
Annotations
Datalog Educational System (<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{DES}}}</tex-math> </inline-formula>)
deductive database
Deductive databases
Fuzzy logic
fuzzy logic programming
fuzzy prolog
Fuzzy systems
Graphical user interface
Logic programming
Query languages
Recommender systems
Semantics
Structured Query Language
Superluminescent diodes
weak unification
Title A Fuzzy Datalog Deductive Database System
URI https://ieeexplore.ieee.org/document/8293855
https://www.proquest.com/docview/2117184614
Volume 26
WOSCitedRecordID wos000446675400012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE/IET Electronic Library
  customDbUrl:
  eissn: 1941-0034
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0014518
  issn: 1063-6706
  databaseCode: RIE
  dateStart: 19930101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFH9sw4MenG6K0yk9eBHt1uaryVGcxdPwsMHYpbRpAoJssg_B_fUm6QeKIngrJSnl5b388sv7Arhm2qiKRIabUER9ohHxs4CnfiqMcolIGVDXrtlENB7z2Uw8N-CuzoVRSrngMzWwj86Xny_l1l6VDbnBJk5pE5pRxIpcrdpjQGhYpL0x7LMoYFWCTCCGk3g6n9soLj6wfkSB8DcQcl1VfmzFDl_i9v_-7AgOy3Okd18s_DE01KID7apHg1eabAcOvhQc7MLNvRdvd7sPb1Tc2ngjW7nV7njujYU0r6hhfgLT-HHy8OSXzRJ8iQTd-FQxzVTIDFNGKFAkExwrY6Ay5TrEjHHBEcmxpjQTkUUhibnMUxKhLMdpHuFTaC2WC3UGXsA1NtTMctecII2FwXUlMcsw05kMVQ_CSnqJLCuJ24YWr4ljFIFInMQTK_GklHgPbus5b0UdjT9Hd62M65GleHvQrxYpKU1tnRgGa_CVmGPG-e-zLmDffruIwOtDa7PaqkvYk--bl_XqymnRJ8aYwPE
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFH_MKagHp5vi_OzBi2i3NmnS5DicY-IcHjYYu5Q2TUCQTfYhuL_eJG2HogjeSkloeXkvv_zyvgCuqNKqIpDmJgQRN1AocBOPxW7MtXLxUGpQV7bZRNjvs9GIP5fgdp0LI6W0wWeyYR6tLz-diqW5KmsyjU2MkA3YNJ2z8myttc8gIH6W-EaxS0OPFikyHm8OOsPx2MRxsYbxJHKEv8GQ7avyYzO2CNOp_O_f9mEvP0k6rWzpD6AkJ1WoFF0anNxoq7D7peRgDa5bTme5Wn047ezexmmb2q1mz7NvDKg5WRXzQxh27gd3XTdvl-AKxMnCJZIqKn2quTJCngwSzrDUJipipnxMKeMMBSlWhCQ8NDgkMBNpHIQoSXGchvgIypPpRB6D4zGFNTkz7DUNkMJcI7sUmCaYqkT4sg5-Ib1I5LXETUuL18hyCo9HVuKRkXiUS7wON-s5b1kljT9H14yM1yNz8dbhrFikKDe2eaQ5rEbYQB80Tn6fdQnb3cFTL-o99B9PYcd8J4vHO4PyYraU57Al3hcv89mF1ahPA27EOg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Fuzzy+Datalog+Deductive+Database+System&rft.jtitle=IEEE+transactions+on+fuzzy+systems&rft.au=Julian-Iranzo%2C+Pascual&rft.au=Saenz-Perez%2C+Fernando&rft.date=2018-10-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=1063-6706&rft.eissn=1941-0034&rft.volume=26&rft.issue=5&rft.spage=2634&rft_id=info:doi/10.1109%2FTFUZZ.2018.2806923&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1063-6706&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1063-6706&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1063-6706&client=summon