-
Notifications
You must be signed in to change notification settings - Fork 2
/
bibliography.bib
executable file
·431 lines (399 loc) · 17.3 KB
/
bibliography.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
@inproceedings{almendros2021flexible,
title={Flexible Aggregation in FSA-SPARQL},
author={Almendros-Jim{\'e}nez, Jes{\'u}s M and Becerra-Ter{\'o}n, Antonio and Moreno, Gin{\'e}s and Riaza, Jos{\'e} A},
booktitle={2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)},
pages={1--7},
year={2021},
organization={IEEE}
}
@inproceedings{moreno2021safe,
title={A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs},
author={Moreno, Gin{\'e}s and Riaza, Jos{\'e} A},
booktitle={International Work-Conference on Artificial Neural Networks},
pages={190--201},
year={2021},
organization={Springer}
}
@article{julian2020fuzzy,
title={The Fuzzy Logic Programming language FASILL: Design and implementation},
author={Juli{\'a}n-Iranzo, Pascual and Moreno, Gin{\'e}s and Riaza, Jos{\'e} Antonio},
journal={International Journal of Approximate Reasoning},
volume={125},
pages={139--168},
year={2020},
publisher={Elsevier}
}
@inproceedings{riaza2020using,
title={Using SAT/SMT solvers for efficiently tuning fuzzy logic programs},
author={Riaza, Jos{\'e} A and Moreno, Gin{\'e}s},
booktitle={2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)},
pages={1--8},
year={2020},
organization={IEEE}
}
@inproceedings{almendros2019tuning,
title={Tuning fuzzy SPARQL queries in a fuzzy logic programming environment},
author={Almendros-Jim{\'e}nez, Jes{\'u}s M and Becerra-Ter{\'o}n, Antonio and Moreno, Gin{\'e}s and Riaza, Jos{\'e} A},
booktitle={2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)},
pages={1--7},
year={2019},
organization={IEEE}
}
@inproceedings{moreno2019online,
title={An Online Tool for Unfolding Symbolic Fuzzy Logic Programs},
author={Moreno, Gin{\'e}s and Riaza, Jos{\'e} Antonio},
booktitle={International Work-Conference on Artificial Neural Networks},
pages={475--487},
year={2019},
organization={Springer}
}
@inproceedings{moreno2019fuzzy,
title={Fuzzy logic programming for tuning neural networks},
author={Moreno, Gin{\'e}s and P{\'e}rez, Jes{\'u}s and Riaza, Jos{\'e} A},
booktitle={International Joint Conference on Rules and Reasoning},
pages={190--197},
year={2019},
organization={Springer}
}
@incollection{moreno2019symbolic,
title={Symbolic Unfolding of Multi-adjoint Logic Programs},
author={Moreno, Gin{\'e}s and Penabad, Jaime and Riaza, Jos{\'e} Antonio},
booktitle={Trends in Mathematics and Computational Intelligence},
pages={43--51},
year={2019},
publisher={Springer}
}
@inproceedings{guerrero2018smart,
title={Smart Design of Similarity Relations for Fuzzy Logic Programming Environments},
author={Guerrero, Juan Antonio and Moreno, Gin{\'e}s and Riaza, Jos{\'e} Antonio and S{\'a}nchez, Javier},
booktitle={2018 IEEE Symposium Series on Computational Intelligence (SSCI)},
pages={220--227},
year={2018},
organization={IEEE}
}
@inproceedings{DBLP:conf/fuzzIEEE/IranzoMP18,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad},
title = {{FASILL:} Fuzzy Correct Answers and Soundness{\(\star\)}},
booktitle = {2018 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2018, Rio de Janeiro, Brazil, July 8-13, 2018},
pages = {1--8},
year = {2018},
crossref = {DBLP:conf/fuzzIEEE/2018},
url = {https://doi.org/10.1109/FUZZ-IEEE.2018.8491504},
doi = {10.1109/FUZZ-IEEE.2018.8491504},
timestamp = {Tue, 23 Oct 2018 17:29:57 +0200},
biburl = {https://dblp.org/rec/bib/conf/fuzzIEEE/IranzoMP18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/IranzoMP17,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad},
title = {Thresholded semantic framework for a fully integrated fuzzy logic
language},
journal = {J. Log. Algebr. Meth. Program.},
volume = {93},
pages = {42--67},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.08.002},
doi = {10.1016/j.jlamp.2017.08.002},
timestamp = {Mon, 06 Nov 2017 12:13:09 +0100},
biburl = {https://dblp.org/rec/bib/journals/jlp/IranzoMP17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/MorenoPR17,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Jos{\'{e}} Antonio Riaza},
title = {On Similarity-Based Unfolding},
booktitle = {Scalable Uncertainty Management - 11th International Conference, {SUM}
2017, Granada, Spain, October 4-6, 2017, Proceedings},
pages = {420--426},
year = {2017},
crossref = {DBLP:conf/sum/2017},
url = {https://doi.org/10.1007/978-3-319-67582-4\_32},
doi = {10.1007/978-3-319-67582-4\_32},
timestamp = {Mon, 06 Nov 2017 12:14:19 +0100},
biburl = {https://dblp.org/rec/bib/conf/sum/MorenoPR17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/MorenoR17,
author = {Gin{\'{e}}s Moreno and
Jos{\'{e}} A. Riaza},
title = {An Online Tool for Tuning Fuzzy Logic Programs},
booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
pages = {184--198},
year = {2017},
crossref = {DBLP:conf/ruleml/2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_13},
doi = {10.1007/978-3-319-61252-2\_13},
timestamp = {Sat, 16 Sep 2017 12:07:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/ruleml/MorenoR17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{valverde2017implementacion,
title={Implementaci{\'o}n de t{\'e}cnicas de desplegado difuso sobre el entorno FLOPER},
author={Valverde, Jos{\'e} Antonio Riaza},
year={2017}
}
@inproceedings{DBLP:conf/lopstr/MorenoPRV16,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Jos{\'{e}} A. Riaza and
Germ{\'{a}}n Vidal},
title = {Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic
Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
pages = {131--147},
year = {2016},
crossref = {DBLP:conf/lopstr/2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_8},
doi = {10.1007/978-3-319-63139-4\_8},
timestamp = {Sat, 16 Sep 2017 12:11:15 +0200},
biburl = {https://dblp.org/rec/bib/conf/lopstr/MorenoPRV16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MorenoPV16,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Germ{\'{a}}n Vidal},
title = {Tuning Fuzzy Logic Programs with Symbolic Execution},
journal = {CoRR},
volume = {abs/1608.04688},
year = {2016},
url = {http://arxiv.org/abs/1608.04688},
archivePrefix = {arXiv},
eprint = {1608.04688},
timestamp = {Mon, 13 Aug 2018 16:47:23 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/MorenoPV16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/IranzoMPV16,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {A Declarative Semantics for a Fuzzy Logic Language Managing Similarities
and Truth Degrees},
booktitle = {Rule Technologies. Research, Tools, and Applications - 10th International
Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
pages = {68--82},
year = {2016},
crossref = {DBLP:conf/ruleml/2016},
url = {https://doi.org/10.1007/978-3-319-42019-6\_5},
doi = {10.1007/978-3-319-42019-6\_5},
timestamp = {Wed, 14 Nov 2018 10:55:49 +0100},
biburl = {https://dblp.org/rec/bib/conf/ruleml/IranzoMPV16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/GuerreroMMV15,
author = {Juan Guerrero and
Maria Del Senor Martinez and
Gin{\'{e}}s Moreno and
Carlos V{\'{a}}zquez},
title = {Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments},
booktitle = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015,
Cape Town, South Africa, December 7-10, 2015},
pages = {995--1004},
year = {2015},
crossref = {DBLP:conf/ssci/2015},
url = {https://doi.org/10.1109/SSCI.2015.145},
doi = {10.1109/SSCI.2015.145},
timestamp = {Wed, 17 May 2017 10:54:53 +0200},
biburl = {https://dblp.org/rec/bib/conf/ssci/GuerreroMMV15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/MorenoPV15,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {Beyond multi-adjoint logic programming},
journal = {Int. J. Comput. Math.},
volume = {92},
number = {9},
pages = {1956--1975},
year = {2015},
url = {https://doi.org/10.1080/00207160.2014.975218},
doi = {10.1080/00207160.2014.975218},
timestamp = {Sun, 28 May 2017 13:17:47 +0200},
biburl = {https://dblp.org/rec/bib/journals/ijcm/MorenoPV15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/IranzoMV15,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Carlos V{\'{a}}zquez},
title = {Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic
Language},
booktitle = {Rule Technologies: Foundations, Tools, and Applications - 9th International
Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
pages = {193--207},
year = {2015},
crossref = {DBLP:conf/ruleml/2015},
url = {https://doi.org/10.1007/978-3-319-21542-6\_13},
doi = {10.1007/978-3-319-21542-6\_13},
timestamp = {Wed, 14 Nov 2018 10:55:48 +0100},
biburl = {https://dblp.org/rec/bib/conf/ruleml/IranzoMV15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/MorcilloM15,
author = {Pedro J. Morcillo and
Gin{\'{e}}s Moreno},
title = {Improving Multi-adjoint Logic Programs by Unfolding Fuzzy Connective
Definitions},
booktitle = {Advances in Computational Intelligence - 13th International Work-Conference
on Artificial Neural Networks, {IWANN} 2015, Palma de Mallorca, Spain,
June 10-12, 2015. Proceedings, Part {I}},
pages = {511--524},
year = {2015},
crossref = {DBLP:conf/iwann/2015-1},
url = {https://doi.org/10.1007/978-3-319-19258-1\_42},
doi = {10.1007/978-3-319-19258-1\_42},
timestamp = {Tue, 23 May 2017 01:12:34 +0200},
biburl = {https://dblp.org/rec/bib/conf/iwann/MorcilloM15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/IranzoMPV15,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {A Fuzzy Logic Programming Environment for Managing Similarity and
Truth Degrees},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014.},
pages = {71--86},
year = {2014},
crossref = {DBLP:journals/corr/Escobar15},
url = {https://doi.org/10.4204/EPTCS.173.6},
doi = {10.4204/EPTCS.173.6},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/IranzoMPV15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{vazquez2015foundations,
title={Foundations and applications of fuzzy logic programming with weights and similarity relations},
author={V{\'a}zquez P{\'e}rez-{\'I}{\~n}igo, Carlos},
year={2015},
publisher={Universidad de Castilla-La Mancha}
}
@inproceedings{DBLP:conf/rsctc/MorenoPV14,
author = {Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming},
booktitle = {Rough Sets and Current Trends in Computing - 9th International Conference,
{RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings},
pages = {71--82},
year = {2014},
crossref = {DBLP:conf/rsctc/2014},
url = {https://doi.org/10.1007/978-3-319-08644-6\_7},
doi = {10.1007/978-3-319-08644-6\_7},
timestamp = {Mon, 05 Jun 2017 12:41:05 +0200},
biburl = {https://dblp.org/rec/bib/conf/rsctc/MorenoPV14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{moreno2014fuzzy,
title={Fuzzy logic programming in action with floper},
author={Moreno, Gin{\'e}s and V{\'a}zquez, Carlos},
journal={Journal of Software Engineering and Applications},
volume={7},
number={04},
pages={273},
year={2014},
publisher={Scientific Research Publishing}
}
@article{DBLP:journals/eceasst/MorenoMPV12,
author = {Gin{\'{e}}s Moreno and
Pedro J. Morcillo and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations},
journal = {{ECEASST}},
volume = {55},
year = {2012},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/820},
timestamp = {Mon, 24 Jun 2013 11:35:08 +0200},
biburl = {https://dblp.org/rec/bib/journals/eceasst/MorenoMPV12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/MorcilloMPV10,
author = {Pedro J. Morcillo and
Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
title = {A Practical Management of Fuzzy Truth-Degrees Using {FLOPER}},
booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington,
DC, USA, October 21-23, 2010. Proceedings},
pages = {20--34},
year = {2010},
crossref = {DBLP:conf/ruleml/2010},
url = {https://doi.org/10.1007/978-3-642-16289-3\_4},
doi = {10.1007/978-3-642-16289-3\_4},
timestamp = {Thu, 25 May 2017 00:39:18 +0200},
biburl = {https://dblp.org/rec/bib/conf/ruleml/MorcilloMPV10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{julian2008procedure,
title={A procedure for the construction of a similarity relation},
author={Juli{\'a}n-Iranzo, Pascual},
booktitle={Proceedings of IPMU},
pages={489--496},
year={2008}
}
@inproceedings{DBLP:conf/ruleml/MorcilloM08,
author = {Pedro J. Morcillo and
Gin{\'{e}}s Moreno},
title = {Programming with Fuzzy Logic Rules by Using the {FLOPER} Tool},
booktitle = {Rule Representation, Interchange and Reasoning on the Web, International
Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings},
pages = {119--126},
year = {2008},
crossref = {DBLP:conf/ruleml/2008},
url = {https://doi.org/10.1007/978-3-540-88808-6\_14},
doi = {10.1007/978-3-540-88808-6\_14},
timestamp = {Wed, 14 Nov 2018 10:55:48 +0100},
biburl = {https://dblp.org/rec/bib/conf/ruleml/MorcilloM08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{morcillo2008floper,
title={Floper, a fuzzy logic programming environment for research},
author={Morcillo, Pedro Jos{\'e} and Moreno, Gin{\'e}s},
booktitle={Proceedings of the Spanish Conference on Programming and Computer Languages, PROLE 2008},
year={2008}
}
@inproceedings{morcillo2008fuzzy,
title={The Fuzzy Logic Programming Environment FLOPER},
author={Morcillo, Pedro J and Moreno, Gines},
booktitle={Proc. of 15th International Symposium on Formal Methods (FM’08), Posters and Research Tools, May},
pages={26--30},
year={2008}
}
@inproceedings{morcillo2008using,
title={Using floper for running/debugging fuzzy logic programs},
author={Morcillo, Pedro J and Moreno, Gines},
booktitle={Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’2008), L. Magdalena, M. Ojeda-Aciego and J. Verdegay, Ed. M{\'a}laga},
pages={481--488},
year={2008}
}
@article{DBLP:journals/jucs/JulianMP06,
author = {Pascual Juli{\'{a}}n and
Gin{\'{e}}s Moreno and
Jaime Penabad},
title = {Operational/Interpretive Unfolding of Multi-adjoint Logic Programs},
journal = {J. {UCS}},
volume = {12},
number = {11},
pages = {1679--1699},
year = {2006},
url = {https://doi.org/10.3217/jucs-012-11-1679},
doi = {10.3217/jucs-012-11-1679},
timestamp = {Wed, 17 May 2017 14:25:45 +0200},
biburl = {https://dblp.org/rec/bib/journals/jucs/JulianMP06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}